Packages 
Package Description
owl.automaton
This package and its subpackages contain the infrastructure for omega automata.
owl.automaton.acceptance  
owl.automaton.acceptance.optimizations  
owl.automaton.algorithms  
owl.automaton.edge  
owl.automaton.output  
owl.automaton.transformations  
owl.automaton.util  
owl.cinterface  
owl.collections  
owl.factories  
owl.factories.jbdd  
owl.game  
owl.game.algorithms  
owl.game.output  
owl.grammar  
owl.ltl  
owl.ltl.algorithms  
owl.ltl.parser  
owl.ltl.rewriter  
owl.ltl.robust
Implements parsing of rLTL and conversion to LTL.
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.canonical  
owl.translations.delag  
owl.translations.dpa2safety  
owl.translations.dra2dpa  
owl.translations.fgx2dpa  
owl.translations.ltl2dpa  
owl.translations.ltl2dra  
owl.translations.ltl2ldba  
owl.translations.ltl2nba  
owl.translations.mastertheorem  
owl.translations.modules  
owl.translations.nba2dpa  
owl.translations.nba2ldba  
owl.translations.rabinizer
A translation from LTL to tDGRA.
owl.util  
owl.util.annotation