Package owl.translations.ltl2ldba
Class FGSubstitution
- java.lang.Object
-
- owl.ltl.visitors.Converter
-
- owl.translations.ltl2ldba.FGSubstitution
-
-
Constructor Summary
Constructors Constructor Description FGSubstitution(Iterable<? extends Formula> y)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Formulavisit(GOperator gOperator)Formulavisit(ROperator rOperator)Formulavisit(WOperator wOperator)
-