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/ANFVisitor.py | 50 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)

(limited to 'gen/ANFVisitor.py')

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)
-- 
cgit 1.4.1-2-gfad0