1 files changed, 11 insertions, 0 deletions
diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h
index 6ee583ec2..ee7d340c4 100644
--- a/src/decision/decision_strategy.h
+++ b/src/decision/decision_strategy.h
@@ -63,6 +63,17 @@ public:
                              IteSkolemMap iteSkolemMap) = 0;
 };
 
+class RelevancyStrategy : public ITEDecisionStrategy {
+public:
+  RelevancyStrategy(DecisionEngine* de, context::Context *c) :
+    ITEDecisionStrategy(de, c) {
+  }
+
+  virtual bool isRelevant(TNode n) = 0;
+  virtual prop::SatValue getPolarity(TNode n) = 0;
+};
+
+
 }/* decision namespace */
 }/* CVC4 namespace */