Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Class and Description |
---|---|
class |
BitSetOfFormulas
Sets of formulas implemented over bitsets.
|
class |
FormulaSetOnHashSet
Set of signed formulas implemented over HashSet.
|
class |
FormulaSetOnList
Set of signed formulas implemented over LinkedList.
|
Modifier and Type | Method and Description |
---|---|
_FormulaSet |
_FormulaSet.clone()
Returns a fresh copy of this set.
|
Modifier and Type | Method and Description |
---|---|
void |
FormulaSetOnList.addAll(_FormulaSet other) |
void |
FormulaSetOnHashSet.addAll(_FormulaSet other) |
void |
BitSetOfFormulas.addAll(_FormulaSet set) |
void |
_FormulaSet.addAll(_FormulaSet other)
Add all the formulas in the specified set to this formula set.
|