@EverythingIsNonnullByDefault

Package owl.automaton

This package and its subpackages contain the infrastructure for omega automata.