diff options
Diffstat (limited to 'src/decision/decision_strategy.h')
| -rw-r--r-- | src/decision/decision_strategy.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h index e4df8d4af..94db110c2 100644 --- a/src/decision/decision_strategy.h +++ b/src/decision/decision_strategy.h @@ -43,9 +43,9 @@ public: virtual ~DecisionStrategy() { } virtual prop::SatLiteral getNext(bool&) = 0; - + virtual bool needIteSkolemMap() { return false; } - + virtual void notifyAssertionsAvailable() { return; } };/* class DecisionStrategy */ |