diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-14 02:58:36 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-14 02:58:36 +0000 |
| commit | 5d9b6c30ad2336979cbf3ab5107afb5b31143d90 (patch) | |
| tree | 54924b1bd08b4afa66217392f374b3e7d67860d9 /src/prop/cnf_stream.cpp | |
| parent | 8394cecaf2b1a261b44af54501ef1a433cdbadc2 (diff) | |
Virtualizing interface between CnfStream and SatSolver
Diffstat (limited to 'src/prop/cnf_stream.cpp')
| -rw-r--r-- | src/prop/cnf_stream.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 25134b413..9abea4fcd 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -29,11 +29,11 @@ using namespace CVC4::kind; namespace CVC4 { namespace prop { -CnfStream::CnfStream(SatSolver *satSolver) : +CnfStream::CnfStream(SatInputInterface *satSolver) : d_satSolver(satSolver) { } -TseitinCnfStream::TseitinCnfStream(SatSolver* satSolver) : +TseitinCnfStream::TseitinCnfStream(SatInputInterface* satSolver) : CnfStream(satSolver) { } |