summary refs log tree commit diff
path: root/gen/ANFVisitor.py
diff options
context:
space:
mode:
authorErik Oosting2023-12-11 16:11:59 +0100
committerErik Oosting2023-12-11 16:11:59 +0100
commit60c8f636596de722a91f9dba1f2ae631a61a6484 (patch)
tree6a393f9c7550769ce1dce6eb8dbf8bbcc6db2890 /gen/ANFVisitor.py
parent2824d28a6fd65e0a1f70a1f8b149a198e7e7fa8d (diff)
add more operators
Diffstat (limited to 'gen/ANFVisitor.py')
-rw-r--r--gen/ANFVisitor.py50
1 files changed, 50 insertions, 0 deletions
diff --git a/gen/ANFVisitor.py b/gen/ANFVisitor.py
index e1bf0b4..778df85 100644
--- a/gen/ANFVisitor.py
+++ b/gen/ANFVisitor.py
@@ -9,6 +9,16 @@ else:
 
 class ANFVisitor(ParseTreeVisitor):
 
+    # Visit a parse tree produced by ANFParser#true.
+    def visitTrue(self, ctx:ANFParser.TrueContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#false.
+    def visitFalse(self, ctx:ANFParser.FalseContext):
+        return self.visitChildren(ctx)
+
+
     # Visit a parse tree produced by ANFParser#var.
     def visitVar(self, ctx:ANFParser.VarContext):
         return self.visitChildren(ctx)
@@ -39,6 +49,46 @@ class ANFVisitor(ParseTreeVisitor):
         return self.visitChildren(ctx)
 
 
+    # Visit a parse tree produced by ANFParser#gt.
+    def visitGt(self, ctx:ANFParser.GtContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#lt.
+    def visitLt(self, ctx:ANFParser.LtContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#eq.
+    def visitEq(self, ctx:ANFParser.EqContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#bsl.
+    def visitBsl(self, ctx:ANFParser.BslContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#bsr.
+    def visitBsr(self, ctx:ANFParser.BsrContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#and.
+    def visitAnd(self, ctx:ANFParser.AndContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#or.
+    def visitOr(self, ctx:ANFParser.OrContext):
+        return self.visitChildren(ctx)
+
+
+    # Visit a parse tree produced by ANFParser#xor.
+    def visitXor(self, ctx:ANFParser.XorContext):
+        return self.visitChildren(ctx)
+
+
     # Visit a parse tree produced by ANFParser#lam.
     def visitLam(self, ctx:ANFParser.LamContext):
         return self.visitChildren(ctx)