owl.translations
Classes
ExternalTranslator
LTL2DAFunction
LTL2DAModule
LTL2DPA
Synthesis
Enums
LTL2DAFunction.Constructions