Package net.sf.tweety.lp.asp.parser
-
Interface Summary Interface Description ASPCore2Constants Token literal values and constants.ASPCore2ParserConstants Token literal values and constants.ASPCore2ParserTreeConstants ASPCore2ParserVisitor Node -
Class Summary Class Description ASPCore2Parser Parser for ASP programs in the ASP-Core-2 syntax https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf.ASPCore2ParserTest This class tests all important functions of the ASP-Core-2 Parser in combination with InstantiateVisitor, which is responsible for walking through the parse-tree and generating in-memory classes of the parsed ASP program.ASPCore2ParserTokenManager Token Manager.ASTAggregate ASTAggrElement ASTAggrElementList ASTAggrFunc ASTAnswerSet ASTAriTerm ASTArithop ASTBinop ASTBody ASTBodyList ASTBuiltInAtom ASTChoice ASTChoiceElement ASTChoiceElementList ASTClingoMeta ASTHead ASTHeadElementsList ASTID ASTLiteral ASTNAFLiteral ASTNAFLiteralList ASTNumber ASTOpt ASTOptElement ASTOptElementList ASTOptFunc ASTProgram ASTQuery ASTRule ASTRuleList ASTString ASTTerm ASTTermList ASTVar ASTWeight InstantiateVisitor This visitor iterates over the AST generated by ASPCore2Parser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.JJTASPCore2ParserState SimpleCharStream An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).SimpleNode Token Describes the input token stream. -
Exception Summary Exception Description ParseException This exception is thrown when parse errors are encountered. -
Error Summary Error Description TokenMgrError Token Manager Error.