diff options
author | Erik Oosting | 2023-12-11 16:11:59 +0100 |
---|---|---|
committer | Erik Oosting | 2023-12-11 16:11:59 +0100 |
commit | 60c8f636596de722a91f9dba1f2ae631a61a6484 (patch) | |
tree | 6a393f9c7550769ce1dce6eb8dbf8bbcc6db2890 /gen/ANFVisitor.py | |
parent | 2824d28a6fd65e0a1f70a1f8b149a198e7e7fa8d (diff) |
add more operators
Diffstat (limited to 'gen/ANFVisitor.py')
-rw-r--r-- | gen/ANFVisitor.py | 50 |
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) |