diff options
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/EquivalenceClassStore.java')
-rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/EquivalenceClassStore.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/EquivalenceClassStore.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/EquivalenceClassStore.java index bbe26fe5..28d1488b 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/EquivalenceClassStore.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/EquivalenceClassStore.java | |||
@@ -10,6 +10,7 @@ import tools.refinery.store.statecoding.StateCoderResult; | |||
10 | 10 | ||
11 | public interface EquivalenceClassStore { | 11 | public interface EquivalenceClassStore { |
12 | boolean submit(VersionWithObjectiveValue version, StateCoderResult stateCoderResult, int[] emptyActivations, boolean accept); | 12 | boolean submit(VersionWithObjectiveValue version, StateCoderResult stateCoderResult, int[] emptyActivations, boolean accept); |
13 | boolean submit(StateCoderResult stateCoderResult); | ||
13 | boolean hasUnresolvedSymmetry(); | 14 | boolean hasUnresolvedSymmetry(); |
14 | void resolveOneSymmetry(); | 15 | void resolveOneSymmetry(); |
15 | int getNumberOfUnresolvedSymmetries(); | 16 | int getNumberOfUnresolvedSymmetries(); |