diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-15 08:29:37 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-11-15 08:29:37 +0100 |
| commit | 20ac0e60d7174114965d4419af0bb3028db8e447 (patch) | |
| tree | b94184b39965aa3cd74f4e5e2cec988603f224f4 /src/steps.h | |
| parent | 44beaa88e54d60d5c576380534cf5ebb8dd44709 (diff) | |
| download | nissy-20ac0e60d7174114965d4419af0bb3028db8e447.tar.gz nissy-20ac0e60d7174114965d4419af0bb3028db8e447.zip | |
Load all necessary pruning tables for a step before the actual solving process
starts. This is in preparation for multi-threaded solving (but don't get hyped,
it will take time).
Diffstat (limited to '')
| -rw-r--r-- | src/steps.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/steps.h b/src/steps.h index aa3178c..89ab168 100644 --- a/src/steps.h +++ b/src/steps.h | |||
| @@ -7,4 +7,6 @@ | |||
| 7 | 7 | ||
| 8 | extern Step * steps[NSTEPS]; | 8 | extern Step * steps[NSTEPS]; |
| 9 | 9 | ||
| 10 | void prepare_step(Step *step, DfsData *dd); | ||
| 11 | |||
| 10 | #endif | 12 | #endif |