Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
Formula |
FormulaProposition.applySubstitution(PropositionalSubstitution subst) |
abstract Formula |
Formula.applySubstitution(PropositionalSubstitution subst)
Returns the formula obtained by applying the specified substitution on
propositional formulas.
|