Package owl.ltl.visitors
Class PropositionalVisitor<T>
- java.lang.Object
-
- owl.ltl.visitors.PropositionalVisitor<T>
-
- All Implemented Interfaces:
Visitor<T>
- Direct Known Subclasses:
SubstitutionVisitor
public abstract class PropositionalVisitor<T> extends Object implements Visitor<T>
Visitor skeleton implementation that views the formula as propositional formula. For this reason all methods for modal operators are final and need to be handled uniformly.
-
-
Constructor Summary
Constructors Constructor Description PropositionalVisitor()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected abstract T
modalOperatorAction(Formula formula)
T
visit(FOperator fOperator)
T
visit(FrequencyG freq)
T
visit(GOperator gOperator)
T
visit(Literal literal)
T
visit(MOperator mOperator)
T
visit(ROperator rOperator)
T
visit(UOperator uOperator)
T
visit(WOperator wOperator)
T
visit(XOperator xOperator)
-
-
-
Method Detail
-
visit
public final T visit(FrequencyG freq)
-
-