EmbASP-Java v7.1.0
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
 

Constructor & Destructor Documentation

◆ DLVParser()

it.unical.mat.parsers.asp.dlv.DLVParser.DLVParser ( TokenStream  input)
inline

Member Function Documentation

◆ 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

Member Data Documentation

◆ _ATN

final ATN it.unical.mat.parsers.asp.dlv.DLVParser._ATN
static
Initial value:
=
new ATNDeserializer().deserialize(_serializedATN.toCharArray())
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
Deprecated:
Use VOCABULARY instead.

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