Package owl.translations.ltl2ldba
Class GFSubstitution
- java.lang.Object
-
- owl.ltl.visitors.Converter
-
- owl.translations.ltl2ldba.GFSubstitution
-
-
Constructor Summary
Constructors Constructor Description GFSubstitution(Iterable<? extends Formula> x)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Formula
visit(FOperator fOperator)
Formula
visit(MOperator mOperator)
Formula
visit(UOperator uOperator)
-