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

A

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
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links