Package owl.ltl.visitors
Class SubstitutionVisitor
- java.lang.Object
-
- owl.ltl.visitors.PropositionalVisitor<Formula>
-
- owl.ltl.visitors.SubstitutionVisitor
-
public final class SubstitutionVisitor extends PropositionalVisitor<Formula>
-
-
Constructor Summary
Constructors Constructor Description SubstitutionVisitor(Function<? super Formula,? extends Formula> substitutionFunction)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected Formula
modalOperatorAction(Formula formula)
Formula
visit(Biconditional biconditional)
Formula
visit(BooleanConstant booleanConstant)
Formula
visit(Conjunction conjunction)
Formula
visit(Disjunction disjunction)
-
-
-
Method Detail
-
modalOperatorAction
protected Formula modalOperatorAction(Formula formula)
- Specified by:
modalOperatorAction
in classPropositionalVisitor<Formula>
-
visit
public Formula visit(BooleanConstant booleanConstant)
-
visit
public Formula visit(Biconditional biconditional)
-
visit
public Formula visit(Conjunction conjunction)
-
visit
public Formula visit(Disjunction disjunction)
-
-