net.automatalib.util.automata.predicates

Classes