Package tools.refinery.store.dse.transition.statespace.internal

Class CompleteEquivalenceClassStore

java.lang.Object

tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

tools.refinery.store.dse.transition.statespace.internal.CompleteEquivalenceClassStore

All Implemented Interfaces:

EquivalenceClassStore

public abstract class CompleteEquivalenceClassStore
extends AbstractEquivalenceClassStore
implements EquivalenceClassStore

Field Summary

Fields inherited from class tools.refinery.store.dse.transition.statespace.internal.AbstractEquivalenceClassStore

numberOfUnresolvedSymmetries, stateCoderStoreAdapter

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	CompleteEquivalenceClassStore(StateCoderStoreAdapter stateCoderStoreAdapter)

Method Summary

Modifier and Type	Method	Description
void	resolveOneSymmetry()
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, tryToAdd

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

CompleteEquivalenceClassStore

protected CompleteEquivalenceClassStore(StateCoderStoreAdapter stateCoderStoreAdapter)

Method Details

tryToAdd

protected boolean tryToAdd(StateCoderResult stateCoderResult,
 VersionWithObjectiveValue newVersion,
 int[] emptyActivations,
 boolean accept)

Specified by:

tryToAdd in class AbstractEquivalenceClassStore

resolveOneSymmetry

public void resolveOneSymmetry()

Specified by:

resolveOneSymmetry in interface EquivalenceClassStore