A B C D E F G I L M N O P R S T V W _
All Classes All Packages

A

a - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

a - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

a - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

a - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

a - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

a - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

a - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

a - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

a - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

a - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

add() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

add() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

ADD - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

ADD - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

ADD - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

ADD() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

ADD(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

AddContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

AND - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

AND - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

AND - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

AND - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

AND() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

AND() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

AND(int) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

AND(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

B

b - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

b - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

b - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

b - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

b - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

b - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

b - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

b - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

C

c - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

channelNames - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

channelNames - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

coeffs - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

comparison - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

comparison() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

comparison() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

ComparisonContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

conj() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

conj() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

conj() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

conj() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

conj(int) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

conj(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

ConjContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

ConjContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

constant - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

constant - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

constant() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

constant() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

constant() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

constant() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

ConstantContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

ConstantContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

D

disj() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

disj() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

disj() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

disj() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

DisjContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

DisjContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

E

e - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

enterAdd(LogicNGPseudoBooleanParser.AddContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.add().

enterAdd(LogicNGPseudoBooleanParser.AddContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.add().

enterComparison(LogicNGPseudoBooleanParser.ComparisonContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.comparison().

enterComparison(LogicNGPseudoBooleanParser.ComparisonContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.comparison().

enterConj(LogicNGPropositionalParser.ConjContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.conj().

enterConj(LogicNGPropositionalParser.ConjContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.conj().

enterConj(LogicNGPseudoBooleanParser.ConjContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.conj().

enterConj(LogicNGPseudoBooleanParser.ConjContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.conj().

enterConstant(LogicNGPropositionalParser.ConstantContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.constant().

enterConstant(LogicNGPropositionalParser.ConstantContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.constant().

enterConstant(LogicNGPseudoBooleanParser.ConstantContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.constant().

enterConstant(LogicNGPseudoBooleanParser.ConstantContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.constant().

enterDisj(LogicNGPropositionalParser.DisjContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.disj().

enterDisj(LogicNGPropositionalParser.DisjContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.disj().

enterDisj(LogicNGPseudoBooleanParser.DisjContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.disj().

enterDisj(LogicNGPseudoBooleanParser.DisjContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.disj().

enterEquiv(LogicNGPropositionalParser.EquivContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.equiv().

enterEquiv(LogicNGPropositionalParser.EquivContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.equiv().

enterEquiv(LogicNGPseudoBooleanParser.EquivContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.equiv().

enterEquiv(LogicNGPseudoBooleanParser.EquivContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.equiv().

enterEveryRule(ParserRuleContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

enterEveryRule(ParserRuleContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

enterFormula(LogicNGPropositionalParser.FormulaContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.formula().

enterFormula(LogicNGPropositionalParser.FormulaContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.formula().

enterFormula(LogicNGPseudoBooleanParser.FormulaContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.formula().

enterFormula(LogicNGPseudoBooleanParser.FormulaContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.formula().

enterImpl(LogicNGPropositionalParser.ImplContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.impl().

enterImpl(LogicNGPropositionalParser.ImplContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.impl().

enterImpl(LogicNGPseudoBooleanParser.ImplContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.impl().

enterImpl(LogicNGPseudoBooleanParser.ImplContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.impl().

enterLit(LogicNGPropositionalParser.LitContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.lit().

enterLit(LogicNGPropositionalParser.LitContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.lit().

enterLit(LogicNGPseudoBooleanParser.LitContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.lit().

enterLit(LogicNGPseudoBooleanParser.LitContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.lit().

enterMul(LogicNGPseudoBooleanParser.MulContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.mul().

enterMul(LogicNGPseudoBooleanParser.MulContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.mul().

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

enterRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

enterSimp(LogicNGPropositionalParser.SimpContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Enter a parse tree produced by LogicNGPropositionalParser.simp().

enterSimp(LogicNGPropositionalParser.SimpContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Enter a parse tree produced by LogicNGPropositionalParser.simp().

enterSimp(LogicNGPseudoBooleanParser.SimpContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.simp().

enterSimp(LogicNGPseudoBooleanParser.SimpContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Enter a parse tree produced by LogicNGPseudoBooleanParser.simp().

EOF() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

EOF() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

EQ - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

EQ - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

EQ() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

equiv - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

equiv - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

equiv - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

equiv - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

equiv() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

equiv() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

equiv() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

equiv() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

equiv() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

equiv() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

equiv() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

equiv() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

EQUIV - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

EQUIV - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

EQUIV - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

EQUIV - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

EQUIV() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

EQUIV() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

EquivContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

EquivContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

exitAdd(LogicNGPseudoBooleanParser.AddContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.add().

exitAdd(LogicNGPseudoBooleanParser.AddContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.add().

exitComparison(LogicNGPseudoBooleanParser.ComparisonContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.comparison().

exitComparison(LogicNGPseudoBooleanParser.ComparisonContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.comparison().

exitConj(LogicNGPropositionalParser.ConjContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.conj().

exitConj(LogicNGPropositionalParser.ConjContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.conj().

exitConj(LogicNGPseudoBooleanParser.ConjContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.conj().

exitConj(LogicNGPseudoBooleanParser.ConjContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.conj().

exitConstant(LogicNGPropositionalParser.ConstantContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.constant().

exitConstant(LogicNGPropositionalParser.ConstantContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.constant().

exitConstant(LogicNGPseudoBooleanParser.ConstantContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.constant().

exitConstant(LogicNGPseudoBooleanParser.ConstantContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.constant().

exitDisj(LogicNGPropositionalParser.DisjContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.disj().

exitDisj(LogicNGPropositionalParser.DisjContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.disj().

exitDisj(LogicNGPseudoBooleanParser.DisjContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.disj().

exitDisj(LogicNGPseudoBooleanParser.DisjContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.disj().

exitEquiv(LogicNGPropositionalParser.EquivContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.equiv().

exitEquiv(LogicNGPropositionalParser.EquivContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.equiv().

exitEquiv(LogicNGPseudoBooleanParser.EquivContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.equiv().

exitEquiv(LogicNGPseudoBooleanParser.EquivContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.equiv().

exitEveryRule(ParserRuleContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

exitEveryRule(ParserRuleContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

exitFormula(LogicNGPropositionalParser.FormulaContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.formula().

exitFormula(LogicNGPropositionalParser.FormulaContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.formula().

exitFormula(LogicNGPseudoBooleanParser.FormulaContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.formula().

exitFormula(LogicNGPseudoBooleanParser.FormulaContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.formula().

exitImpl(LogicNGPropositionalParser.ImplContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.impl().

exitImpl(LogicNGPropositionalParser.ImplContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.impl().

exitImpl(LogicNGPseudoBooleanParser.ImplContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.impl().

exitImpl(LogicNGPseudoBooleanParser.ImplContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.impl().

exitLit(LogicNGPropositionalParser.LitContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.lit().

exitLit(LogicNGPropositionalParser.LitContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.lit().

exitLit(LogicNGPseudoBooleanParser.LitContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.lit().

exitLit(LogicNGPseudoBooleanParser.LitContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.lit().

exitMul(LogicNGPseudoBooleanParser.MulContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.mul().

exitMul(LogicNGPseudoBooleanParser.MulContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.mul().

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

exitRule(ParseTreeListener) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

exitSimp(LogicNGPropositionalParser.SimpContext) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

Exit a parse tree produced by LogicNGPropositionalParser.simp().

exitSimp(LogicNGPropositionalParser.SimpContext) - Method in interface org.logicng.io.parsers.LogicNGPropositionalListener

Exit a parse tree produced by LogicNGPropositionalParser.simp().

exitSimp(LogicNGPseudoBooleanParser.SimpContext) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.simp().

exitSimp(LogicNGPseudoBooleanParser.SimpContext) - Method in interface org.logicng.io.parsers.LogicNGPseudoBooleanListener

Exit a parse tree produced by LogicNGPseudoBooleanParser.simp().

F

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

f - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

f - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

f - Variable in class org.logicng.io.parsers.ParserWithFormula

factory() - Method in class org.logicng.io.parsers.FormulaParser

Returns the factory of this parser.

FALSE - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

FALSE - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

FALSE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

FALSE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

FALSE() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

FALSE() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

formula() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

formula() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

FormulaContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

FormulaContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

FormulaParser - Class in org.logicng.io.parsers

Super class for a formula parser.

FormulaParser(FormulaFactory) - Constructor for class org.logicng.io.parsers.FormulaParser

Constructor.

FormulaReader - Class in org.logicng.io.parsers.readers

A reader for formulas.

G

GE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

GE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

GE() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

getATN() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getATN() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

getATN() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getATN() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

getChannelNames() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getChannelNames() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getGrammarFileName() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getGrammarFileName() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

getGrammarFileName() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getGrammarFileName() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

getModeNames() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getModeNames() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getParsedFormula() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

getParsedFormula() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

getParsedFormula() - Method in class org.logicng.io.parsers.ParserWithFormula

Returns the parsed formula.

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.FormulaContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.FormulaContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

getRuleIndex() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

getRuleNames() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getRuleNames() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

getRuleNames() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getRuleNames() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

getSerializedATN() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getSerializedATN() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

getSerializedATN() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getSerializedATN() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

getTokenNames() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

Deprecated.

getTokenNames() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

Deprecated.

getTokenNames() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

Deprecated.

getTokenNames() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

Deprecated.

getVocabulary() - Method in class org.logicng.io.parsers.LogicNGPropositionalLexer

getVocabulary() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

getVocabulary() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

getVocabulary() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

GT - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

GT - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

GT() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

I

impl() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.EquivContext

impl() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

impl() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

impl() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.EquivContext

impl() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

impl() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

IMPL - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

IMPL - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

IMPL - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

IMPL - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

IMPL() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

IMPL() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

ImplContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.ImplContext

ImplContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ImplContext

L

l - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

LBR - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

LBR - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

LBR - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

LBR - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

LBR() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

LBR() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

LE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

LE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

LE() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

LexerException - Exception in org.logicng.io.parsers

A lexer exception for the lexers.

LexerException(String) - Constructor for exception org.logicng.io.parsers.LexerException

Constructs a new lexer exception with a given message.

lit() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

lit() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

lit() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

lit() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

lit() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

lit() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

lit(int) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConjContext

lit(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConjContext

LitContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

LitContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

LITERAL - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

LITERAL - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

LITERAL - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

LITERAL - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

LITERAL() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

LITERAL() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

literals - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

LogicNGPropositionalBaseListener - Class in org.logicng.io.parsers

This class provides an empty implementation of LogicNGPropositionalListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

LogicNGPropositionalBaseListener() - Constructor for class org.logicng.io.parsers.LogicNGPropositionalBaseListener

LogicNGPropositionalLexer - Class in org.logicng.io.parsers

LogicNGPropositionalLexer(CharStream) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalLexer

LogicNGPropositionalListener - Interface in org.logicng.io.parsers

This interface defines a complete listener for a parse tree produced by LogicNGPropositionalParser.

LogicNGPropositionalParser - Class in org.logicng.io.parsers

LogicNGPropositionalParser(TokenStream) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser

LogicNGPropositionalParser.ConjContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.ConstantContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.DisjContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.EquivContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.FormulaContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.ImplContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.LitContext - Class in org.logicng.io.parsers

LogicNGPropositionalParser.SimpContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanBaseListener - Class in org.logicng.io.parsers

This class provides an empty implementation of LogicNGPseudoBooleanListener, which can be extended to create a listener which only needs to handle a subset of the available methods.

LogicNGPseudoBooleanBaseListener() - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

LogicNGPseudoBooleanLexer - Class in org.logicng.io.parsers

LogicNGPseudoBooleanLexer(CharStream) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

LogicNGPseudoBooleanListener - Interface in org.logicng.io.parsers

This interface defines a complete listener for a parse tree produced by LogicNGPseudoBooleanParser.

LogicNGPseudoBooleanParser - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser(TokenStream) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser

LogicNGPseudoBooleanParser.AddContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.ComparisonContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.ConjContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.ConstantContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.DisjContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.EquivContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.FormulaContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.ImplContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.LitContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.MulContext - Class in org.logicng.io.parsers

LogicNGPseudoBooleanParser.SimpContext - Class in org.logicng.io.parsers

lt - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

LT - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

LT - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

LT() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

M

m1 - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

m2 - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

modeNames - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

modeNames - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

mul() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

mul() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

mul(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.AddContext

MUL - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

MUL - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

MUL() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

MulContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

N

n - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

NOT - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

NOT - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

NOT - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

NOT - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

NOT() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

NOT() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

num - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

NUMBER - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

NUMBER - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

NUMBER - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

NUMBER - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

NUMBER() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ComparisonContext

NUMBER() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

NUMBER() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

NUMBER(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.MulContext

O

OR - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

OR - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

OR - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

OR - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

OR() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

OR() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

OR(int) - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.DisjContext

OR(int) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.DisjContext

org.logicng.io.parsers - package org.logicng.io.parsers

org.logicng.io.parsers.readers - package org.logicng.io.parsers.readers

org.logicng.parsers - module org.logicng.parsers

P

parse(InputStream) - Method in class org.logicng.io.parsers.FormulaParser

Parses and returns a given input stream.

parse(String) - Method in class org.logicng.io.parsers.FormulaParser

Parses and returns a given string.

ParserException - Exception in org.logicng.io.parsers

A parser exception for the LogicNG parsers.

ParserException(String, Exception) - Constructor for exception org.logicng.io.parsers.ParserException

Constructs a new parser exception with a given message and inner exception.

ParserWithFormula - Class in org.logicng.io.parsers

Abstract super class for parsers which have a formula factory and return a formula.

ParserWithFormula(TokenStream) - Constructor for class org.logicng.io.parsers.ParserWithFormula

Constructor.

PropositionalLexer - Class in org.logicng.io.parsers

A lexer for propositional formulas.

PropositionalLexer(CharStream) - Constructor for class org.logicng.io.parsers.PropositionalLexer

Constructs a new LogicNG lexer.

PropositionalParser - Class in org.logicng.io.parsers

A parser for propositional formulas.

PropositionalParser(FormulaFactory) - Constructor for class org.logicng.io.parsers.PropositionalParser

Constructs a new parser.

PseudoBooleanLexer - Class in org.logicng.io.parsers

A lexer for pseudo boolean formulas.

PseudoBooleanLexer(CharStream) - Constructor for class org.logicng.io.parsers.PseudoBooleanLexer

Constructs a new pseudo boolean lexer.

PseudoBooleanParser - Class in org.logicng.io.parsers

A parser for pseudo Boolean formulas.

PseudoBooleanParser(FormulaFactory) - Constructor for class org.logicng.io.parsers.PseudoBooleanParser

Constructs a new parser for pseudo boolean formulas.

R

RBR - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

RBR - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RBR - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

RBR - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RBR() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

RBR() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

readPropositionalFormula(File, FormulaFactory) - Static method in class org.logicng.io.parsers.readers.FormulaReader

Reads a given file and returns the contained propositional formula.

readPropositionalFormula(String, FormulaFactory) - Static method in class org.logicng.io.parsers.readers.FormulaReader

Reads a given file and returns the contained propositional formula.

readPseudoBooleanFormula(File, FormulaFactory) - Static method in class org.logicng.io.parsers.readers.FormulaReader

Reads a given file and returns the contained pseudo-Boolean formula.

readPseudoBooleanFormula(String, FormulaFactory) - Static method in class org.logicng.io.parsers.readers.FormulaReader

Reads a given file and returns the contained pseudo-Boolean formula.

recover(LexerNoViableAltException) - Method in class org.logicng.io.parsers.PropositionalLexer

recover(LexerNoViableAltException) - Method in class org.logicng.io.parsers.PseudoBooleanLexer

RULE_add - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_comparison - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_conj - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_conj - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_constant - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_constant - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_disj - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_disj - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_equiv - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_equiv - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_formula - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_formula - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_impl - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_impl - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_lit - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_lit - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_mul - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

RULE_simp - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

RULE_simp - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

ruleNames - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

ruleNames - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

ruleNames - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

ruleNames - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

S

setFormulaFactory(FormulaFactory) - Method in class org.logicng.io.parsers.ParserWithFormula

Sets the LogicNG formula factory for this parser

setLexerAndParser(Lexer, ParserWithFormula) - Method in class org.logicng.io.parsers.FormulaParser

Sets the internal lexer and the parser.

simp - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

simp - Variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

simp() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.LitContext

simp() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser

simp() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.LitContext

simp() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

SimpContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

SimpContext(ParserRuleContext, int) - Constructor for class org.logicng.io.parsers.LogicNGPseudoBooleanParser.SimpContext

T

tokenNames - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

Deprecated.

Use LogicNGPropositionalLexer.VOCABULARY instead.

tokenNames - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

Deprecated.

Use LogicNGPropositionalParser.VOCABULARY instead.

tokenNames - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

Deprecated.

Use LogicNGPseudoBooleanLexer.VOCABULARY instead.

tokenNames - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

Deprecated.

Use LogicNGPseudoBooleanParser.VOCABULARY instead.

toString() - Method in class org.logicng.io.parsers.FormulaParser

toString() - Method in class org.logicng.io.parsers.PropositionalLexer

toString() - Method in class org.logicng.io.parsers.PseudoBooleanLexer

TRUE - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

TRUE - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

TRUE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

TRUE - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

TRUE() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.ConstantContext

TRUE() - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanParser.ConstantContext

V

VARIABLE - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

VARIABLE - Variable in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

VARIABLE - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

VARIABLE() - Method in class org.logicng.io.parsers.LogicNGPropositionalParser.SimpContext

visitErrorNode(ErrorNode) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

visitErrorNode(ErrorNode) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

visitTerminal(TerminalNode) - Method in class org.logicng.io.parsers.LogicNGPropositionalBaseListener

visitTerminal(TerminalNode) - Method in class org.logicng.io.parsers.LogicNGPseudoBooleanBaseListener

VOCABULARY - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

VOCABULARY - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

VOCABULARY - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

VOCABULARY - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

W

WS - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

WS - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

WS - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

WS - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

_

_ATN - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

_ATN - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

_ATN - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

_ATN - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

_decisionToDFA - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

_decisionToDFA - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

_decisionToDFA - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

_decisionToDFA - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

_serializedATN - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

_serializedATN - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

_serializedATN - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

_serializedATN - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

_sharedContextCache - Static variable in class org.logicng.io.parsers.LogicNGPropositionalLexer

_sharedContextCache - Static variable in class org.logicng.io.parsers.LogicNGPropositionalParser

_sharedContextCache - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanLexer

_sharedContextCache - Static variable in class org.logicng.io.parsers.LogicNGPseudoBooleanParser

A B C D E F G I L M N O P R S T V W _
All Classes All Packages