diff options
Diffstat (limited to 'src/prop/prop_engine.h')
-rw-r--r-- | src/prop/prop_engine.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index 6cb818d10..6e1f8cb61 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -35,11 +35,11 @@ namespace CVC4 { class PropEngine { DecisionEngine &d_de; TheoryEngine &d_te; - CVC4::prop::minisat::SimpSolver d_sat; - std::map<Node, CVC4::prop::minisat::Var> d_vars; - std::map<CVC4::prop::minisat::Var, Node> d_varsReverse; + //CVC4::prop::minisat::SimpSolver d_sat; + //std::map<Node, CVC4::prop::minisat::Var> d_vars; + //std::map<CVC4::prop::minisat::Var, Node> d_varsReverse; - void addVars(Node); + void addVars(CVC4::prop::minisat::SimpSolver*, std::map<Node, CVC4::prop::minisat::Var>*, std::map<CVC4::prop::minisat::Var, Node>*, Node); public: /** |