diff options
| author | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 16:05:26 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 16:05:26 +0400 |
| commit | e8c4828e9e9459f66c0b22ea379f70c4c6c3ba23 (patch) | |
| tree | 76940f03f18aea54f6f40290cedb7c752e878972 /nauty/geng.h | |
| parent | 58acff54b1cd64cb23b9d0b1a304eb9db768e3eb (diff) | |
Iterator now stores state inside struct
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; +}; |