- add(String, String) - Method in class jtabwb.launcher.ProblemDescription
-
Add to the problem description a formula with the specified role.
- add(ModalFormula) - Method in interface jtabwbx.modal.basic._ModalFormulaSet
-
Add the specified formula to this set and returns true
if this
set did not already contain the specified formula.
- add(ModalFormula) - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- add(Formula) - Method in interface jtabwbx.prop.formula._FormulaSet
-
Add the specified formula to this set and returns true
if this
set did not already contain the specified formula.
- add(Formula) - Method in class jtabwbx.prop.formula.BitSetOfFormulas
-
- add(Formula) - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
-
- addAll(_ModalFormulaSet) - Method in interface jtabwbx.modal.basic._ModalFormulaSet
-
- addAll(_ModalFormulaSet) - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- addAll(BitSetOfModalFormulas) - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- addAll(_FormulaSet) - Method in interface jtabwbx.prop.formula._FormulaSet
-
Add all the formulas in the specified set to this formula set.
- addAll(_FormulaSet) - Method in class jtabwbx.prop.formula.BitSetOfFormulas
-
- addAll(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.BitSetOfFormulas
-
- addAll(_FormulaSet) - Method in class jtabwbx.prop.formula.FormulaSetOnHashSet
-
- addAll(_FormulaSet) - Method in class jtabwbx.prop.formula.FormulaSetOnList
-
- addAxiom(String) - Method in class jtabwbx.problems.ILTPProblem
-
- addConjecture(String) - Method in class jtabwbx.problems.ILTPProblem
-
- addConjecture(String) - Method in class jtabwbx.problems.JTabWbSimpleProblem
-
- addConjecture(String) - Method in class jtabwbx.problems.PlainProblemDescription
-
- addLeft(Formula) - Method in interface jtabwbx.prop.formula._Sequent
-
Add the specified formula to the left hand side of this sequent.
- addLeft(Collection<Formula>) - Method in interface jtabwbx.prop.formula._Sequent
-
- addLeft(Formula) - Method in interface jtabwbx.prop.formula._SingleSuccedentSequent
-
Add the specified formula to the left hand side of this sequent.
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SequentOnArray
-
- addLeft(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnArray
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- addLeft(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- addLeft(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.SequentOnBSF
-
Add all the formulas in the specified formula bitset to the left-hand side
of this sequent.
- addLeft(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- addLeft(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- addLeft(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SequentOnLists
-
- addLeft(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnLists
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
- addLeft(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnLists
-
- addRight(Formula) - Method in interface jtabwbx.prop.formula._Sequent
-
This method add the specified formula in the right hand side of this
sequent.
- addRight(Collection<Formula>) - Method in interface jtabwbx.prop.formula._Sequent
-
- addRight(Formula) - Method in interface jtabwbx.prop.formula._SingleSuccedentSequent
-
This method add the specified formula in the right hand side of this
sequent.
- addRight(Formula) - Method in class jtabwbx.prop.formula.SequentOnArray
-
- addRight(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnArray
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- addRight(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- addRight(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.SequentOnBSF
-
Add all the formulas in the specified formula bitset to the right-hand side
of this sequent.
- addRight(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- addRight(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- addRight(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SequentOnLists
-
- addRight(Collection<Formula>) - Method in class jtabwbx.prop.formula.SequentOnLists
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnArray
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBitSet
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
- addRight(Formula) - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnLists
-
- addSuccessor(CTreeNode) - Method in class jtabwb.tracesupport.CTreeNode
-
- and(BitSetOfModalFormulas) - Method in class jtabwbx.modal.formula.BitSetOfModalFormulas
-
- AND - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- AND - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- and(BitSetOfFormulas) - Method in class jtabwbx.prop.formula.BitSetOfFormulas
-
- AND - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- AND - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- AndContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.AndContext
-
- AndContext(FormulaParser.WffContext) - Constructor for class jtabwbx.prop.parser.FormulaParser.AndContext
-
- applyIntuitionisticPartialSubstitution(Substitution) - Method in class jtabwbx.prop.formula.Formula
-
Returns the formula obtained by applying the specified substitution as
intuitionistic partial substitution.
- applyIntuitionisticPartialSubstitution(Substitution) - Method in class jtabwbx.prop.formula.FormulaProposition
-
- applySubstitution(PropositionalSubstitution) - Method in class jtabwbx.prop.formula.Formula
-
Returns the formula obtained by applying the specified substitution on
propositional formulas.
- applySubstitution(Substitution) - Method in class jtabwbx.prop.formula.Formula
-
Returns the formula obtained by applying the specified substitution.
- applySubstitution(PropositionalSubstitution) - Method in class jtabwbx.prop.formula.FormulaProposition
-
- applySubstitution(Substitution) - Method in class jtabwbx.prop.formula.FormulaProposition
-
- ARGUMENT_CANNOT_BE_NULL - Static variable in exception jtabwb.util.ImplementationError
-
- arity() - Method in enum jtabwbx.modal.basic.ModalConnective
-
- arity() - Method in enum jtabwbx.prop.basic.PropositionalConnective
-