1 files changed, 23 insertions, 0 deletions
diff --git a/graph-checker/nauty/geng-iter.h b/graph-checker/nauty/geng-iter.h
new file mode 100644
index 0000000..1e78b93
--- /dev/null
+++ b/graph-checker/nauty/geng-iter.h
@@ -0,0 +1,23 @@
+#ifndef GENG_ITER_H
+#define GENG_ITER_H
+
+#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;
+    set *batch;
+};
+
+void
+outproc(FILE *, graph *, int n, struct geng_iterator *);
+
+#endif // GENG_ITER_H