Package owl.ltl.visitors
Class PropositionalVisitor<T>
- java.lang.Object
-
- owl.ltl.visitors.PropositionalVisitor<T>
-
- Direct Known Subclasses:
BlockingModalOperatorsVisitor
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 Tvisit(FOperator fOperator)protected abstract Tvisit(Formula.TemporalOperator formula)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
protected abstract T visit(Formula.TemporalOperator formula)
-
visit
public final T visit(FrequencyG freq)
-
-