Uses of Class
jtabwbx.prop.formula.PropositionalSubstitution

Packages that use PropositionalSubstitution

Package	Description
jtabwbx.prop.formula	An implementation of propositional formulas based on graphs.

Uses of PropositionalSubstitution in jtabwbx.prop.formula

Methods in jtabwbx.prop.formula with parameters of type PropositionalSubstitution

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.