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

Classes

class  Answer_setContext
 
class  AtomsContext
 
class  CostContext
 
class  GroundQueryContext
 
class  LevelContext
 
class  ModelContext
 
class  OutputContext
 
class  Predicate_atomContext
 
class  TermContext
 
class  WitnessContext
 

Public Member Functions

String[] getTokenNames ()
 
Vocabulary getVocabulary ()
 
String getGrammarFileName ()
 
String[] getRuleNames ()
 
String getSerializedATN ()
 
ATN getATN ()
 
 DLVHEXParser (TokenStream input)
 
final Answer_setContext answer_set () throws RecognitionException
 
final AtomsContext atoms () throws RecognitionException
 
final CostContext cost () throws RecognitionException
 
final LevelContext level () throws RecognitionException
 
final OutputContext output () throws RecognitionException
 
final Predicate_atomContext predicate_atom () 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

◆ DLVHEXParser()

it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.DLVHEXParser ( TokenStream  input)
inline

Member Function Documentation

◆ answer_set()

final Answer_setContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.answer_set ( ) throws RecognitionException
inline

◆ atoms()

final AtomsContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.atoms ( ) throws RecognitionException
inline

◆ cost()

final CostContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.cost ( ) throws RecognitionException
inline

◆ getATN()

ATN it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.getATN ( )
inline

◆ getGrammarFileName()

String it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.getGrammarFileName ( )
inline

◆ getRuleNames()

String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.getRuleNames ( )
inline

◆ getSerializedATN()

String it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.getSerializedATN ( )
inline

◆ getTokenNames()

String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.getTokenNames ( )
inline

◆ getVocabulary()

Vocabulary it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.getVocabulary ( )
inline

◆ level()

final LevelContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.level ( ) throws RecognitionException
inline

◆ output()

final OutputContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.output ( ) throws RecognitionException
inline

◆ predicate_atom()

final Predicate_atomContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.predicate_atom ( ) throws RecognitionException
inline

◆ term()

final TermContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.term ( ) throws RecognitionException
inline

◆ witness()

final WitnessContext it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.witness ( ) throws RecognitionException
inline

Member Data Documentation

◆ _ATN

final ATN it.unical.mat.parsers.asp.dlvhex.DLVHEXParser._ATN
static
Initial value:
=
new ATNDeserializer().deserialize(_serializedATN.toCharArray())
static final String _serializedATN
Definition: DLVHEXParser.java:652

◆ _decisionToDFA

final DFA [] it.unical.mat.parsers.asp.dlvhex.DLVHEXParser._decisionToDFA
staticprotected

◆ _serializedATN

final String it.unical.mat.parsers.asp.dlvhex.DLVHEXParser._serializedATN
static
Initial value:
=
"\3\u608b\ua72a\u8133\ub9ed\u417c\u3be7\u7786\u5964\3\27b\4\2\t\2\4\3\t"+
"\3\4\4\t\4\4\5\t\5\4\6\t\6\4\7\t\7\4\b\t\b\4\t\t\t\3\2\3\2\3\2\7\2\26"+
"\n\2\f\2\16\2\31\13\2\3\2\3\2\3\2\3\2\3\2\5\2 \n\2\3\2\5\2#\n\2\3\3\3"+
"\3\3\3\3\3\7\3)\n\3\f\3\16\3,\13\3\5\3.\n\3\3\3\3\3\5\3\62\n\3\3\4\3\4"+
"\3\4\3\4\7\48\n\4\f\4\16\4;\13\4\3\4\3\4\3\5\3\5\3\5\3\5\3\5\3\5\3\6\7"+
"\6F\n\6\f\6\16\6I\13\6\3\7\3\7\3\7\3\7\3\7\7\7P\n\7\f\7\16\7S\13\7\3\7"+
"\3\7\5\7W\n\7\3\b\3\b\3\b\3\b\5\b]\n\b\3\t\3\t\3\t\3\t\2\2\n\2\4\6\b\n"+
"\f\16\20\2\2\2f\2\"\3\2\2\2\4$\3\2\2\2\6\63\3\2\2\2\b>\3\2\2\2\nG\3\2"+
"\2\2\fJ\3\2\2\2\16\\\3\2\2\2\20^\3\2\2\2\22\27\7\17\2\2\23\24\7\6\2\2"+
"\24\26\7\17\2\2\25\23\3\2\2\2\26\31\3\2\2\2\27\25\3\2\2\2\27\30\3\2\2"+
"\2\30\32\3\2\2\2\31\27\3\2\2\2\32\33\7\f\2\2\33\34\7\23\2\2\34\37\7\25"+
"\2\2\35 \7\24\2\2\36 \5\20\t\2\37\35\3\2\2\2\37\36\3\2\2\2 #\3\2\2\2!"+
"#\5\4\3\2\"\22\3\2\2\2\"!\3\2\2\2#\3\3\2\2\2$-\7\r\2\2%*\5\f\7\2&\'\7"+
"\6\2\2\')\5\f\7\2(&\3\2\2\2),\3\2\2\2*(\3\2\2\2*+\3\2\2\2+.\3\2\2\2,*"+
"\3\2\2\2-%\3\2\2\2-.\3\2\2\2./\3\2\2\2/\61\7\16\2\2\60\62\5\6\4\2\61\60"+
"\3\2\2\2\61\62\3\2\2\2\62\5\3\2\2\2\63\64\7\7\2\2\649\5\b\5\2\65\66\7"+
"\6\2\2\668\5\b\5\2\67\65\3\2\2\28;\3\2\2\29\67\3\2\2\29:\3\2\2\2:<\3\2"+
"\2\2;9\3\2\2\2<=\7\b\2\2=\7\3\2\2\2>?\7\n\2\2?@\7\t\2\2@A\7\5\2\2AB\7"+
"\t\2\2BC\7\13\2\2C\t\3\2\2\2DF\5\2\2\2ED\3\2\2\2FI\3\2\2\2GE\3\2\2\2G"+
"H\3\2\2\2H\13\3\2\2\2IG\3\2\2\2JV\7\17\2\2KL\7\21\2\2LQ\5\16\b\2MN\7\6"+
"\2\2NP\5\16\b\2OM\3\2\2\2PS\3\2\2\2QO\3\2\2\2QR\3\2\2\2RT\3\2\2\2SQ\3"+
"\2\2\2TU\7\22\2\2UW\3\2\2\2VK\3\2\2\2VW\3\2\2\2W\r\3\2\2\2X]\7\17\2\2"+
"Y]\7\t\2\2Z]\5\f\7\2[]\7\20\2\2\\X\3\2\2\2\\Y\3\2\2\2\\Z\3\2\2\2\\[\3"+
"\2\2\2]\17\3\2\2\2^_\7\27\2\2_`\5\4\3\2`\21\3\2\2\2\r\27\37\"*-\619GQ"+
"V\\"

◆ _sharedContextCache

final PredictionContextCache it.unical.mat.parsers.asp.dlvhex.DLVHEXParser._sharedContextCache
staticprotected
Initial value:
=
new PredictionContextCache()

◆ HEADER

final int it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.HEADER =1
static

◆ RULE_answer_set

final int it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.RULE_answer_set = 0
static

◆ ruleNames

final String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.ruleNames
static
Initial value:
= {
"answer_set", "atoms", "cost", "level", "output", "predicate_atom", "term",
"witness"
}

◆ tokenNames

final String [] it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.tokenNames
static
Deprecated:
Use VOCABULARY instead.

◆ VOCABULARY

final Vocabulary it.unical.mat.parsers.asp.dlvhex.DLVHEXParser.VOCABULARY = new VocabularyImpl(_LITERAL_NAMES, _SYMBOLIC_NAMES)
static

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