diff options
Diffstat (limited to 'src/decision/decision_strategy.h')
-rw-r--r-- | src/decision/decision_strategy.h | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h index ee7d340c4..dd6c7f548 100644 --- a/src/decision/decision_strategy.h +++ b/src/decision/decision_strategy.h @@ -27,8 +27,8 @@ namespace CVC4 { class DecisionEngine; namespace context { -class Context; -} + class Context; +}/* CVC4::context namespace */ namespace decision { @@ -47,7 +47,7 @@ public: virtual bool needIteSkolemMap() { return false; } virtual void notifyAssertionsAvailable() { return; } -}; +};/* class DecisionStrategy */ class ITEDecisionStrategy : public DecisionStrategy { public: @@ -61,7 +61,7 @@ public: virtual void addAssertions(const std::vector<Node> &assertions, unsigned assertionsEnd, IteSkolemMap iteSkolemMap) = 0; -}; +};/* class ITEDecisionStrategy */ class RelevancyStrategy : public ITEDecisionStrategy { public: @@ -71,10 +71,9 @@ public: virtual bool isRelevant(TNode n) = 0; virtual prop::SatValue getPolarity(TNode n) = 0; -}; +};/* class RelevancyStrategy */ - -}/* decision namespace */ +}/* CVC4::decision namespace */ }/* CVC4 namespace */ #endif /* __CVC4__DECISION__DECISION_STRATEGY_H */ |