aboutsummaryrefslogtreecommitdiff
path: root/src/nissy.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/nissy.h')
-rw-r--r--src/nissy.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nissy.h b/src/nissy.h
index 2fa4a75..0447d66 100644
--- a/src/nissy.h
+++ b/src/nissy.h
@@ -283,6 +283,7 @@ nissy_gendata(
283Check that the data is a valid data table for a solver. 283Check that the data is a valid data table for a solver.
284 284
285Parameters: 285Parameters:
286 solver - The name of the solver.
286 data_size - The size of the data buffer. 287 data_size - The size of the data buffer.
287 data - The data for the solver. Can be computed with gendata. 288 data - The data for the solver. Can be computed with gendata.
288 This buffer must have 8-byte alignment. 289 This buffer must have 8-byte alignment.
@@ -293,6 +294,7 @@ Return values:
293*/ 294*/
294long long 295long long
295nissy_checkdata( 296nissy_checkdata(
297 const char *solver,
296 unsigned long long data_size, 298 unsigned long long data_size,
297 const unsigned char data[data_size] 299 const unsigned char data[data_size]
298); 300);

Generated with cgit - Back to sebastiano.tronto.net