1 files changed, 22 insertions, 0 deletions
diff --git a/src/hastabel/lang/Quantifier.java b/src/hastabel/lang/Quantifier.java
new file mode 100644
index 0000000..4734be5
--- /dev/null
+++ b/src/hastabel/lang/Quantifier.java
@@ -0,0 +1,22 @@
+package hastabel.lang;
+
+import java.util.List;
+
+public class Quantifier extends Formula
+{
+   private final boolean is_forall;
+   private final Variable parent;
+   private final Formula formula;
+
+   public Quantifier
+   (
+      final Variable parent,
+      final Formula formula,
+      final boolean is_forall;
+   )
+   {
+      this.parent = parent;
+      this.formula = formula;
+      this.is_forall = is_forall;
+   }
+}