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

Interface EquivalenceClassStore

All Known Implementing Classes:

AbstractEquivalenceClassStore, CompleteEquivalenceClassStore, FastEquivalenceClassStore

public interface EquivalenceClassStore

Method Summary

Modifier and Type	Method	Description
int	getNumberOfUnresolvedSymmetries()
boolean	hasUnresolvedSymmetry()
void	resolveOneSymmetry()
boolean	submit(VersionWithObjectiveValue version, StateCoderResult stateCoderResult, int[] emptyActivations, boolean accept)
boolean	submit(StateCoderResult stateCoderResult)

Method Details

submit

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

submit

boolean submit(StateCoderResult stateCoderResult)

hasUnresolvedSymmetry

boolean hasUnresolvedSymmetry()

resolveOneSymmetry

void resolveOneSymmetry()

getNumberOfUnresolvedSymmetries

int getNumberOfUnresolvedSymmetries()