diff options
Diffstat (limited to 'nauty/geng.h')
| -rw-r--r-- | nauty/geng.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/nauty/geng.h b/nauty/geng.h new file mode 100644 index 0000000..751be5c --- /dev/null +++ b/nauty/geng.h @@ -0,0 +1,18 @@ +#include "gtools.h" +#include <ucontext.h> +#include <stdbool.h> + +struct geng_iterator +{ + ucontext_t geng_worker, geng_user; + char geng_stack[1 << 20]; + int graph_size; + bool generation_done; + bool iteration_done; + int batch_size; + int batch_capacity; + graph **batch; + + // TODO: remove + graph *cur; +}; |