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
-
Field Summary
Fields inherited from class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore
numberOfUnresolvedSymmetries, stateCoderStoreAdapter
-
Constructor Summary
ModifierConstructorDescriptionprotected
FastEquivalenceClassStore
(StateCoderStoreAdapter stateCoderStoreAdapter) -
Method Summary
Modifier and TypeMethodDescriptionvoid
boolean
tryToAdd
(StateCoderResult stateCoderResult) protected boolean
tryToAdd
(StateCoderResult stateCoderResult, VersionWithObjectiveValue newVersion, int[] emptyActivations, boolean accept) Methods inherited from class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore
delegate, getNumberOfUnresolvedSymmetries, hasUnresolvedSymmetry, submit, submit
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface tools.refinery.store.dse.transition.statespace.EquivalenceClassStore
getNumberOfUnresolvedSymmetries, hasUnresolvedSymmetry, submit, submit
-
Constructor Details
-
FastEquivalenceClassStore
-
-
Method Details
-
tryToAdd
protected boolean tryToAdd(StateCoderResult stateCoderResult, VersionWithObjectiveValue newVersion, int[] emptyActivations, boolean accept) - Specified by:
tryToAdd
in classAbstractEquivalenceClassStore
-
tryToAdd
- Specified by:
tryToAdd
in classAbstractEquivalenceClassStore
-
resolveOneSymmetry
public void resolveOneSymmetry()- Specified by:
resolveOneSymmetry
in interfaceEquivalenceClassStore
-