Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Class and Description |
---|---|
class |
SequentOnArray
Implementation of the
_Sequent interface using an array of integers
to represents the sequent. |
class |
SequentOnBitSet
Implementation of the
_Sequent interface using an array of integers
to represents the sequent. |
class |
SequentOnBSF
Implementation of the
_Sequent interface using
BitSetOfFormulas to represent the left-hand and the right-hand sides. |
class |
SequentOnBSFWithFormulasByType
Implementation of the
_Sequent interface using
BitSetOfFormulas to represent the left-hand and the right-hand sides. |
class |
SequentOnLists
Implementation of the
_Sequent interface using lists to store left
and right formulas. |
Modifier and Type | Method and Description |
---|---|
_Sequent |
_Sequent.clone()
Returns a fresh copy of this sequent.
|