jtabwbx.prop.formula
Interfaces
_FormulaSet
_Sequent
_SingleSuccedentSequent
Classes
BitSetOfFormulas
Formula
FormulaFactory
FormulaLatexFormatter
FormulaProposition
FormulaSetOnHashSet
FormulaSetOnList
PropositionalSubstitution
SequentOnArray
SequentOnBitSet
SequentOnBSF
SequentOnBSFWithFormulasByType
SequentOnLists
SingleSuccedentSequentOnArray
SingleSuccedentSequentOnBitSet
SingleSuccedentSequentOnBSF
SingleSuccedentSequentOnLists
Substitution
Exceptions
ClosedFactoryException