Package owl.translations
-
Interface Summary Interface Description LtlTranslationRepository.LtlTranslation<L extends U,U extends EmersonLeiAcceptance> -
Class Summary Class Description BlockingElements Check if a language represented by an EquivalenceClass is "blocked".ExternalTranslator LtlTranslationRepository Central repository of all implemented LTL translations.