# Hierarchy For Package owl.translations

Package Hierarchies:

- All Packages

## Class Hierarchy

- java.lang.Object
  - owl.translations.ExternalTranslator (implements java.util.function.Function<T,​R>)
  - owl.translations.LTL2DAFunction (implements java.util.function.Function<T,​R>)
  - owl.translations.LTL2NAFunction (implements java.util.function.Function<T,​R>)
  - owl.translations.SafetyCoreDetector
  - owl.translations.Synthesis

## Enum Hierarchy

- java.lang.Object
  - java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    - owl.translations.LTL2DAFunction.Constructions
    - owl.translations.LTL2NAFunction.Constructions