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

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

Constructors

Modifier	Constructor	Description
protected	FastEquivalenceClassStore(StateCoderStoreAdapter stateCoderStoreAdapter)

Method Summary

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

protected FastEquivalenceClassStore(StateCoderStoreAdapter stateCoderStoreAdapter)

Method Details

tryToAdd

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

Specified by:

tryToAdd in class AbstractEquivalenceClassStore

tryToAdd

public boolean tryToAdd(StateCoderResult stateCoderResult)

Specified by:

tryToAdd in class AbstractEquivalenceClassStore

resolveOneSymmetry

public void resolveOneSymmetry()

Specified by:

resolveOneSymmetry in interface EquivalenceClassStore