Uses of Package
org.tweetyproject.lp.asp.parser
Package
Description
-
-
-
-
-
ClassDescriptionParser for ASP programs in the ASP-Core-2 syntax (https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf).Token literal values and constants.Token Manager.parser tree constantASPParserVisitor/** Represents an aggregate node in the abstract syntax tree (AST) for ASP parsing.ASTAggrElement classASTAggrElementList classclass ASTAggrFuncASTAnswerSetASTAriTerm classASTArithop classASTBinop classASTBody classASTBodyList classASTBuiltInAtom classASTChoice classASTChoiceElement classASTChoiceElementList classThe
ASTClingoID
class represents a node in the abstract syntax tree (AST) corresponding to a Clingo identifier in the parsing process.TheASTClingoMeta
class represents a node in the abstract syntax tree (AST) for Clingo meta-statements in the parsing process.TheASTDlvArithmeticID
class represents a node in the abstract syntax tree (AST) for arithmetic identifiers in the DLV language, a variant of Answer Set Programming (ASP).TheASTDlvID
class represents a node in the abstract syntax tree (AST) for identifiers in the DLV language, which is a logic programming language used in Answer Set Programming (ASP).TheASTHead
class represents a node in the abstract syntax tree (AST) for the head of a rule in the context of Answer Set Programming (ASP).TheASTHeadElementsList
class represents a node in the abstract syntax tree (AST) for a list of elements that make up the head of a rule in the context of Answer Set Programming (ASP).TheASTID
class represents a node in the abstract syntax tree (AST) for identifiers within the context of Answer Set Programming (ASP).TheASTLiteral
class represents a node in the abstract syntax tree (AST) for literals within the context of Answer Set Programming (ASP).TheASTNAFLiteral
class represents a node in the abstract syntax tree (AST) for literals with negation as failure (NAF) within the context of Answer Set Programming (ASP).TheASTNAFLiteralList
class represents a node in the abstract syntax tree (AST) for a list of literals that may include negation as failure (NAF) within the context of Answer Set Programming (ASP).TheASTNumber
class represents a node in the abstract syntax tree (AST) for numerical values within the context of Answer Set Programming (ASP).TheASTOpt
class represents a node in the abstract syntax tree (AST) for optimization statements within the context of Answer Set Programming (ASP).TheASTOptElement
class represents a node in the abstract syntax tree (AST) for an optimization element within the context of Answer Set Programming (ASP).Represents a node in the abstract syntax tree (AST) for an optional element list in the ASP (Answer Set Programming) parser.TheASTOptFunc
class represents a node in the abstract syntax tree (AST) for an optimization function within the context of Answer Set Programming (ASP).TheASTProgram
class represents a node in the abstract syntax tree (AST) for a program in the context of Answer Set Programming (ASP).TheASTQuery
class represents a node in the abstract syntax tree (AST) for a query in the context of Answer Set Programming (ASP).TheASTRule
class represents a node in the abstract syntax tree (AST) for a rule in the context of Answer Set Programming (ASP).TheASTRuleList
class represents a node in the abstract syntax tree (AST) for a list of rules within the context of Answer Set Programming (ASP).TheASTString
class represents a node in the abstract syntax tree (AST) for string literals within the context of Answer Set Programming (ASP).TheASTTerm
class represents a term node in the abstract syntax tree (AST) within the context of Answer Set Programming (ASP).TheASTTermList
class represents a node in the abstract syntax tree (AST) for a list of terms within the context of Answer Set Programming (ASP).TheASTVar
class represents a variable node in the abstract syntax tree (AST) within the context of Answer Set Programming (ASP).Represents a node in the abstract syntax tree (AST) for a weight in the ASP (Answer Set Programming) parser.node interfdaceThis exception is thrown when parse errors are encountered.An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).A base class representing a node in the abstract syntax tree (AST) for the ASPParser.Describes the input token stream.