Interface EquivalenceClassStore
- All Known Implementing Classes:
AbstractEquivalenceClassStore
,CompleteEquivalenceClassStore
,FastEquivalenceClassStore
public interface EquivalenceClassStore
-
Method Summary
Modifier and TypeMethodDescriptionint
boolean
void
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
-
hasUnresolvedSymmetry
boolean hasUnresolvedSymmetry() -
resolveOneSymmetry
void resolveOneSymmetry() -
getNumberOfUnresolvedSymmetries
int getNumberOfUnresolvedSymmetries()
-