From 60c8f636596de722a91f9dba1f2ae631a61a6484 Mon Sep 17 00:00:00 2001
From: Erik Oosting
Date: Mon, 11 Dec 2023 16:11:59 +0100
Subject: add more operators

---
 gen/ANFListener.py | 90 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 90 insertions(+)

(limited to 'gen/ANFListener.py')

diff --git a/gen/ANFListener.py b/gen/ANFListener.py
index 81322bb..cb5ec92 100644
--- a/gen/ANFListener.py
+++ b/gen/ANFListener.py
@@ -8,6 +8,24 @@ else:
 # This class defines a complete listener for a parse tree produced by ANFParser.
 class ANFListener(ParseTreeListener):
 
+    # Enter a parse tree produced by ANFParser#true.
+    def enterTrue(self, ctx:ANFParser.TrueContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#true.
+    def exitTrue(self, ctx:ANFParser.TrueContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#false.
+    def enterFalse(self, ctx:ANFParser.FalseContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#false.
+    def exitFalse(self, ctx:ANFParser.FalseContext):
+        pass
+
+
     # Enter a parse tree produced by ANFParser#var.
     def enterVar(self, ctx:ANFParser.VarContext):
         pass
@@ -62,6 +80,78 @@ class ANFListener(ParseTreeListener):
         pass
 
 
+    # Enter a parse tree produced by ANFParser#gt.
+    def enterGt(self, ctx:ANFParser.GtContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#gt.
+    def exitGt(self, ctx:ANFParser.GtContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#lt.
+    def enterLt(self, ctx:ANFParser.LtContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#lt.
+    def exitLt(self, ctx:ANFParser.LtContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#eq.
+    def enterEq(self, ctx:ANFParser.EqContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#eq.
+    def exitEq(self, ctx:ANFParser.EqContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#bsl.
+    def enterBsl(self, ctx:ANFParser.BslContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#bsl.
+    def exitBsl(self, ctx:ANFParser.BslContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#bsr.
+    def enterBsr(self, ctx:ANFParser.BsrContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#bsr.
+    def exitBsr(self, ctx:ANFParser.BsrContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#and.
+    def enterAnd(self, ctx:ANFParser.AndContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#and.
+    def exitAnd(self, ctx:ANFParser.AndContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#or.
+    def enterOr(self, ctx:ANFParser.OrContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#or.
+    def exitOr(self, ctx:ANFParser.OrContext):
+        pass
+
+
+    # Enter a parse tree produced by ANFParser#xor.
+    def enterXor(self, ctx:ANFParser.XorContext):
+        pass
+
+    # Exit a parse tree produced by ANFParser#xor.
+    def exitXor(self, ctx:ANFParser.XorContext):
+        pass
+
+
     # Enter a parse tree produced by ANFParser#lam.
     def enterLam(self, ctx:ANFParser.LamContext):
         pass
-- 
cgit 1.4.1-2-gfad0