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