blob: 28d1488b4224fd094c2c951c3f64fa0aaae71019 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/*
* SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.store.dse.transition.statespace;
import tools.refinery.store.dse.transition.VersionWithObjectiveValue;
import tools.refinery.store.statecoding.StateCoderResult;
public interface EquivalenceClassStore {
boolean submit(VersionWithObjectiveValue version, StateCoderResult stateCoderResult, int[] emptyActivations, boolean accept);
boolean submit(StateCoderResult stateCoderResult);
boolean hasUnresolvedSymmetry();
void resolveOneSymmetry();
int getNumberOfUnresolvedSymmetries();
}
|