net.automatalib.util.automata.predicates
Classes
TransitionPredicates