summaryrefslogtreecommitdiff
path: root/nauty/geng.h
diff options
context:
space:
mode:
authorAndrew Guschin <guschin.drew@gmail.com>2023-08-13 16:05:26 +0400
committerAndrew Guschin <guschin.drew@gmail.com>2023-08-13 16:05:26 +0400
commite8c4828e9e9459f66c0b22ea379f70c4c6c3ba23 (patch)
tree76940f03f18aea54f6f40290cedb7c752e878972 /nauty/geng.h
parent58acff54b1cd64cb23b9d0b1a304eb9db768e3eb (diff)
Iterator now stores state inside struct
Diffstat (limited to 'nauty/geng.h')
-rw-r--r--nauty/geng.h18
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;
+};