EmbASP-Java
Classes | Public Member Functions | Static Public Attributes | Static Protected Attributes | List of all members
it.unical.mat.parsers.asp.dlv.DLVParser Class Reference
Inheritance diagram for it.unical.mat.parsers.asp.dlv.DLVParser:

Classes

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
 

Public Member Functions

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 Public Attributes

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 Protected Attributes

static final DFA[] _decisionToDFA
 
static final PredictionContextCache _sharedContextCache
 

Detailed Description

Definition at line 13 of file DLVParser.java.

Member Data Documentation

◆ _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

Definition at line 51 of file DLVParser.java.


The documentation for this class was generated from the following file: