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 Formula
visit(GOperator gOperator)
Formula
visit(ROperator rOperator)
Formula
visit(WOperator wOperator)
-