Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Class and Description |
---|---|
class |
SingleSuccedentSequentOnArray
Implementation of the
_SingleSuccedentSequent interface using an
array of integers to represents the sequent. |
class |
SingleSuccedentSequentOnBitSet
|
class |
SingleSuccedentSequentOnBSF
Implementation of the
_Sequent interface on Formula using a
BitSetOfFormulas to represent the left-hand side. |
class |
SingleSuccedentSequentOnLists
Implementation of the
_SingleSuccedentSequent interface using lists
to store left formulas. |
Modifier and Type | Method and Description |
---|---|
_SingleSuccedentSequent |
_SingleSuccedentSequent.clone()
Returns a fresh copy of this sequent.
|