diff options
| author | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 18:15:01 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin.drew@gmail.com> | 2023-08-13 18:15:01 +0400 |
| commit | 677e15fefe5c61b833dcbe2fa4e9ee90bc996f8c (patch) | |
| tree | a47ed4c0c5fe9fbbdbc105d9f15b1f264a88e8c6 /nauty/geng-iter.h | |
| parent | 9b3601717c8cae243667bd6e72adb08476779172 (diff) | |
Diffstat (limited to 'nauty/geng-iter.h')
| -rw-r--r-- | nauty/geng-iter.h | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/nauty/geng-iter.h b/nauty/geng-iter.h new file mode 100644 index 0000000..1e78b93 --- /dev/null +++ b/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 |