Uses of Interface
net.automatalib.common.util.fixpoint.WorksetAlgorithm