diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-09 16:24:15 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-07 18:33:12 -0400 |
| commit | 461a416e254095f4bdb4b3f5f4f3258b52722e23 (patch) | |
| tree | 261ca25ed7e4e15b6922e158d95aa6fb6f0c2b41 /src/decision/decision_strategy.h | |
| parent | b976f4da9bf79670226d7fa55e02d4c0e4c7e8ba (diff) | |
whitespace fixes
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 */ |