# owl 18.06 API

Packages
Package | Description
--- | ---
owl.automaton | This package and its subpackages contain the infrastructure for omega automata.
owl.automaton.acceptance |
owl.automaton.algorithms |
owl.automaton.edge |
owl.automaton.ldba |
owl.automaton.minimizations |
owl.automaton.output |
owl.automaton.transformations |
owl.automaton.util |
owl.collections |
owl.factories |
owl.factories.jbdd |
owl.game |
owl.game.algorithms |
owl.game.output |
owl.grammar |
owl.jni |
owl.ltl |
owl.ltl.algorithms |
owl.ltl.parser |
owl.ltl.rewriter |
owl.ltl.robust | Implements parsing of rLTL and conversion to LTL.
owl.ltl.tlsf |
owl.ltl.util |
owl.ltl.visitors |
owl.run | This package (and it's sub-packages) contains a flexible infrastructure for executing various translation chains and obtaining these translation chains from the command line.
owl.run.modules |
owl.run.parser |
owl.translations |
owl.translations.delag |
owl.translations.dpa2safety |
owl.translations.dra2dpa |
owl.translations.fgx2dpa |
owl.translations.ldba2dpa |
owl.translations.ldba2dra |
owl.translations.ltl2dpa |
owl.translations.ltl2dra |
owl.translations.ltl2ldba |
owl.translations.ltl2ldba.breakpoint |
owl.translations.ltl2ldba.breakpointfree |
owl.translations.nba2dpa |
owl.translations.nba2ldba |
owl.translations.rabinizer | A translation from LTL to tDGRA.
owl.translations.safra |
owl.util |
owl.util.annotation |