diff options
| author | Stijn Buys <ingar@osirion.org> | 2013-04-26 20:12:25 +0000 |
|---|---|---|
| committer | Stijn Buys <ingar@osirion.org> | 2013-04-26 20:12:25 +0000 |
| commit | c93587b39b34c38f7d788fc639ced2bf5493a56a (patch) | |
| tree | 1d377e2a05945a7f7cd47fca91b53ee00e32441f /src/solverwindow.h | |
| parent | 1bdd9ddbfdd021284201bd0a1f5da41be3dc9578 (diff) | |
Added brute-force search algorithm.
Diffstat (limited to 'src/solverwindow.h')
| -rw-r--r-- | src/solverwindow.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/solverwindow.h b/src/solverwindow.h index 27e2114..17cb55c 100644 --- a/src/solverwindow.h +++ b/src/solverwindow.h @@ -21,6 +21,7 @@ public slots: void saveas(); void revert(); void solve(); + void search(); void step(); void step_constraints(); void step_coverage(); |