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 Formulavisit(FOperator fOperator)Formulavisit(MOperator mOperator)Formulavisit(UOperator uOperator)
-