Package owl.ltl.visitors
Class UnabbreviateVisitor
- java.lang.Object
-
- owl.ltl.visitors.Converter
-
- owl.ltl.visitors.UnabbreviateVisitor
-
-
Constructor Summary
Constructors Constructor Description UnabbreviateVisitor(Class<? extends Formula>... classes)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Formulavisit(MOperator mOperator)Formulavisit(ROperator rOperator)Formulavisit(WOperator wOperator)-
Methods inherited from class owl.ltl.visitors.Converter
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
-
-