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

I

ID - Static variable in class jtabwbx.modal.parser.ModalWffLexer
 
ID - Static variable in class jtabwbx.modal.parser.ModalWffParser
 
ID() - Method in class jtabwbx.modal.parser.ModalWffParser.PropContext
 
ID - Static variable in class jtabwbx.prop.parser.FormulaLexer
 
ID - Static variable in class jtabwbx.prop.parser.FormulaParser
 
ID() - Method in class jtabwbx.prop.parser.FormulaParser.PropContext
 
ILTPProblem - Class in jtabwbx.problems
An object of this class describes a problem of the ILTP-library.
ILTPProblemParserError - Exception in jtabwbx.problems
 
ILTPProblemParserError() - Constructor for exception jtabwbx.problems.ILTPProblemParserError
 
ILTPProblemParserError(String, Throwable, boolean, boolean) - Constructor for exception jtabwbx.problems.ILTPProblemParserError
 
ILTPProblemParserError(String, Throwable) - Constructor for exception jtabwbx.problems.ILTPProblemParserError
 
ILTPProblemParserError(String) - Constructor for exception jtabwbx.problems.ILTPProblemParserError
 
ILTPProblemParserError(Throwable) - Constructor for exception jtabwbx.problems.ILTPProblemParserError
 
ILTPProblemReader - Class in jtabwbx.problems
Problem reader for ILTP-library problems.
ILTPProblemReader() - Constructor for class jtabwbx.problems.ILTPProblemReader
Builds an instance of this problem description reader.
immediateSubformulas() - Method in interface jtabwbx.modal.basic._ModalFormula
The immediate subformulas of this formula.
immediateSubformulas() - Method in class jtabwbx.modal.btformula.BTModalFormula
 
immediateSubformulas() - Method in class jtabwbx.modal.btformula.BTModalFormulaCompound
 
immediateSubformulas() - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
 
immediateSubformulas() - Method in class jtabwbx.modal.formula.ModalFormula
The subformulas of this formula.
immediateSubformulas() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
 
immediateSubformulas() - Method in interface jtabwbx.prop.basic._PropositionalFormula
The immediate subformulas of this formula.
immediateSubformulas() - Method in class jtabwbx.prop.btformula.BTFormula
 
immediateSubformulas() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
 
immediateSubformulas() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
 
immediateSubformulas() - Method in class jtabwbx.prop.formula.Formula
The subformulas of this formula.
immediateSubformulas() - Method in class jtabwbx.prop.formula.FormulaProposition
 
IMP - Static variable in class jtabwbx.modal.parser.ModalWffLexer
 
IMP - Static variable in class jtabwbx.modal.parser.ModalWffParser
 
IMP - Static variable in class jtabwbx.prop.parser.FormulaLexer
 
IMP - Static variable in class jtabwbx.prop.parser.FormulaParser
 
ImpContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.ImpContext
 
ImpContext(FormulaParser.WffContext) - Constructor for class jtabwbx.prop.parser.FormulaParser.ImpContext
 
ImplementationError - Exception in jtabwb.util
 
ImplementationError() - Constructor for exception jtabwb.util.ImplementationError
 
ImplementationError(String, Throwable) - Constructor for exception jtabwb.util.ImplementationError
 
ImplementationError(String) - Constructor for exception jtabwb.util.ImplementationError
 
ImplementationError(Throwable) - Constructor for exception jtabwb.util.ImplementationError
 
incompatibleOptions() - Method in exception jtabwb.util.IncompatibleOptionsException
Returns the comma separated list of incompatible options.
IncompatibleOptionsException - Exception in jtabwb.util
An exception to signal that incompatible options has been set in the option manager.
IncompatibleOptionsException(_RTOption[]) - Constructor for exception jtabwb.util.IncompatibleOptionsException
 
InitialGoalBuilderException - Exception in jtabwb.launcher
Signals a problem during the execution of the method.
InitialGoalBuilderException() - Constructor for exception jtabwb.launcher.InitialGoalBuilderException
Constructs an exception with null as message string.
InitialGoalBuilderException(String) - Constructor for exception jtabwb.launcher.InitialGoalBuilderException
Constructs an exception with the specified message string.
intuitionisticNonLocalFormulas() - Method in class jtabwbx.prop.formula.FormulaFactory
Returns the bitset containing the intuitionistic NON local formulas in this factory.
isAtomic() - Method in interface jtabwbx.modal.basic._ModalFormula
Returns true iff this formula is atomic.
isAtomic() - Method in class jtabwbx.modal.btformula.BTModalFormula
 
isAtomic() - Method in class jtabwbx.modal.btformula.BTModalFormulaCompound
 
isAtomic() - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
 
isAtomic() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
 
isAtomic() - Method in interface jtabwbx.prop.basic._PropositionalFormula
Returns true iff this formula is atomic.
isAtomic() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
 
isAtomic() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
 
isAtomic() - Method in class jtabwbx.prop.formula.FormulaProposition
 
isCommutative() - Method in enum jtabwbx.modal.basic.ModalConnective
 
isCommutative() - Method in enum jtabwbx.prop.basic.PropositionalConnective
 
isCompound() - Method in interface jtabwbx.modal.basic._ModalFormula
Returns true iff this formula is compound.
isCompound() - Method in class jtabwbx.modal.btformula.BTModalFormula
 
isCompound() - Method in class jtabwbx.modal.btformula.BTModalFormulaCompound
 
isCompound() - Method in class jtabwbx.modal.btformula.BTModalFormulaProposition
 
isCompound() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
 
isCompound() - Method in interface jtabwbx.prop.basic._PropositionalFormula
Returns true iff this formula is compound.
isCompound() - Method in class jtabwbx.prop.btformula.BTFormulaCompound
 
isCompound() - Method in class jtabwbx.prop.btformula.BTFormulaProposition
 
isCompound() - Method in class jtabwbx.prop.formula.FormulaProposition
 
isContained(SingleSuccedentSequentOnBitSet) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
Returns true if this sequent is contained in the other.
isEmpty() - Method in class jtabwb.tracesupport.CollectionOfArrayOfNCTrees
 
isEmpty() - Method in interface jtabwbx.modal.basic._ModalFormulaSet
 
isEmpty() - Method in interface jtabwbx.prop.formula._FormulaSet
Returns true if and only if this set is empty.
isEmpty() - Method in interface jtabwbx.prop.formula._Sequent
Returns true iff this sequent is empty.
isEmpty() - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
 
isEmpty() - Method in class jtabwbx.prop.formula.SequentOnArray
 
isEmpty() - Method in class jtabwbx.prop.formula.SequentOnBitSet
 
isEmpty() - Method in class jtabwbx.prop.formula.SequentOnBSF
 
isEmpty() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
 
isEmpty() - Method in class jtabwbx.prop.formula.SequentOnLists
 
isFalse() - Method in class jtabwbx.modal.formula.ModalFormula
Returns true iff this formula is the propositional constant FALSE.
isFalse() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
Returns true iff this propositional formula represents FALSE.
isFalse() - Method in class jtabwbx.prop.formula.Formula
Returns true iff this formula is the propositional constant FALSE.
isFalse() - Method in class jtabwbx.prop.formula.FormulaProposition
Returns true iff this propositional formula represents FALSE.
isIdentityAxiom() - Method in interface jtabwbx.prop.formula._Sequent
Returns true iff this is an identity axiom, that is a sequent of the kind S,H ==> H.
isIdentityAxiom() - Method in interface jtabwbx.prop.formula._SingleSuccedentSequent
Returns true iff this is an identity axiom, that is a sequent of the kind S,H ==> H.
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SequentOnArray
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SequentOnBitSet
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SequentOnBSF
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SequentOnLists
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
 
isIdentityAxiom() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnLists
 
isIntuitionisticLocalFormula() - Method in class jtabwbx.prop.formula.Formula
TODO: doc Returns true iff this is a local formula.
isIntuitionisticLocalFormula() - Method in class jtabwbx.prop.formula.FormulaProposition
 
isLeftSideEmpty() - Method in interface jtabwbx.prop.formula._Sequent
Returns true iff the left-hand side of this sequent is empty.
isLeftSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnArray
 
isLeftSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnBitSet
 
isLeftSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnBSF
 
isLeftSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
 
isLeftSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnLists
 
isPruned() - Method in class jtabwb.engine.Trace
Returns true iff this trace has already been pruned.
isRightSideEmpty() - Method in interface jtabwbx.prop.formula._Sequent
Returns true iff the right-hand side of this sequent is empty.
isRightSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnArray
 
isRightSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnBitSet
 
isRightSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnBSF
 
isRightSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
 
isRightSideEmpty() - Method in class jtabwbx.prop.formula.SequentOnLists
 
isTraceExecutionMode() - Method in class jtabwb.launcher.Launcher.LaunchConfiguration
Returns true if trace execution mode is set.
isTrue() - Method in class jtabwbx.modal.formula.ModalFormula
Returns true iff this is the propositional constant TRUE.
isTrue() - Method in class jtabwbx.modal.formula.ModalFormulaProposition
Returns true iff this propositional formula represents TRUE.
isTrue() - Method in class jtabwbx.prop.formula.Formula
Returns true iff this is the propositional constant TRUE.
isTrue() - Method in class jtabwbx.prop.formula.FormulaProposition
Returns true iff this propositional formula represents TRUE.
IterationInfo - Class in jtabwb.engine
A bunch of data describing the last iteration performed by the engine.
IterationInfo.Move - Enum in jtabwb.engine
The possible moves performed by the engine.
iterator() - Method in class jtabwb.engine.Trace
Returns the iterator containing the nodes of the proof-search tree as visited by a depth-first order traversal.
iterator() - Method in class jtabwb.tracesupport.CollectionOfArrayOfNCTrees
 
iterator() - Method in interface jtabwbx.modal.basic._ModalFormulaSet
 
iterator() - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
 
iterator() - Method in interface jtabwbx.prop.formula._FormulaSet
Returns an iterator over the formulas in this set.
iterator() - Method in class jtabwbx.prop.formula.BitSetOfFormulas
 
iterator() - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links