diff options
Diffstat (limited to 'src/core/sok.h')
-rw-r--r-- | src/core/sok.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/core/sok.h b/src/core/sok.h index 1503b5f..92fb4e7 100644 --- a/src/core/sok.h +++ b/src/core/sok.h @@ -245,9 +245,15 @@ _Bool sok_cache_add(sok_cache_t * const, const sok_ctx_t * const); /* solve */ /*********/ +typedef struct { + _Bool (*on_step)(const sok_ctx_t *, void *); + void (*on_error)(const char * const, void *); +} sok_solve_cbs_t; + _Bool sok_solve( sok_ctx_t * const, - void (*on_error)(const char * const) + const sok_solve_cbs_t * const, + void * const ); #ifdef __cplusplus |