diff options
Diffstat (limited to 'src/prop/prop_engine.h')
| -rw-r--r-- | src/prop/prop_engine.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 7f1d5ef65..9a2daee49 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -70,6 +70,13 @@ class PropEngine CVC4_PUBLIC ~PropEngine(); /** + * Finish initialize. Call this after construction just before we are + * ready to use this class. Should be called after TheoryEngine::finishInit. + * This method converts and asserts true and false into the CNF stream. + */ + void finishInit(); + + /** * This is called by SmtEngine, at shutdown time, just before * destruction. It is important because there are destruction * ordering issues between some parts of the system (notably between |