diff options
| author | Andrew Guschin <guschin@altlinux.org> | 2024-03-31 18:36:27 +0500 |
|---|---|---|
| committer | Andrew Guschin <guschin@altlinux.org> | 2024-03-31 18:36:27 +0500 |
| commit | f7aa97e10a2fbddb76e1893b7deb193ad56e7192 (patch) | |
| tree | dab29cd1166edee5c096bdfc45d1c6ab509107f8 /graph-checker/nauty/geng-iter.h | |
| parent | b294692a8251eb9c4ea8f3e78651d88fc6efd792 (diff) | |
latest version
Diffstat (limited to 'graph-checker/nauty/geng-iter.h')
| -rw-r--r-- | graph-checker/nauty/geng-iter.h | 23 |
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 |