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 TmodalOperatorAction(Formula formula)Tvisit(FOperator fOperator)Tvisit(FrequencyG freq)Tvisit(GOperator gOperator)Tvisit(Literal literal)Tvisit(MOperator mOperator)Tvisit(ROperator rOperator)Tvisit(UOperator uOperator)Tvisit(WOperator wOperator)Tvisit(XOperator xOperator)
-
-
-
Method Detail
-
visit
public final T visit(FrequencyG freq)
-
-