diff options
author | Liana Hadarean <lianahady@gmail.com> | 2016-01-26 16:04:26 -0800 |
---|---|---|
committer | Liana Hadarean <lianahady@gmail.com> | 2016-01-26 16:04:26 -0800 |
commit | 42b665f2a00643c81b42932fab1441987628c5a5 (patch) | |
tree | aa851e1fc4828f5a4d94ce0c11fa6d2d1199636f /src/theory/theory.cpp | |
parent | 7006d5ba2f68c01638a2ab2c98a86b41dcf4467c (diff) |
Merged bit-vector and uf proof branch.
Diffstat (limited to 'src/theory/theory.cpp')
-rw-r--r-- | src/theory/theory.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 9e946f8d7..45c9b1936 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -50,8 +50,9 @@ std::ostream& operator<<(std::ostream& os, Theory::Effort level){ Theory::Theory(TheoryId id, context::Context* satContext, context::UserContext* userContext, OutputChannel& out, Valuation valuation, const LogicInfo& logicInfo, - SmtGlobals* globals) throw() + SmtGlobals* globals, std::string name) throw() : d_id(id) + , d_instanceName(name) , d_satContext(satContext) , d_userContext(userContext) , d_logicInfo(logicInfo) @@ -60,12 +61,12 @@ Theory::Theory(TheoryId id, context::Context* satContext, context::UserContext* , d_sharedTermsIndex(satContext, 0) , d_careGraph(NULL) , d_quantEngine(NULL) - , d_checkTime(statName(id, "checkTime")) - , d_computeCareGraphTime(statName(id, "computeCareGraphTime")) + , d_checkTime(getFullInstanceName() + "::checkTime") + , d_computeCareGraphTime(getFullInstanceName() + "::computeCareGraphTime") , d_sharedTerms(satContext) , d_out(&out) , d_valuation(valuation) - , d_proofEnabled(false) + , d_proofsEnabled(false) , d_globals(globals) { smtStatisticsRegistry()->registerStat(&d_checkTime); |