diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2017-04-03 23:17:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-03 23:17:42 -0700 |
commit | 72a0afbd73f1d2505285a965eb0ff3312e201f2c (patch) | |
tree | ae5a3ad9b5aff598b8a1199d75345ff01a27e994 | |
parent | 9912ac9a2fb9a3e03b0665e9e1fe271da580029f (diff) | |
parent | 2febe2f6f621b4ee5d7f2c05e0eb68fb3858bcd2 (diff) |
Merge pull request #141 from 4tXJ7f/remove_def
Remove decl. of getStatisticsRegistry(SmtEngine*)
-rw-r--r-- | src/smt/smt_engine.h | 5 | ||||
-rw-r--r-- | src/smt/smt_engine.i | 1 |
2 files changed, 0 insertions, 6 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index d17dd204b..c3cb54685 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -105,10 +105,6 @@ namespace theory { class TheoryModel; }/* CVC4::theory namespace */ -namespace stats { - StatisticsRegistry* getStatisticsRegistry(SmtEngine*); -}/* CVC4::stats namespace */ - // TODO: SAT layer (esp. CNF- versus non-clausal solvers under the // hood): use a type parameter and have check() delegate, or subclass // SmtEngine and override check()? @@ -356,7 +352,6 @@ class CVC4_PUBLIC SmtEngine { friend class ::CVC4::smt::SmtEnginePrivate; friend class ::CVC4::smt::SmtScope; friend class ::CVC4::smt::BooleanTermConverter; - friend ::CVC4::StatisticsRegistry* ::CVC4::stats::getStatisticsRegistry(SmtEngine*); friend ProofManager* ::CVC4::smt::currentProofManager(); friend class ::CVC4::LogicRequest; // to access d_modelCommands diff --git a/src/smt/smt_engine.i b/src/smt/smt_engine.i index 443e4cc58..c054cb666 100644 --- a/src/smt/smt_engine.i +++ b/src/smt/smt_engine.i @@ -45,7 +45,6 @@ SWIGEXPORT void JNICALL Java_edu_nyu_acsys_CVC4_SmtEngine_dlRef(JNIEnv* jenv, jc #endif // SWIGJAVA %ignore CVC4::SmtEngine::setLogic(const char*); -%ignore CVC4::stats::getStatisticsRegistry(SmtEngine*); %ignore CVC4::smt::currentProofManager(); %include "smt/smt_engine.h" |