1 files changed, 15 insertions, 0 deletions
diff --git a/src/hastabel/lang/Quantifier.java b/src/hastabel/lang/Quantifier.java
index aa05ebe..fbb6d75 100644
--- a/src/hastabel/lang/Quantifier.java
+++ b/src/hastabel/lang/Quantifier.java
@@ -19,4 +19,19 @@ public class Quantifier extends Formula
       this.formula = formula;
       this.is_forall = is_forall;
    }
+
+   public boolean is_forall ()
+   {
+      return is_forall;
+   }
+
+   public Variable get_variable ()
+   {
+      return parent;
+   }
+
+   public Formula get_formula ()
+   {
+      return formula;
+   }
 }