diff options
Diffstat (limited to 'src/prop/cnf_stream.h')
-rw-r--r-- | src/prop/cnf_stream.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index c9fd4a08b..4b16a02b9 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -187,7 +187,7 @@ public: * @param satSolver the sat solver to use * @param registrar the entity that takes care of preregistration of Nodes * @param fullLitToNodeMap maintain a full SAT-literal-to-Node mapping, - * even for non-theory literals. + * even for non-theory literals */ CnfStream(SatInputInterface* satSolver, theory::Registrar registrar, bool fullLitToNodeMap = false); @@ -286,8 +286,10 @@ public: * Constructs the stream to use the given sat solver. * @param satSolver the sat solver to use * @param registrar the entity that takes care of pre-registration of Nodes + * @param fullLitToNodeMap maintain a full SAT-literal-to-Node mapping, + * even for non-theory literals */ - TseitinCnfStream(SatInputInterface* satSolver, theory::Registrar registrar); + TseitinCnfStream(SatInputInterface* satSolver, theory::Registrar registrar, bool fullLitToNodeMap = false); private: |