diff options
author | Stijn Buys <ingar@osirion.org> | 2013-04-18 21:53:29 +0000 |
---|---|---|
committer | Stijn Buys <ingar@osirion.org> | 2013-04-18 21:53:29 +0000 |
commit | 1bdd9ddbfdd021284201bd0a1f5da41be3dc9578 (patch) | |
tree | 00a8769924e32d6afbd9f67ab7d939ef36f55b15 /src/solverwindow.h | |
parent | 96205403612c73f4c4a3247d7d96560d3d8f92e8 (diff) |
Added ui menus, added solve() method.
Diffstat (limited to 'src/solverwindow.h')
-rw-r--r-- | src/solverwindow.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/solverwindow.h b/src/solverwindow.h index 27385c9..27e2114 100644 --- a/src/solverwindow.h +++ b/src/solverwindow.h @@ -18,8 +18,10 @@ public: public slots: void load(); - void save(); + void saveas(); void revert(); + void solve(); + void step(); void step_constraints(); void step_coverage(); void clear(); |