diff options
Diffstat (limited to 'src/prop/prop_engine.h')
| -rw-r--r-- | src/prop/prop_engine.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 9e49cf3f1..603cdb0e6 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -246,6 +246,11 @@ public: void pop(); /** + * Get the assertion level of the SAT solver. + */ + unsigned getAssertionLevel() const; + + /** * Return true if we are currently searching (either in this or * another thread). */ |