1 files changed, 5 insertions, 0 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index e1a1c08d7..f44ad16f7 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -115,6 +115,11 @@ public:
   Node getValue(TNode node);
 
   /**
+   * Check if the node has a value and return it if yes.
+   */
+  bool hasValue(TNode node, bool& value);
+
+  /**
    * Push the context level.
    */
   void push();