summaryrefslogtreecommitdiff
path: root/src/solverwindow.h
diff options
context:
space:
mode:
authorStijn Buys <ingar@osirion.org>2013-04-18 21:53:29 +0000
committerStijn Buys <ingar@osirion.org>2013-04-18 21:53:29 +0000
commit1bdd9ddbfdd021284201bd0a1f5da41be3dc9578 (patch)
tree00a8769924e32d6afbd9f67ab7d939ef36f55b15 /src/solverwindow.h
parent96205403612c73f4c4a3247d7d96560d3d8f92e8 (diff)
Added ui menus, added solve() method.
Diffstat (limited to 'src/solverwindow.h')
-rw-r--r--src/solverwindow.h4
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();