Package owl.ltl.visitors
Class PropositionalVisitor<T>
- java.lang.Object
-
- owl.ltl.visitors.PropositionalVisitor<T>
-
-
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(GOperator gOperator)abstract 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)
-
-