diff options
author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-03-22 17:25:48 -0400 |
---|---|---|
committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-03-22 17:25:48 -0400 |
commit | 17921b8fabea67fffd7d6a2a4b476dba06f3cb0c (patch) | |
tree | ca3bb4f24393615584ea45e84539726c610f86d1 /src/decision | |
parent | 36816ad2537a2e6163037e9592c513b9a69aa9dc (diff) |
compiles with
export CXXFLAGS='-std=gnu++0x' before configure
fails all regressions in the parser
Diffstat (limited to 'src/decision')
-rw-r--r-- | src/decision/relevancy.cpp | 5 | ||||
-rw-r--r-- | src/decision/relevancy.h | 7 |
2 files changed, 9 insertions, 3 deletions
diff --git a/src/decision/relevancy.cpp b/src/decision/relevancy.cpp index 31963eee0..ecd31a4cc 100644 --- a/src/decision/relevancy.cpp +++ b/src/decision/relevancy.cpp @@ -28,6 +28,11 @@ // Relevancy stuff +const double Relevancy::secondsPerDecision = 0.001; +const double Relevancy::secondsPerExpense = 1e-7; +const double Relevancy::EPS = 1e-9; + + void Relevancy::setJustified(TNode n) { Debug("decision") << " marking [" << n.getId() << "]"<< n << "as justified" << std::endl; diff --git a/src/decision/relevancy.h b/src/decision/relevancy.h index bfd30ddde..23d980a1b 100644 --- a/src/decision/relevancy.h +++ b/src/decision/relevancy.h @@ -109,9 +109,10 @@ class Relevancy : public RelevancyStrategy { bool d_multipleBacktrace; //bool d_computeRelevancy; // are we in a mode where we compute relevancy? - static const double secondsPerDecision = 0.001; - static const double secondsPerExpense = 1e-7; - static const double EPS = 1e-9; + static const double secondsPerDecision; + static const double secondsPerExpense; + static const double EPS; + /** Maximum time this algorithm should spent as part of whole algorithm */ double d_maxTimeAsPercentageOfTotalTime; |