Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPropositionalParser

java.lang.Object

org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

org.antlr.v4.runtime.Parser

org.logicng.io.parsers.ParserWithFormula

org.logicng.io.parsers.LogicNGPropositionalParser

public class LogicNGPropositionalParser
extends ParserWithFormula

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LogicNGPropositionalParser.ConjContext
static class	LogicNGPropositionalParser.ConstantContext
static class	LogicNGPropositionalParser.DisjContext
static class	LogicNGPropositionalParser.EquivContext
static class	LogicNGPropositionalParser.FormulaContext
static class	LogicNGPropositionalParser.ImplContext
static class	LogicNGPropositionalParser.LitContext
static class	LogicNGPropositionalParser.SimpContext

Nested classes/interfaces inherited from class org.antlr.v4.runtime.Parser

org.antlr.v4.runtime.Parser.TraceListener, org.antlr.v4.runtime.Parser.TrimToSizeListener

Field Summary

Fields

Modifier and Type	Field	Description
static org.antlr.v4.runtime.atn.ATN	_ATN
protected static org.antlr.v4.runtime.dfa.DFA[]	_decisionToDFA
static String	_serializedATN
protected static org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
static int	AND
static int	EQUIV
static int	FALSE
static int	IMPL
static int	LBR
static int	NOT
static int	OR
static int	RBR
static int	RULE_conj
static int	RULE_constant
static int	RULE_disj
static int	RULE_equiv
static int	RULE_formula
static int	RULE_impl
static int	RULE_lit
static int	RULE_simp
static String[]	ruleNames
static String[]	tokenNames	Deprecated. Use VOCABULARY instead.
static int	TRUE
static int	VARIABLE
static org.antlr.v4.runtime.Vocabulary	VOCABULARY
static int	WS

Fields inherited from class org.logicng.io.parsers.ParserWithFormula

f

Fields inherited from class org.antlr.v4.runtime.Parser

_buildParseTrees, _ctx, _errHandler, _input, _parseListeners, _precedenceStack, _syntaxErrors, matchedEOF

Fields inherited from class org.antlr.v4.runtime.Recognizer

_interp, EOF

Constructor Summary

Constructors

Constructor	Description
LogicNGPropositionalParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method	Description
LogicNGPropositionalParser.ConjContext	conj()
LogicNGPropositionalParser.ConstantContext	constant()
LogicNGPropositionalParser.DisjContext	disj()
LogicNGPropositionalParser.EquivContext	equiv()
LogicNGPropositionalParser.FormulaContext	formula()
org.antlr.v4.runtime.atn.ATN	getATN()
String	getGrammarFileName()
org.logicng.formulas.Formula	getParsedFormula()	Returns the parsed formula.
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames()	Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()
LogicNGPropositionalParser.ImplContext	impl()
LogicNGPropositionalParser.LitContext	lit()
LogicNGPropositionalParser.SimpContext	simp()

Methods inherited from class org.logicng.io.parsers.ParserWithFormula

setFormulaFactory

Methods inherited from class org.antlr.v4.runtime.Parser

addContextToParseTree, addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, dumpDFA, dumpDFA, enterOuterAlt, enterRecursionRule, enterRecursionRule, enterRule, exitRule, getATNWithBypassAlts, getBuildParseTree, getContext, getCurrentToken, getDFAStrings, getErrorHandler, getExpectedTokens, getExpectedTokensWithinCurrentRule, getInputStream, getInvokingContext, getNumberOfSyntaxErrors, getParseInfo, getParseListeners, getPrecedence, getRuleContext, getRuleIndex, getRuleInvocationStack, getRuleInvocationStack, getSourceName, getTokenFactory, getTokenStream, getTrimParseTree, inContext, isExpectedToken, isMatchedEOF, isTrace, match, matchWildcard, notifyErrorListeners, notifyErrorListeners, precpred, pushNewRecursionContext, removeParseListener, removeParseListeners, reset, setBuildParseTree, setContext, setErrorHandler, setInputStream, setProfile, setTokenFactory, setTokenStream, setTrace, setTrimParseTree, triggerEnterRuleEvent, triggerExitRuleEvent, unrollRecursionContexts

Methods inherited from class org.antlr.v4.runtime.Recognizer

action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_decisionToDFA

protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA

_sharedContextCache

protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache

VARIABLE

public static final int VARIABLE

See Also:

Constant Field Values

TRUE

public static final int TRUE

See Also:

Constant Field Values

FALSE

public static final int FALSE

See Also:

Constant Field Values

LBR

public static final int LBR

See Also:

Constant Field Values

RBR

public static final int RBR

See Also:

Constant Field Values

NOT

public static final int NOT

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

IMPL

public static final int IMPL

See Also:

Constant Field Values

EQUIV

public static final int EQUIV

See Also:

Constant Field Values

WS

public static final int WS

See Also:

Constant Field Values

RULE_formula

public static final int RULE_formula

See Also:

Constant Field Values

RULE_constant

public static final int RULE_constant

See Also:

Constant Field Values

RULE_simp

public static final int RULE_simp

See Also:

Constant Field Values

RULE_lit

public static final int RULE_lit

See Also:

Constant Field Values

RULE_conj

public static final int RULE_conj

See Also:

Constant Field Values

RULE_disj

public static final int RULE_disj

See Also:

Constant Field Values

RULE_impl

public static final int RULE_impl

See Also:

Constant Field Values

RULE_equiv

public static final int RULE_equiv

See Also:

Constant Field Values

ruleNames

public static final String[] ruleNames

VOCABULARY

public static final org.antlr.v4.runtime.Vocabulary VOCABULARY

tokenNames

@Deprecated
public static final String[] tokenNames

Deprecated.

Use VOCABULARY instead.

_serializedATN

public static final String _serializedATN

See Also:

Constant Field Values

_ATN

public static final org.antlr.v4.runtime.atn.ATN _ATN

Constructor Detail

LogicNGPropositionalParser

public LogicNGPropositionalParser(org.antlr.v4.runtime.TokenStream input)

Method Detail

getTokenNames

@Deprecated
public String[] getTokenNames()

Deprecated.

Specified by:

getTokenNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getVocabulary

public org.antlr.v4.runtime.Vocabulary getVocabulary()

Overrides:

getVocabulary in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getGrammarFileName

public String getGrammarFileName()

Specified by:

getGrammarFileName in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getRuleNames

public String[] getRuleNames()

Specified by:

getRuleNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getSerializedATN

public String getSerializedATN()

Overrides:

getSerializedATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getATN

public org.antlr.v4.runtime.atn.ATN getATN()

Specified by:

getATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token,org.antlr.v4.runtime.atn.ParserATNSimulator>

getParsedFormula

public org.logicng.formulas.Formula getParsedFormula()

Description copied from class: ParserWithFormula

Returns the parsed formula.

Specified by:

getParsedFormula in class ParserWithFormula

Returns:

the parsed formula

formula

public final LogicNGPropositionalParser.FormulaContext formula()
                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

constant

public final LogicNGPropositionalParser.ConstantContext constant()
                                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

simp

public final LogicNGPropositionalParser.SimpContext simp()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

lit

public final LogicNGPropositionalParser.LitContext lit()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

conj

public final LogicNGPropositionalParser.ConjContext conj()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

disj

public final LogicNGPropositionalParser.DisjContext disj()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

impl

public final LogicNGPropositionalParser.ImplContext impl()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

equiv

public final LogicNGPropositionalParser.EquivContext equiv()
                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException