Package owl.automaton

Class ImplicitNonDeterministicEdgeTreeAutomaton<S,​A extends OmegaAcceptance>