diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2023-09-05 07:59:17 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2023-09-05 14:16:55 +0200 |
| commit | a00a2a961accd8ebbe34c3c1e50b6fa782e86ca4 (patch) | |
| tree | 677d5d1b75f9c4781b225ea53b5a8de8a49e9342 /subprojects/store-dse/src/main/java | |
| parent | restructured DSE framework, failing build (diff) | |
| download | refinery-a00a2a961accd8ebbe34c3c1e50b6fa782e86ca4.tar.gz refinery-a00a2a961accd8ebbe34c3c1e50b6fa782e86ca4.tar.zst refinery-a00a2a961accd8ebbe34c3c1e50b6fa782e86ca4.zip | |
restructured DSE framework, failing build
Diffstat (limited to 'subprojects/store-dse/src/main/java')
| -rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/CompleteEquivalenceClassStore.java | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/CompleteEquivalenceClassStore.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/CompleteEquivalenceClassStore.java index 1555c3be..925e09a3 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/CompleteEquivalenceClassStore.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/CompleteEquivalenceClassStore.java | |||
| @@ -7,9 +7,6 @@ package tools.refinery.store.dse.transition.statespace.internal; | |||
| 7 | 7 | ||
| 8 | import org.eclipse.collections.impl.map.mutable.primitive.IntObjectHashMap; | 8 | import org.eclipse.collections.impl.map.mutable.primitive.IntObjectHashMap; |
| 9 | import tools.refinery.store.dse.transition.VersionWithObjectiveValue; | 9 | import tools.refinery.store.dse.transition.VersionWithObjectiveValue; |
| 10 | import tools.refinery.store.dse.transition.statespace.ActivationStore; | ||
| 11 | import tools.refinery.store.dse.transition.statespace.ObjectivePriorityQueue; | ||
| 12 | import tools.refinery.store.dse.transition.statespace.SolutionStore; | ||
| 13 | import tools.refinery.store.dse.transition.statespace.EquivalenceClassStore; | 10 | import tools.refinery.store.dse.transition.statespace.EquivalenceClassStore; |
| 14 | import tools.refinery.store.statecoding.StateCoderResult; | 11 | import tools.refinery.store.statecoding.StateCoderResult; |
| 15 | import tools.refinery.store.statecoding.StateCoderStoreAdapter; | 12 | import tools.refinery.store.statecoding.StateCoderStoreAdapter; |
| @@ -68,8 +65,8 @@ public abstract class CompleteEquivalenceClassStore extends AbstractEquivalenceC | |||
| 68 | if (unresolvedSimilarity == null) { | 65 | if (unresolvedSimilarity == null) { |
| 69 | return; | 66 | return; |
| 70 | } | 67 | } |
| 71 | var outcome = this.stateCoderStoreAdapter.checkEquivalence(unresolvedSimilarity.get(0), | 68 | var outcome = this.stateCoderStoreAdapter.checkEquivalence(unresolvedSimilarity.get(0).version(), |
| 72 | unresolvedSimilarity.get(1)); | 69 | unresolvedSimilarity.get(1).version()); |
| 73 | if (outcome != StateEquivalenceChecker.EquivalenceResult.ISOMORPHIC) { | 70 | if (outcome != StateEquivalenceChecker.EquivalenceResult.ISOMORPHIC) { |
| 74 | delegate(unresolvedSimilarity.get(1), unresolvedSimilarity.activationSizes, unresolvedSimilarity.accept); | 71 | delegate(unresolvedSimilarity.get(1), unresolvedSimilarity.activationSizes, unresolvedSimilarity.accept); |
| 75 | } | 72 | } |