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