diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-05 04:06:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-05 04:06:10 +0000 |
commit | bc3269ad3680436ede31a70803ff5879c9e4bf6e (patch) | |
tree | 867ea6d43ba8bf9d6f0906cd74a563f62f2c39b0 /src/prop/cnf_stream.cpp | |
parent | 41dddac33ba0332a2ab52983b94044cbdc9e762e (diff) |
Minor adjustments to the Registrar commit in 1644, documentation.
Diffstat (limited to 'src/prop/cnf_stream.cpp')
-rw-r--r-- | src/prop/cnf_stream.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 65ed6caf6..fc7fa600a 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -5,7 +5,7 @@ ** Major contributors: dejan ** Minor contributors (to current version): cconway, mdeters ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing @@ -34,8 +34,8 @@ using namespace CVC4::kind; namespace CVC4 { namespace prop { -CnfStream::CnfStream(SatInputInterface *satSolver, theory::Registrar reg) : - d_satSolver(satSolver), d_registrar(reg) { +CnfStream::CnfStream(SatInputInterface *satSolver, theory::Registrar registrar) : + d_satSolver(satSolver), d_registrar(registrar) { } void CnfStream::recordTranslation(TNode node) { @@ -47,8 +47,8 @@ void CnfStream::recordTranslation(TNode node) { } -TseitinCnfStream::TseitinCnfStream(SatInputInterface* satSolver, theory::Registrar reg) : - CnfStream(satSolver, reg) { +TseitinCnfStream::TseitinCnfStream(SatInputInterface* satSolver, theory::Registrar registrar) : + CnfStream(satSolver, registrar) { } void CnfStream::assertClause(TNode node, SatClause& c) { |