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)