diff options
| author | Paul Duncan <pabs@pablotron.org> | 2019-01-15 21:10:27 -0500 |
|---|---|---|
| committer | Paul Duncan <pabs@pablotron.org> | 2019-01-15 21:10:27 -0500 |
| commit | 19a5965400f9a252adf540050046d2dc3a026d13 (patch) | |
| tree | 0fb29c1a0f61a38eae8f2aded462bf12e5a3d60e /src/core/sok.h | |
| parent | edbbfd40714ba9adfd770b9ccb6a0eecdc43a736 (diff) | |
| download | sok-19a5965400f9a252adf540050046d2dc3a026d13.tar.bz2 sok-19a5965400f9a252adf540050046d2dc3a026d13.zip | |
add sok_solve_cbs_t and refactor code to use it
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 |