aboutsummaryrefslogtreecommitdiff
path: root/src/cube.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-06-13 21:08:38 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-06-13 21:08:38 +0200
commit7812684339d03f6993882358b0045c1bc2d5032c (patch)
tree41eb0137be98381bff21b161f406ea4eb7658e32 /src/cube.h
parentb4d33513bd44c82426ef9e3c6daf5b8046672514 (diff)
downloadnissy-core-7812684339d03f6993882358b0045c1bc2d5032c.tar.gz
nissy-core-7812684339d03f6993882358b0045c1bc2d5032c.zip
Added "dryrun" for gendata
Diffstat (limited to 'src/cube.h')
-rw-r--r--src/cube.h12
1 files changed, 11 insertions, 1 deletions
diff --git a/src/cube.h b/src/cube.h
index ab8e964..0eedfec 100644
--- a/src/cube.h
+++ b/src/cube.h
@@ -51,6 +51,16 @@ int nissy_convertcube(
51 char *result 51 char *result
52); 52);
53 53
54/*
55Returns the size of the data generated by nissy_gendata, when called with
56the same parameters, or -1 in case of error. The returned value can be
57slightly larger than the actual table size.
58*/
59int64_t nissy_datasize(
60 const char *solver,
61 const char *options
62);
63
54/* Returns the number of bytes written, or -1 in case of error */ 64/* Returns the number of bytes written, or -1 in case of error */
55int64_t nissy_gendata( 65int64_t nissy_gendata(
56 const char *solver, 66 const char *solver,
@@ -59,7 +69,7 @@ int64_t nissy_gendata(
59); 69);
60 70
61/* Returns the number of solutions found, or -1 in case of error */ 71/* Returns the number of solutions found, or -1 in case of error */
62int nissy_solve( 72int64_t nissy_solve(
63 const char cube[static 22], 73 const char cube[static 22],
64 const char *solver, 74 const char *solver,
65 const char *options, 75 const char *options,

Generated with cgit - Back to sebastiano.tronto.net