public final class SubstitutionVisitor extends DefaultVisitor<Formula>
Constructor | Description |
---|---|
SubstitutionVisitor(java.util.function.Function<? super Formula,? extends Formula> substitutionFunction) |
Modifier and Type | Method | Description |
---|---|---|
protected Formula |
defaultAction(Formula formula) |
|
Formula |
visit(Conjunction conjunction) |
|
Formula |
visit(Disjunction disjunction) |
protected Formula defaultAction(Formula formula)
defaultAction
in class DefaultVisitor<Formula>
public Formula visit(Conjunction conjunction)
public Formula visit(Disjunction disjunction)