diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-10 00:44:20 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-10 00:44:20 +0000 |
commit | 969b144a5f9630d646afdf0ff0a053df38d0ed1a (patch) | |
tree | 92eb38ad161abfe3af979a86285549168d118c5e /src/prop/cnf_stream.h | |
parent | 8495ee8e7de4a7e472d72cfb20290940c59794e3 (diff) |
merge from replay branch
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); |