Uses of Package
org.tweetyproject.lp.asp.parser

  • Class
    Description
    This exception is thrown when parse errors are encountered.
  • Class
    Description
    This exception is thrown when parse errors are encountered.
  • Class
    Description
    This exception is thrown when parse errors are encountered.
  • Class
    Description
    This exception is thrown when parse errors are encountered.
  • Class
    Description
    Parser 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 constant
    ASPParserVisitor
    /** Represents an aggregate node in the abstract syntax tree (AST) for ASP parsing.
    ASTAggrElement class
    ASTAggrElementList class
    class ASTAggrFunc
    ASTAnswerSet
    ASTAriTerm class
    ASTArithop class
    ASTBinop class
    ASTBody class
    ASTBodyList class
    ASTBuiltInAtom class
    ASTChoice class
    ASTChoiceElement class
    ASTChoiceElementList class
    The ASTClingoID class represents a node in the abstract syntax tree (AST) corresponding to a Clingo identifier in the parsing process.
    The ASTClingoMeta class represents a node in the abstract syntax tree (AST) for Clingo meta-statements in the parsing process.
    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).
    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).
    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).
    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).
    The ASTID class represents a node in the abstract syntax tree (AST) for identifiers within the context of Answer Set Programming (ASP).
    The ASTLiteral class represents a node in the abstract syntax tree (AST) for literals within the context of Answer Set Programming (ASP).
    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).
    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).
    The ASTNumber class represents a node in the abstract syntax tree (AST) for numerical values within the context of Answer Set Programming (ASP).
    The ASTOpt class represents a node in the abstract syntax tree (AST) for optimization statements within the context of Answer Set Programming (ASP).
    The ASTOptElement 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.
    The ASTOptFunc class represents a node in the abstract syntax tree (AST) for an optimization function within the context of Answer Set Programming (ASP).
    The ASTProgram class represents a node in the abstract syntax tree (AST) for a program in the context of Answer Set Programming (ASP).
    The ASTQuery class represents a node in the abstract syntax tree (AST) for a query in the context of Answer Set Programming (ASP).
    The ASTRule class represents a node in the abstract syntax tree (AST) for a rule in the context of Answer Set Programming (ASP).
    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).
    The ASTString class represents a node in the abstract syntax tree (AST) for string literals within the context of Answer Set Programming (ASP).
    The ASTTerm class represents a term node in the abstract syntax tree (AST) within the context of Answer Set Programming (ASP).
    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).
    The ASTVar 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 interfdace
    This 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.