summaryrefslogtreecommitdiff
path: root/src/solverwindow.h
diff options
context:
space:
mode:
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();