Module org.logicng.parsers

Package org.logicng.io.parsers

Class LogicNGPseudoBooleanParser

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.LogicNGPseudoBooleanParser

public class LogicNGPseudoBooleanParser
extends ParserWithFormula

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LogicNGPseudoBooleanParser.AddContext
static class	LogicNGPseudoBooleanParser.ComparisonContext
static class	LogicNGPseudoBooleanParser.ConjContext
static class	LogicNGPseudoBooleanParser.ConstantContext
static class	LogicNGPseudoBooleanParser.DisjContext
static class	LogicNGPseudoBooleanParser.EquivContext
static class	LogicNGPseudoBooleanParser.FormulaContext
static class	LogicNGPseudoBooleanParser.ImplContext
static class	LogicNGPseudoBooleanParser.LitContext
static class	LogicNGPseudoBooleanParser.MulContext
static class	LogicNGPseudoBooleanParser.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	ADD
static int	AND
static int	EQ
static int	EQUIV
static int	FALSE
static int	GE
static int	GT
static int	IMPL
static int	LBR
static int	LE
static int	LITERAL
static int	LT
static int	MUL
static int	NOT
static int	NUMBER
static int	OR
static int	RBR
static int	RULE_add
static int	RULE_comparison
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_mul
static int	RULE_simp
static String[]	ruleNames
static String[]	tokenNames	Deprecated. Use VOCABULARY instead.
static int	TRUE
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
LogicNGPseudoBooleanParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method	Description
LogicNGPseudoBooleanParser.AddContext	add()
LogicNGPseudoBooleanParser.ComparisonContext	comparison()
LogicNGPseudoBooleanParser.ConjContext	conj()
LogicNGPseudoBooleanParser.ConstantContext	constant()
LogicNGPseudoBooleanParser.DisjContext	disj()
LogicNGPseudoBooleanParser.EquivContext	equiv()
LogicNGPseudoBooleanParser.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()
LogicNGPseudoBooleanParser.ImplContext	impl()
LogicNGPseudoBooleanParser.LitContext	lit()
LogicNGPseudoBooleanParser.MulContext	mul()
LogicNGPseudoBooleanParser.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

NUMBER

public static final int NUMBER

See Also:

Constant Field Values

LITERAL

public static final int LITERAL

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

MUL

public static final int MUL

See Also:

Constant Field Values

ADD

public static final int ADD

See Also:

Constant Field Values

EQ

public static final int EQ

See Also:

Constant Field Values

LE

public static final int LE

See Also:

Constant Field Values

LT

public static final int LT

See Also:

Constant Field Values

GE

public static final int GE

See Also:

Constant Field Values

GT

public static final int GT

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_comparison

public static final int RULE_comparison

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

RULE_mul

public static final int RULE_mul

See Also:

Constant Field Values

RULE_add

public static final int RULE_add

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

LogicNGPseudoBooleanParser

public LogicNGPseudoBooleanParser(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 LogicNGPseudoBooleanParser.FormulaContext formula()
                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

constant

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

Throws:

org.antlr.v4.runtime.RecognitionException

comparison

public final LogicNGPseudoBooleanParser.ComparisonContext comparison()
                                                              throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

simp

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

Throws:

org.antlr.v4.runtime.RecognitionException

lit

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

Throws:

org.antlr.v4.runtime.RecognitionException

conj

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

Throws:

org.antlr.v4.runtime.RecognitionException

disj

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

Throws:

org.antlr.v4.runtime.RecognitionException

impl

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

Throws:

org.antlr.v4.runtime.RecognitionException

equiv

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

Throws:

org.antlr.v4.runtime.RecognitionException

mul

public final LogicNGPseudoBooleanParser.MulContext mul()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

add

public final LogicNGPseudoBooleanParser.AddContext add()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException