diff options
Diffstat (limited to 'src/prop/cnf_stream.h')
| -rw-r--r-- | src/prop/cnf_stream.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h index 28b2cfb03..ef75e635b 100644 --- a/src/prop/cnf_stream.h +++ b/src/prop/cnf_stream.h @@ -180,6 +180,7 @@ public: * Constructs a CnfStream that sends constructs an equi-satisfiable * set of clauses and sends them to the given sat solver. * @param satSolver the sat solver to use + * @param registrar the entity that takes care of preregistration of Nodes */ CnfStream(SatInputInterface* satSolver, theory::Registrar registrar); @@ -255,6 +256,7 @@ 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 */ TseitinCnfStream(SatInputInterface* satSolver, theory::Registrar registrar); |