83 lines
2.4 KiB
Python
83 lines
2.4 KiB
Python
# Generated from HMKNF.g4 by ANTLR 4.10.1
|
|
from antlr4 import *
|
|
if __name__ is not None and "." in __name__:
|
|
from .HMKNFParser import HMKNFParser
|
|
else:
|
|
from HMKNFParser import HMKNFParser
|
|
|
|
# This class defines a complete generic visitor for a parse tree produced by HMKNFParser.
|
|
|
|
class HMKNFVisitor(ParseTreeVisitor):
|
|
|
|
# Visit a parse tree produced by HMKNFParser#kb.
|
|
def visitKb(self, ctx:HMKNFParser.KbContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#lrule.
|
|
def visitLrule(self, ctx:HMKNFParser.LruleContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#head.
|
|
def visitHead(self, ctx:HMKNFParser.HeadContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#body.
|
|
def visitBody(self, ctx:HMKNFParser.BodyContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#orule.
|
|
def visitOrule(self, ctx:HMKNFParser.OruleContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#negation.
|
|
def visitNegation(self, ctx:HMKNFParser.NegationContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#disjOrConj.
|
|
def visitDisjOrConj(self, ctx:HMKNFParser.DisjOrConjContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#parenth.
|
|
def visitParenth(self, ctx:HMKNFParser.ParenthContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#imp.
|
|
def visitImp(self, ctx:HMKNFParser.ImpContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#literal.
|
|
def visitLiteral(self, ctx:HMKNFParser.LiteralContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#katom.
|
|
def visitKatom(self, ctx:HMKNFParser.KatomContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#oatom.
|
|
def visitOatom(self, ctx:HMKNFParser.OatomContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#patom.
|
|
def visitPatom(self, ctx:HMKNFParser.PatomContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
# Visit a parse tree produced by HMKNFParser#natom.
|
|
def visitNatom(self, ctx:HMKNFParser.NatomContext):
|
|
return self.visitChildren(ctx)
|
|
|
|
|
|
|
|
del HMKNFParser |