Hierarchy For Package owl.translations

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • owl.translations.BlockingElements
  • owl.translations.ExternalTranslator (implements java.util.function.Function<T,R>)
  • owl.translations.LtlTranslationRepository

Interface Hierarchy

• owl.translations.LtlTranslationRepository.LtlTranslation<L,U>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • owl.translations.ExternalTranslator.InputMode
    • owl.translations.LtlTranslationRepository.BranchingMode
    • owl.translations.LtlTranslationRepository.LtlToDelaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToDpaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToDraTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToLdbaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.LtlToNbaTranslation (implements owl.translations.LtlTranslationRepository.LtlTranslation<L,U>)
    • owl.translations.LtlTranslationRepository.Option