diff options
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(); |