Class and Description |
---|
ASPParser
Parser for DLV conform disjunctive logic programs using the
answer set semantics.
|
InstantiateVisitor
This visitor uses an AST generated by the ASPParser and allocates
the classes representing the constructs of a source file, like
programs, rules, literals, arithmetics, relations, terms, answer sets
etc.
|
Class and Description |
---|
ParseException
This exception is thrown when parse errors are encountered.
|
Class and Description |
---|
ParseException
This exception is thrown when parse errors are encountered.
|
Class and Description |
---|
ParseException
This exception is thrown when parse errors are encountered.
|
Class and Description |
---|
ASPParser
Parser for DLV conform disjunctive logic programs using the
answer set semantics.
|
ASPParser.JJCalls |
ASPParser.LookaheadSuccess |
ASPParserConstants
Token literal values and constants.
|
ASPParserTokenManager
Token Manager.
|
ASPParserTreeConstants |
ASPParserVisitor |
ASTAggregate |
ASTAnswerSet |
ASTAnswerSetList |
ASTArithmetic |
ASTArithmeticInteger |
ASTArithmeticOp |
ASTAtom |
ASTComparative |
ASTCompareOp |
ASTDefAtom |
ASTElementLst |
ASTFunctionalTerm |
ASTHead |
ASTIdentifier |
ASTIdLst |
ASTListTail |
ASTListTerm |
ASTNumber |
ASTProgram |
ASTRule |
ASTSetTerm |
ASTSimpleTerm |
ASTSpecId |
ASTSymbolicSet |
ASTTerm |
ASTTermLst |
InstantiateVisitor
This visitor uses an AST generated by the ASPParser and allocates
the classes representing the constructs of a source file, like
programs, rules, literals, arithmetics, relations, terms, answer sets
etc.
|
JJTASPParserState |
Node |
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 |
Token
Describes the input token stream.
|