|
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 |
|
|
String[] | getTokenNames () |
|
Vocabulary | getVocabulary () |
|
String | getGrammarFileName () |
|
String[] | getRuleNames () |
|
String | getSerializedATN () |
|
ATN | getATN () |
|
| DLVParser (TokenStream input) |
|
final Answer_setContext | answer_set () throws RecognitionException |
|
final CostContext | cost () throws RecognitionException |
|
final Cost_levelContext | cost_level () throws RecognitionException |
|
final ModelContext | model () throws RecognitionException |
|
final OutputContext | output () throws RecognitionException |
|
final PredicateContext | predicate () throws RecognitionException |
|
final TermContext | term () throws RecognitionException |
|
final WitnessContext | witness () throws RecognitionException |
|
|
static final int | HEADER =1 |
|
static final int | RULE_answer_set = 0 |
|
static final String[] | ruleNames |
|
static final Vocabulary | VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES) |
|
static final String[] | tokenNames |
|
static final String | _serializedATN |
|
static final ATN | _ATN |
|
|
static final DFA[] | _decisionToDFA |
|
static final PredictionContextCache | _sharedContextCache |
|
Definition at line 13 of file DLVParser.java.
◆ _ATN
final ATN it.unical.mat.parsers.asp.dlv.DLVParser._ATN |
|
static |
Initial value:=
new ATNDeserializer().deserialize(_serializedATN.toCharArray())
Definition at line 796 of file DLVParser.java.
◆ _sharedContextCache
final PredictionContextCache it.unical.mat.parsers.asp.dlv.DLVParser._sharedContextCache |
|
staticprotected |
Initial value:=
new PredictionContextCache()
Definition at line 17 of file DLVParser.java.
◆ ruleNames
final String [] it.unical.mat.parsers.asp.dlv.DLVParser.ruleNames |
|
static |
Initial value:= {
"answer_set", "cost", "cost_level", "model", "output", "predicate", "term",
"witness"
}
Definition at line 28 of file DLVParser.java.
◆ tokenNames
final String [] it.unical.mat.parsers.asp.dlv.DLVParser.tokenNames |
|
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