Skip navigation links
A B C D E F G H I J L M N O P R S T V W _ 

E

Engine - Class in jtabwb.engine
The engine performs a depth-first search of a derivation tree.
Engine(_Prover, _AbstractGoal, Engine.ExecutionMode) - Constructor for class jtabwb.engine.Engine
Builds an instance of the engine act that allows to search for a proof of the goal specified as argument (initial goal) using the specified prover.
Engine(_Prover, _AbstractGoal) - Constructor for class jtabwb.engine.Engine
Builds an instance of the engine act that allows to search for a proof of the goal specified as argument (initial goal) using the specified prover.
Engine.ExecutionMode - Enum in jtabwb.engine
Engine execution mode flags.
EngineException - Exception in jtabwb.engine
An error occurring during an engine execution.
EngineException() - Constructor for exception jtabwb.engine.EngineException
 
EngineException(String, Throwable) - Constructor for exception jtabwb.engine.EngineException
 
EngineException(String) - Constructor for exception jtabwb.engine.EngineException
 
EngineException(Throwable) - Constructor for exception jtabwb.engine.EngineException
 
enterAnd(ModalWffParser.AndContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the And labeled alternative in ModalWffParser.wff().
enterAnd(ModalWffParser.AndContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the And labeled alternative in ModalWffParser.wff().
enterAnd(FormulaParser.AndContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the And labeled alternative in FormulaParser.wff().
enterAnd(FormulaParser.AndContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the And labeled alternative in FormulaParser.wff().
enterBox(ModalWffParser.BoxContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
enterBox(ModalWffParser.BoxContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
enterDia(ModalWffParser.DiaContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
enterDia(ModalWffParser.DiaContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
enterEq(ModalWffParser.EqContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Eq labeled alternative in ModalWffParser.wff().
enterEq(ModalWffParser.EqContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Eq labeled alternative in ModalWffParser.wff().
enterEq(FormulaParser.EqContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the Eq labeled alternative in FormulaParser.wff().
enterEq(FormulaParser.EqContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the Eq labeled alternative in FormulaParser.wff().
enterEveryRule(ParserRuleContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
enterEveryRule(ParserRuleContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
enterFormula(FormulaParser.FormulaContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by FormulaParser.formula().
enterFormula(FormulaParser.FormulaContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by FormulaParser.formula().
enterImp(ModalWffParser.ImpContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Imp labeled alternative in ModalWffParser.wff().
enterImp(ModalWffParser.ImpContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Imp labeled alternative in ModalWffParser.wff().
enterImp(FormulaParser.ImpContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
enterImp(FormulaParser.ImpContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
enterModalFormula(ModalWffParser.ModalFormulaContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by ModalWffParser.modalFormula().
enterModalFormula(ModalWffParser.ModalFormulaContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by ModalWffParser.modalFormula().
enterNeg(ModalWffParser.NegContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Neg labeled alternative in ModalWffParser.wff().
enterNeg(ModalWffParser.NegContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Neg labeled alternative in ModalWffParser.wff().
enterNeg(FormulaParser.NegContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
enterNeg(FormulaParser.NegContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
enterOr(ModalWffParser.OrContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
enterOr(ModalWffParser.OrContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
enterOr(FormulaParser.OrContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the Or labeled alternative in FormulaParser.wff().
enterOr(FormulaParser.OrContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the Or labeled alternative in FormulaParser.wff().
enterPar(ModalWffParser.ParContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Par labeled alternative in ModalWffParser.wff().
enterPar(ModalWffParser.ParContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Par labeled alternative in ModalWffParser.wff().
enterPar(FormulaParser.ParContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the Par labeled alternative in FormulaParser.wff().
enterPar(FormulaParser.ParContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the Par labeled alternative in FormulaParser.wff().
enterProp(ModalWffParser.PropContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Enter a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
enterProp(ModalWffParser.PropContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Enter a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
enterProp(FormulaParser.PropContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Enter a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
enterProp(FormulaParser.PropContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Enter a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.AndContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.BoxContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.DiaContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.EqContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.ImpContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.ModalFormulaContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.NegContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.OrContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.ParContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.PropContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.AndContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.EqContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.FormulaContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.ImpContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.NegContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.OrContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.ParContext
 
enterRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.PropContext
 
EOF() - Method in class jtabwbx.modal.parser.ModalWffParser.ModalFormulaContext
 
EOF() - Method in class jtabwbx.prop.parser.FormulaParser.FormulaContext
 
EQ - Static variable in class jtabwbx.modal.parser.ModalWffLexer
 
EQ - Static variable in class jtabwbx.modal.parser.ModalWffParser
 
EQ - Static variable in class jtabwbx.prop.parser.FormulaLexer
 
EQ - Static variable in class jtabwbx.prop.parser.FormulaParser
 
EqContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.EqContext
 
EqContext(FormulaParser.WffContext) - Constructor for class jtabwbx.prop.parser.FormulaParser.EqContext
 
equals(Object) - Method in class jtabwb.engine.ProverName
Two objects of this class are equal if their proper noun, version and variant.
equals(BTModalFormulaProposition) - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
Returns true iff this formula proposition and the one referenced by prop have the same name.
equals(Object) - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
 
equals(Object) - Method in class jtabwbx.modal.formula.ModalFormulaProposition
 
equals(Object) - Method in class jtabwbx.prop.btformula.BTFormulaCompound
 
equals(Object) - Method in class jtabwbx.prop.btformula.BTFormulaProposition
Two propositional formulas are equals if they have the same name.
equals(Object) - Method in class jtabwbx.prop.formula.Formula
 
equals(Object) - Method in class jtabwbx.prop.formula.FormulaProposition
 
equals(Object) - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
 
equals(Object) - Method in class jtabwbx.prop.formula.SequentOnLists
 
equals(Object) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
 
equals(Object) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
 
exitAnd(ModalWffParser.AndContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the And labeled alternative in ModalWffParser.wff().
exitAnd(ModalWffParser.AndContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the And labeled alternative in ModalWffParser.wff().
exitAnd(FormulaParser.AndContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the And labeled alternative in FormulaParser.wff().
exitAnd(FormulaParser.AndContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the And labeled alternative in FormulaParser.wff().
exitBox(ModalWffParser.BoxContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
exitBox(ModalWffParser.BoxContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Box labeled alternative in ModalWffParser.wff().
exitDia(ModalWffParser.DiaContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
exitDia(ModalWffParser.DiaContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Dia labeled alternative in ModalWffParser.wff().
exitEq(ModalWffParser.EqContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Eq labeled alternative in ModalWffParser.wff().
exitEq(ModalWffParser.EqContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Eq labeled alternative in ModalWffParser.wff().
exitEq(FormulaParser.EqContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the Eq labeled alternative in FormulaParser.wff().
exitEq(FormulaParser.EqContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the Eq labeled alternative in FormulaParser.wff().
exitEveryRule(ParserRuleContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
exitEveryRule(ParserRuleContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
exitFormula(FormulaParser.FormulaContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by FormulaParser.formula().
exitFormula(FormulaParser.FormulaContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by FormulaParser.formula().
exitImp(ModalWffParser.ImpContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Imp labeled alternative in ModalWffParser.wff().
exitImp(ModalWffParser.ImpContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Imp labeled alternative in ModalWffParser.wff().
exitImp(FormulaParser.ImpContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
exitImp(FormulaParser.ImpContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the Imp labeled alternative in FormulaParser.wff().
exitModalFormula(ModalWffParser.ModalFormulaContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by ModalWffParser.modalFormula().
exitModalFormula(ModalWffParser.ModalFormulaContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by ModalWffParser.modalFormula().
exitNeg(ModalWffParser.NegContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Neg labeled alternative in ModalWffParser.wff().
exitNeg(ModalWffParser.NegContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Neg labeled alternative in ModalWffParser.wff().
exitNeg(FormulaParser.NegContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
exitNeg(FormulaParser.NegContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the Neg labeled alternative in FormulaParser.wff().
exitOr(ModalWffParser.OrContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
exitOr(ModalWffParser.OrContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Or labeled alternative in ModalWffParser.wff().
exitOr(FormulaParser.OrContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the Or labeled alternative in FormulaParser.wff().
exitOr(FormulaParser.OrContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the Or labeled alternative in FormulaParser.wff().
exitPar(ModalWffParser.ParContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Par labeled alternative in ModalWffParser.wff().
exitPar(ModalWffParser.ParContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Par labeled alternative in ModalWffParser.wff().
exitPar(FormulaParser.ParContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the Par labeled alternative in FormulaParser.wff().
exitPar(FormulaParser.ParContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the Par labeled alternative in FormulaParser.wff().
exitProp(ModalWffParser.PropContext) - Method in class jtabwbx.modal.parser.ModalWffBaseListener
Exit a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
exitProp(ModalWffParser.PropContext) - Method in interface jtabwbx.modal.parser.ModalWffListener
Exit a parse tree produced by the Prop labeled alternative in ModalWffParser.wff().
exitProp(FormulaParser.PropContext) - Method in class jtabwbx.prop.parser.FormulaBaseListener
Exit a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
exitProp(FormulaParser.PropContext) - Method in interface jtabwbx.prop.parser.FormulaListener
Exit a parse tree produced by the Prop labeled alternative in FormulaParser.wff().
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.AndContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.BoxContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.DiaContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.EqContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.ImpContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.ModalFormulaContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.NegContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.OrContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.ParContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.modal.parser.ModalWffParser.PropContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.AndContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.EqContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.FormulaContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.ImpContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.NegContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.OrContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.ParContext
 
exitRule(ParseTreeListener) - Method in class jtabwbx.prop.parser.FormulaParser.PropContext
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links