diff options
author | Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7> | 2021-07-06 17:15:36 +0200 |
---|---|---|
committer | Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7> | 2021-07-06 17:15:36 +0200 |
commit | f9570d42dff16994a7711dda2d40eb73f7fb6cbd (patch) | |
tree | 90a0d3708a3182d25ebbace8029aceff184ffab9 /Solvers | |
parent | VersionedMapStore first implementation, tests reinterpreted (diff) | |
download | VIATRA-Generator-f9570d42dff16994a7711dda2d40eb73f7fb6cbd.tar.gz VIATRA-Generator-f9570d42dff16994a7711dda2d40eb73f7fb6cbd.tar.zst VIATRA-Generator-f9570d42dff16994a7711dda2d40eb73f7fb6cbd.zip |
Import fix
Diffstat (limited to 'Solvers')
-rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/VersionedMapImpl.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/VersionedMapImpl.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/VersionedMapImpl.java index 3ea905f3..92ba17ab 100644 --- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/VersionedMapImpl.java +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/VersionedMapImpl.java | |||
@@ -6,7 +6,6 @@ import java.util.Map; | |||
6 | import org.eclipse.viatra.solver.data.map.ContinousHashProvider; | 6 | import org.eclipse.viatra.solver.data.map.ContinousHashProvider; |
7 | import org.eclipse.viatra.solver.data.map.Cursor; | 7 | import org.eclipse.viatra.solver.data.map.Cursor; |
8 | import org.eclipse.viatra.solver.data.map.VersionedMap; | 8 | import org.eclipse.viatra.solver.data.map.VersionedMap; |
9 | import org.eclipse.viatra.solver.data.map.VersionedMapStore; | ||
10 | import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl; | 9 | import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl; |
11 | 10 | ||
12 | /** | 11 | /** |