Package org.tweetyproject.lp.asp.parser

package org.tweetyproject.lp.asp.parser

Class	Description
ASPCore2Constants	Token literal values and constants.
AspifParser	This class is a parser for the aspif (ASP Intermediate Format) format, the output language of gringo (https://potassco.org/clingo/).
AspifParserTest	Tests for AspifParser (parser for the the output language of gringo).
ASPParser	Parser for ASP programs in the ASP-Core-2 syntax (https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf).
ASPParserConstants	Token literal values and constants.
ASPParserTest	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.
ASPParserTokenManager	Token Manager.
ASPParserTreeConstants	parser tree constant
ASPParserVisitor	ASPParserVisitor
ASTAggregate	/** Represents an aggregate node in the abstract syntax tree (AST) for ASP parsing.
ASTAggrElement	ASTAggrElement class
ASTAggrElementList	ASTAggrElementList class
ASTAggrFunc	class ASTAggrFunc
ASTAnswerSet	ASTAnswerSet
ASTAriTerm	ASTAriTerm class
ASTArithop	ASTArithop class
ASTBinop	ASTBinop class
ASTBody	ASTBody class
ASTBodyList	ASTBodyList class
ASTBuiltInAtom	ASTBuiltInAtom class
ASTChoice	ASTChoice class
ASTChoiceElement	ASTChoiceElement class
ASTChoiceElementList	ASTChoiceElementList class
ASTClingoID	The ASTClingoID class represents a node in the abstract syntax tree (AST) corresponding to a Clingo identifier in the parsing process.
ASTClingoMeta	The ASTClingoMeta class represents a node in the abstract syntax tree (AST) for Clingo meta-statements in the parsing process.
ASTDlvArithmeticID	The ASTDlvArithmeticID class represents a node in the abstract syntax tree (AST) for arithmetic identifiers in the DLV language, a variant of Answer Set Programming (ASP).
ASTDlvID	The ASTDlvID 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).
ASTHead	The ASTHead class represents a node in the abstract syntax tree (AST) for the head of a rule in the context of Answer Set Programming (ASP).
ASTHeadElementsList	The ASTHeadElementsList 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).
ASTID	The ASTID class represents a node in the abstract syntax tree (AST) for identifiers within the context of Answer Set Programming (ASP).
ASTLiteral	The ASTLiteral class represents a node in the abstract syntax tree (AST) for literals within the context of Answer Set Programming (ASP).
ASTNAFLiteral	The ASTNAFLiteral 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).
ASTNAFLiteralList	The ASTNAFLiteralList 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).
ASTNumber	The ASTNumber class represents a node in the abstract syntax tree (AST) for numerical values within the context of Answer Set Programming (ASP).
ASTOpt	The ASTOpt class represents a node in the abstract syntax tree (AST) for optimization statements within the context of Answer Set Programming (ASP).
ASTOptElement	The ASTOptElement class represents a node in the abstract syntax tree (AST) for an optimization element within the context of Answer Set Programming (ASP).
ASTOptElementList	Represents a node in the abstract syntax tree (AST) for an optional element list in the ASP (Answer Set Programming) parser.
ASTOptFunc	The ASTOptFunc class represents a node in the abstract syntax tree (AST) for an optimization function within the context of Answer Set Programming (ASP).
ASTProgram	The ASTProgram class represents a node in the abstract syntax tree (AST) for a program in the context of Answer Set Programming (ASP).
ASTQuery	The ASTQuery class represents a node in the abstract syntax tree (AST) for a query in the context of Answer Set Programming (ASP).
ASTRule	The ASTRule class represents a node in the abstract syntax tree (AST) for a rule in the context of Answer Set Programming (ASP).
ASTRuleList	The ASTRuleList class represents a node in the abstract syntax tree (AST) for a list of rules within the context of Answer Set Programming (ASP).
ASTString	The ASTString class represents a node in the abstract syntax tree (AST) for string literals within the context of Answer Set Programming (ASP).
ASTTerm	The ASTTerm class represents a term node in the abstract syntax tree (AST) within the context of Answer Set Programming (ASP).
ASTTermList	The ASTTermList class represents a node in the abstract syntax tree (AST) for a list of terms within the context of Answer Set Programming (ASP).
ASTVar	The ASTVar class represents a variable node in the abstract syntax tree (AST) within the context of Answer Set Programming (ASP).
ASTWeight	Represents a node in the abstract syntax tree (AST) for a weight in the ASP (Answer Set Programming) parser.
InstantiateVisitor	This visitor iterates over the AST generated by ASPParser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.
JJTASPParserState	Manages the state of the abstract syntax tree (AST) during parsing in the ASP parser.
Node	node interfdace
ParseException	This exception is thrown when parse errors are encountered.
SimpleCharStream	An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
SimpleNode	A base class representing a node in the abstract syntax tree (AST) for the ASPParser.
Token	Describes the input token stream.
TokenMgrError	Token Manager Error.