diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-09-16 12:45:01 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-16 12:45:01 -0500 |
| commit | 2c2f05c96e021006275a2bc70b9ede70b280616d (patch) | |
| tree | db702d7b8fbd14dd8003b1f03c02b77c89d2fced /src/prop/prop_engine.h | |
| parent | 0534ea1bbee9a3a7049580449ab25025a4f92a9a (diff) | |
Dump commands in internal code using command printing functions. (#5040)
This is work towards migrating commands to the new API. Internal code that creates command objects just for dumping is replaced with direct calls to functions that print the those commands.
Diffstat (limited to 'src/prop/prop_engine.h')
| -rw-r--r-- | src/prop/prop_engine.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 1df862568..75f628d9a 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -36,6 +36,7 @@ namespace CVC4 { class ResourceManager; class DecisionEngine; +class OutputManager; class TheoryEngine; namespace theory { @@ -62,7 +63,8 @@ class PropEngine PropEngine(TheoryEngine*, context::Context* satContext, context::UserContext* userContext, - ResourceManager* rm); + ResourceManager* rm, + OutputManager& outMgr); /** * Destructor. @@ -255,6 +257,8 @@ class PropEngine /** Pointer to resource manager for associated SmtEngine */ ResourceManager* d_resourceManager; + /** Reference to the output manager of the smt engine */ + OutputManager& d_outMgr; }; } // namespace prop |