1 files changed, 6 insertions, 0 deletions
diff --git a/src/prop/minisat/minisat.h b/src/prop/minisat/minisat.h
index 9171bf232..f87e4ae53 100644
--- a/src/prop/minisat/minisat.h
+++ b/src/prop/minisat/minisat.h
@@ -84,6 +84,12 @@ public:
 
   void renewVar(SatLiteral lit, int level = -1);
 
+  void requirePhase(SatLiteral lit);
+
+  bool flipDecision();
+
+  bool isDecision(SatVariable decn) const;
+
   class Statistics {
   private:
     ReferenceStat<uint64_t> d_statStarts, d_statDecisions;