|
class | Answer_setContext |
|
class | Cost_levelContext |
|
class | CostContext |
|
class | GroundQueryContext |
|
class | ModelContext |
|
class | NonGroundQueryContext |
|
class | OutputContext |
|
class | PredicateContext |
|
class | SimpleModelContext |
|
class | TermContext |
|
class | WeightedModelContext |
|
class | WitnessContext |
|
◆ DLVParser()
it.unical.mat.parsers.asp.dlv.DLVParser.DLVParser |
( |
TokenStream |
input | ) |
|
|
inline |
◆ answer_set()
final Answer_setContext it.unical.mat.parsers.asp.dlv.DLVParser.answer_set |
( |
| ) |
throws RecognitionException |
|
inline |
◆ cost()
final CostContext it.unical.mat.parsers.asp.dlv.DLVParser.cost |
( |
| ) |
throws RecognitionException |
|
inline |
◆ cost_level()
final Cost_levelContext it.unical.mat.parsers.asp.dlv.DLVParser.cost_level |
( |
| ) |
throws RecognitionException |
|
inline |
◆ getATN()
ATN it.unical.mat.parsers.asp.dlv.DLVParser.getATN |
( |
| ) |
|
|
inline |
◆ getGrammarFileName()
String it.unical.mat.parsers.asp.dlv.DLVParser.getGrammarFileName |
( |
| ) |
|
|
inline |
◆ getRuleNames()
String [] it.unical.mat.parsers.asp.dlv.DLVParser.getRuleNames |
( |
| ) |
|
|
inline |
◆ getSerializedATN()
String it.unical.mat.parsers.asp.dlv.DLVParser.getSerializedATN |
( |
| ) |
|
|
inline |
◆ getTokenNames()
String [] it.unical.mat.parsers.asp.dlv.DLVParser.getTokenNames |
( |
| ) |
|
|
inline |
◆ getVocabulary()
Vocabulary it.unical.mat.parsers.asp.dlv.DLVParser.getVocabulary |
( |
| ) |
|
|
inline |
◆ model()
final ModelContext it.unical.mat.parsers.asp.dlv.DLVParser.model |
( |
| ) |
throws RecognitionException |
|
inline |
◆ output()
final OutputContext it.unical.mat.parsers.asp.dlv.DLVParser.output |
( |
| ) |
throws RecognitionException |
|
inline |
◆ predicate()
final PredicateContext it.unical.mat.parsers.asp.dlv.DLVParser.predicate |
( |
| ) |
throws RecognitionException |
|
inline |
◆ term()
final TermContext it.unical.mat.parsers.asp.dlv.DLVParser.term |
( |
| ) |
throws RecognitionException |
|
inline |
◆ witness()
final WitnessContext it.unical.mat.parsers.asp.dlv.DLVParser.witness |
( |
| ) |
throws RecognitionException |
|
inline |
◆ _ATN
final ATN it.unical.mat.parsers.asp.dlv.DLVParser._ATN |
|
static |
Initial value:=
static final String _serializedATN
Definition: DLVParser.java:764
◆ _decisionToDFA
final DFA [] it.unical.mat.parsers.asp.dlv.DLVParser._decisionToDFA |
|
staticprotected |
◆ _serializedATN
final String it.unical.mat.parsers.asp.dlv.DLVParser._serializedATN |
|
static |
◆ _sharedContextCache
final PredictionContextCache it.unical.mat.parsers.asp.dlv.DLVParser._sharedContextCache |
|
staticprotected |
Initial value:=
new PredictionContextCache()
◆ HEADER
final int it.unical.mat.parsers.asp.dlv.DLVParser.HEADER =1 |
|
static |
◆ RULE_answer_set
final int it.unical.mat.parsers.asp.dlv.DLVParser.RULE_answer_set = 0 |
|
static |
◆ ruleNames
final String [] it.unical.mat.parsers.asp.dlv.DLVParser.ruleNames |
|
static |
Initial value:= {
"answer_set", "cost", "cost_level", "model", "output", "predicate", "term",
"witness"
}
◆ tokenNames
final String [] it.unical.mat.parsers.asp.dlv.DLVParser.tokenNames |
|
static |
◆ VOCABULARY
final Vocabulary it.unical.mat.parsers.asp.dlv.DLVParser.VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES) |
|
static |
The documentation for this class was generated from the following file:
- embasp-java/app/src/main/java/it/unical/mat/parsers/asp/dlv/DLVParser.java