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

Class AbstractEquivalenceClassStore

java.lang.Object

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

All Implemented Interfaces:

EquivalenceClassStore

Direct Known Subclasses:

CompleteEquivalenceClassStore, FastEquivalenceClassStore

public abstract class AbstractEquivalenceClassStore
extends Object
implements EquivalenceClassStore

Field Summary

Fields

Modifier and Type	Field	Description
protected int	numberOfUnresolvedSymmetries
protected final StateCoderStoreAdapter	stateCoderStoreAdapter

Method Summary

Modifier and Type	Method	Description
protected abstract void	delegate(VersionWithObjectiveValue version, int[] emptyActivations, boolean accept)
int	getNumberOfUnresolvedSymmetries()
boolean	hasUnresolvedSymmetry()
boolean	submit(VersionWithObjectiveValue version, StateCoderResult stateCoderResult, int[] emptyActivations, boolean accept)
boolean	submit(StateCoderResult stateCoderResult)
abstract boolean	tryToAdd(StateCoderResult stateCoderResult)
protected abstract boolean	tryToAdd(StateCoderResult stateCoderResult, VersionWithObjectiveValue newVersion, int[] emptyActivations, boolean accept)

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

resolveOneSymmetry

Field Details

stateCoderStoreAdapter

protected final StateCoderStoreAdapter stateCoderStoreAdapter

numberOfUnresolvedSymmetries

protected int numberOfUnresolvedSymmetries

Method Details

delegate

protected abstract void delegate(VersionWithObjectiveValue version,
 int[] emptyActivations,
 boolean accept)

tryToAdd

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

tryToAdd

public abstract boolean tryToAdd(StateCoderResult stateCoderResult)

submit

public boolean submit(StateCoderResult stateCoderResult)

Specified by:

submit in interface EquivalenceClassStore

submit

public boolean submit(VersionWithObjectiveValue version,
 StateCoderResult stateCoderResult,
 int[] emptyActivations,
 boolean accept)

Specified by:

submit in interface EquivalenceClassStore

hasUnresolvedSymmetry

public boolean hasUnresolvedSymmetry()

Specified by:

hasUnresolvedSymmetry in interface EquivalenceClassStore

getNumberOfUnresolvedSymmetries

public int getNumberOfUnresolvedSymmetries()

Specified by:

getNumberOfUnresolvedSymmetries in interface EquivalenceClassStore