Uses of Class
net.automatalib.automaton.abstraction.SimpleDeterministicAbstractions.StateIntAbstraction