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 FormulamodalOperatorAction(Formula formula)Formulavisit(Biconditional biconditional)Formulavisit(BooleanConstant booleanConstant)Formulavisit(Conjunction conjunction)Formulavisit(Disjunction disjunction)
-
-
-
Method Detail
-
modalOperatorAction
protected Formula modalOperatorAction(Formula formula)
- Specified by:
modalOperatorActionin 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)
-
-