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 T
visit(FOperator fOperator)
protected abstract T
visit(Formula.TemporalOperator formula)
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
protected abstract T visit(Formula.TemporalOperator formula)
-
visit
public final T visit(FrequencyG freq)
-
-