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.h | |
| parent | 9b3601717c8cae243667bd6e72adb08476779172 (diff) | |
Diffstat (limited to 'nauty/geng.h')
| -rw-r--r-- | nauty/geng.h | 26 |
1 files changed, 12 insertions, 14 deletions
diff --git a/nauty/geng.h b/nauty/geng.h index 42f0149..18ff082 100644 --- a/nauty/geng.h +++ b/nauty/geng.h @@ -1,15 +1,13 @@ -#include "gtools.h" -#include <ucontext.h> -#include <stdbool.h> +#ifndef GENG_H +#define GENG_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; -}; +#include <stdint.h> + +void +geng_main( + int argc, + uint32_t argv1, uint32_t argv2, + uint32_t iter1, uint32_t iter2 +); + +#endif // GENG_H |