Class FastEquivalenceClassStore

java.lang.Object
tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore
tools.refinery.store.dse.transition.statespace.internal.FastEquivalenceClassStore
All Implemented Interfaces:
EquivalenceClassStore

public abstract class FastEquivalenceClassStore extends AbstractEquivalenceClassStore implements EquivalenceClassStore