diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.dse/META-INF/MANIFEST.MF')
-rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.dse/META-INF/MANIFEST.MF | 387 |
1 files changed, 387 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/META-INF/MANIFEST.MF new file mode 100644 index 00000000..fabef844 --- /dev/null +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/META-INF/MANIFEST.MF | |||
@@ -0,0 +1,387 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | Automatic-Module-Name: org.eclipse.viatra.dse | ||
3 | Bundle-SymbolicName: org.eclipse.viatra.dse;singleton:=true | ||
4 | Require-Bundle: org.eclipse.viatra.query.runtime;bundle-version="[2.4. | ||
5 | 0,2.5.0)";visibility:=reexport,org.eclipse.viatra.transformation.evm; | ||
6 | bundle-version="[2.4.0,2.5.0)";visibility:=reexport,org.eclipse.emf.e | ||
7 | core,org.eclipse.emf.ecore.xmi;bundle-version="2.7.0",org.eclipse.emf | ||
8 | .edit,org.eclipse.viatra.transformation.runtime.emf;bundle-version="[ | ||
9 | 2.4.0,2.5.0)";visibility:=reexport | ||
10 | Bundle-ManifestVersion: 2 | ||
11 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | ||
12 | Bundle-ActivationPolicy: lazy | ||
13 | Eclipse-SourceReferences: scm:git:git://git.eclipse.org/gitroot/viatra | ||
14 | /org.eclipse.viatra.git;path="dse/plugins/org.eclipse.viatra.dse";com | ||
15 | mitId=2a7314b6b21df594743fa017d18ae62da85c73fa | ||
16 | Bundle-Vendor: Eclipse VIATRA Project | ||
17 | Import-Package: com.google.common.base;version="27.1.0",com.google.com | ||
18 | mon.collect;version="27.1.0",com.google.common.util.concurrent;versio | ||
19 | n="27.1.0",org.apache.log4j;version="1.2.15" | ||
20 | Export-Package: org.eclipse.viatra.dse.api,org.eclipse.viatra.dse.api. | ||
21 | strategy.impl,org.eclipse.viatra.dse.api.strategy.interfaces,org.ecli | ||
22 | pse.viatra.dse.base,org.eclipse.viatra.dse.designspace.api,org.eclips | ||
23 | e.viatra.dse.multithreading,org.eclipse.viatra.dse.objectives,org.ecl | ||
24 | ipse.viatra.dse.objectives.impl,org.eclipse.viatra.dse.solutionstore, | ||
25 | org.eclipse.viatra.dse.statecode,org.eclipse.viatra.dse.statecoding,o | ||
26 | rg.eclipse.viatra.dse.statecoding.simple,org.eclipse.viatra.dse.util, | ||
27 | org.eclipse.viatra.dse.visualizer | ||
28 | SCM-Revision: 2a7314b6b21df594743fa017d18ae62da85c73fa | ||
29 | Bundle-Name: VIATRA-DSE framework Base (Incubation) | ||
30 | Bundle-Version: 0.24.0.202005060951 | ||
31 | Build-Jdk-Spec: 1.8 | ||
32 | Created-By: Maven Archiver 3.5.0 | ||
33 | |||
34 | Name: org/eclipse/viatra/dse/objectives/impl/NoRuleActivationsHardObje | ||
35 | ctive.class | ||
36 | SHA-256-Digest: nEIutogP27RZKAUo9eH/DshkhyOF8voUnj4BC/pkhYU= | ||
37 | |||
38 | Name: org/eclipse/viatra/dse/statecoding/simple/SimpleStateCoder$1.cla | ||
39 | ss | ||
40 | SHA-256-Digest: t7KG11FngBrFGTPHJuEaP5BvpPqRYMDq8qKuQyccRWQ= | ||
41 | |||
42 | Name: org/eclipse/viatra/dse/base/ThreadContext.class | ||
43 | SHA-256-Digest: 0Z+RpFCBKvn1+SVJSLpRbEpoMATPujvvfqGsBr99mBI= | ||
44 | |||
45 | Name: org/eclipse/viatra/dse/objectives/impl/ModelQueriesGlobalConstra | ||
46 | int.class | ||
47 | SHA-256-Digest: 3qw4e1RY7TqpTKHRngBjCRWfJmMmu+DiUnKHO0yXVA4= | ||
48 | |||
49 | Name: org/eclipse/viatra/dse/objectives/IObjective.class | ||
50 | SHA-256-Digest: io0MQDhFysUXcHYcPUZENsy/xLn98SE65b2RbJ7QttM= | ||
51 | |||
52 | Name: org/eclipse/viatra/dse/statecoding/simple/SimpleStateCoder.class | ||
53 | SHA-256-Digest: yOvisOPQT9D/tuLV5fLonIoDpqi8bSRbPVjtLtv4UKo= | ||
54 | |||
55 | Name: org/eclipse/viatra/dse/base/ExplorerThread.class | ||
56 | SHA-256-Digest: N4tY8yMnFoKGoMyS0RdRtqpGIh6ucbvvAxnf/YPr/xk= | ||
57 | |||
58 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore$BestSolutionS | ||
59 | aver.class | ||
60 | SHA-256-Digest: yZkg5ntRMOsrKEgo7kkAaK5J8h11Ng8tzH4QXsLRhsM= | ||
61 | |||
62 | Name: org/eclipse/viatra/dse/api/strategy/impl/RandomSearchStrategy$Sh | ||
63 | aredData.class | ||
64 | SHA-256-Digest: 2jBwT4lfAUh7LDDmpi3JuzyjcWhVeb+53PPB5ZKlGx4= | ||
65 | |||
66 | Name: org/eclipse/viatra/dse/base/DseIdPoolHelper$IGetRuleExecutions.c | ||
67 | lass | ||
68 | SHA-256-Digest: s7Pr9OPNF5baYmoZlOTWl6keA+b1TVxV8zxBXMGewrM= | ||
69 | |||
70 | Name: org/eclipse/viatra/dse/api/strategy/impl/RandomSearchStrategy.cl | ||
71 | ass | ||
72 | SHA-256-Digest: 0R8ENAT9UA3BCsveA38VjvR4k+Um3i1fFlQB85inLZY= | ||
73 | |||
74 | Name: org/eclipse/viatra/dse/api/DesignSpaceExplorer.class | ||
75 | SHA-256-Digest: JCDN006fVS56ROn6cV7Ssdl4CN+xtbdiWjVfDkkgRDM= | ||
76 | |||
77 | Name: org/eclipse/viatra/dse/util/EMFHelper$ENamedElementComparator.cl | ||
78 | ass | ||
79 | SHA-256-Digest: J8o5TEdYpuU/6q1qTw3lUIHaE4pEH/EpDUvuTNWusVA= | ||
80 | |||
81 | Name: org/eclipse/viatra/dse/util/ValueComparableEObjectStringMap$EObj | ||
82 | ectComparator.class | ||
83 | SHA-256-Digest: iwLJSS2Ip9WvN2lC8gfg+ys5Cp+P7ZSpGP6QF5lKYKQ= | ||
84 | |||
85 | Name: org/eclipse/viatra/dse/api/DesignSpaceExplorer$DseLoggingLevel.c | ||
86 | lass | ||
87 | SHA-256-Digest: z3h4wzaSMGzPvV4KL6ilStnLdT/mVCNNp7C/AwfQhqk= | ||
88 | |||
89 | Name: org/eclipse/viatra/dse/multithreading/DSEThreadPool.class | ||
90 | SHA-256-Digest: XoKcmDnafPfiyQ0LemN0ni31T+aY+lXp/Q8p157kj/g= | ||
91 | |||
92 | Name: org/eclipse/viatra/dse/api/strategy/impl/DepthFirstStrategy.clas | ||
93 | s | ||
94 | SHA-256-Digest: SGlKz9PbynZwkmaJ1rpE0kVUOHl7vl7GOscNFoNEHLg= | ||
95 | |||
96 | Name: org/eclipse/viatra/dse/base/GlobalContext.class | ||
97 | SHA-256-Digest: dLn/Iu9JVDaaKK21VeFAMDXGaJWROEJCWJjULwMzNik= | ||
98 | |||
99 | Name: org/eclipse/viatra/dse/statecoding/IncrementalObjectProvider.cla | ||
100 | ss | ||
101 | SHA-256-Digest: L0yK9bhku/F8MX/NyKoBuydeMbMgZir8N0BRcFzHnKs= | ||
102 | |||
103 | Name: org/eclipse/viatra/dse/statecode/IStateCoderFactory.class | ||
104 | SHA-256-Digest: 1GsfU5aBQs1ieo3dblcXFZ07oq9QzWr1NZLppgSdCOM= | ||
105 | |||
106 | Name: org/eclipse/viatra/dse/base/DesignSpaceManager$1.class | ||
107 | SHA-256-Digest: /suIApW5KeZ7OifoR8SRPc3gU+2B8/ZnWInhdpAOTd8= | ||
108 | |||
109 | Name: org/eclipse/viatra/dse/objectives/ActivationFitnessProcessor.cla | ||
110 | ss | ||
111 | SHA-256-Digest: vML6AN6aCbn/cKeccmvzRAai47jZJk0CpYhwFQdhwvI= | ||
112 | |||
113 | Name: org/eclipse/viatra/dse/solutionstore/IdBasedSolutionNameProvider | ||
114 | .class | ||
115 | SHA-256-Digest: QFWpXui2nID6PKhTHs/1e0gj9u8NiniES6/G0C/oSzM= | ||
116 | |||
117 | Name: org/eclipse/viatra/dse/api/strategy/impl/BreadthFirstStrategy$Bf | ||
118 | sSharedObject.class | ||
119 | SHA-256-Digest: wVno1chuJ8pYpfv5cpB0fjsGbO2s+2OWcaVQgoQb5+k= | ||
120 | |||
121 | Name: org/eclipse/viatra/dse/objectives/TrajectoryFitness.class | ||
122 | SHA-256-Digest: DIEgS7SFg5pWuxvFhRn3f7hBt8+qk1+40w9WpOkoyrc= | ||
123 | |||
124 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore$1.class | ||
125 | SHA-256-Digest: V5AAqo4/81KOegdl1Wl8jIBrH57y4TdYrj+wOzV2vdM= | ||
126 | |||
127 | Name: org/eclipse/viatra/dse/api/Solution.class | ||
128 | SHA-256-Digest: U71jRd/R8tarIiHM+dETwXiwwPcmXO5m82bDUp/Mduo= | ||
129 | |||
130 | Name: org/eclipse/viatra/dse/util/EMFHelper$EmfHelperException.class | ||
131 | SHA-256-Digest: +OCT0+wqq9XGCze/qDE8hh3zprFMBAnkR7H1J7k/Htk= | ||
132 | |||
133 | Name: org/eclipse/viatra/dse/base/DseEvmRuleBase.class | ||
134 | SHA-256-Digest: iRILqfjFCMPd020YX8dMyRaNlUGfEUTd4N3gnqQRtDo= | ||
135 | |||
136 | Name: org/eclipse/viatra/dse/objectives/impl/TrajectoryCostSoftObjecti | ||
137 | ve.class | ||
138 | SHA-256-Digest: wXSfFPucpZyh72nGKuKn83N63Orl75XUM9SkzKfFBi4= | ||
139 | |||
140 | Name: org/eclipse/viatra/dse/api/DSETransformationRule.class | ||
141 | SHA-256-Digest: 01Ngrz/qbLR6j/4z9NxvtD2jHQAHMl698POXw8BSpPY= | ||
142 | |||
143 | Name: org/eclipse/viatra/dse/objectives/impl/ModelQueryType.class | ||
144 | SHA-256-Digest: SS0yM7NbAU0U4KoA4Tzy4gXKZ2IZaszyaqbtSN4GE74= | ||
145 | |||
146 | Name: org/eclipse/viatra/dse/base/DseConflictResolver.class | ||
147 | SHA-256-Digest: kLquKehufJSc2fJoUgztO62ucr1UUqfLQpyiFrY8BJc= | ||
148 | |||
149 | Name: org/eclipse/viatra/dse/statecoding/TheStateCoderFactory.class | ||
150 | SHA-256-Digest: 7tog5/ud60nPTYwPT6HHpHBDeutpFl2KLKXt8GnM3U8= | ||
151 | |||
152 | Name: org/eclipse/viatra/dse/solutionstore/LogSolutionHandler.class | ||
153 | SHA-256-Digest: cbpeCy8w558CbnhljT2TKalNqWBpKlIsMppr6hWDRpw= | ||
154 | |||
155 | Name: org/eclipse/viatra/dse/designspace/api/TrajectoryInfo.class | ||
156 | SHA-256-Digest: mXYUokn/RePXJXnfL7O3AZjvwqFkwiLZ0IipQGgdp0A= | ||
157 | |||
158 | Name: org/eclipse/viatra/dse/statecoding/StatecodingDependencyType.cla | ||
159 | ss | ||
160 | SHA-256-Digest: ef+0X9EnYYjpPiRNmjXrElCCaPekh+Wh6yimRTpp15E= | ||
161 | |||
162 | Name: org/eclipse/viatra/dse/objectives/impl/CompositeObjective.class | ||
163 | SHA-256-Digest: SJiO5Oina3I760xBUDGc4qYp1WrcSG6Yh0+8hQKf69U= | ||
164 | |||
165 | Name: org/eclipse/viatra/dse/objectives/ObjectiveComparatorHelper.clas | ||
166 | s | ||
167 | SHA-256-Digest: +uKjMIfQvBlKY9djJoP5Wd/EBKMkbrdk7shGdZ0rS2M= | ||
168 | |||
169 | Name: org/eclipse/viatra/dse/api/Objectives.class | ||
170 | SHA-256-Digest: pNQDcSeUV3oOM7aCgscjJwdyysQrMSZCyLhrSWLMUrI= | ||
171 | |||
172 | Name: org/eclipse/viatra/dse/visualizer/DesignSpaceVisualizerOptions.c | ||
173 | lass | ||
174 | SHA-256-Digest: nf/uvPeNaC8Nu9SPhk+sgvSheB/kh+GqsXXHbm7qer0= | ||
175 | |||
176 | Name: org/eclipse/viatra/dse/api/DSEException.class | ||
177 | SHA-256-Digest: MCUPB2tBDK01enENQDJ+qONxtl+WQyZaJf87iU+NFyU= | ||
178 | |||
179 | Name: org/eclipse/viatra/dse/base/SingletonSetConflictResolver.class | ||
180 | SHA-256-Digest: bd4gh7UG91EkNSE0JrpAKbHDxv6HYhL7YEq7PZZkRjo= | ||
181 | |||
182 | Name: org/eclipse/viatra/dse/statecoding/IObjectsProvider.class | ||
183 | SHA-256-Digest: SIcYuklHbTwYjV+gvS1B77Z0CR/2bannTSL77/qm/Gs= | ||
184 | |||
185 | Name: org/eclipse/viatra/dse/statecoding/IncrementalObjectProviderFact | ||
186 | ory.class | ||
187 | SHA-256-Digest: F12xo+nr94L4B1m1w2xmtA7t1TzGin5pFSEqkBmYxC0= | ||
188 | |||
189 | Name: org/eclipse/viatra/dse/api/SolutionTrajectory.class | ||
190 | SHA-256-Digest: uFjxXsF4khsOwgCsmRPMZbSayZ4qTDtwPGxDBH2lG74= | ||
191 | |||
192 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore$SimpleSolutio | ||
193 | nSaver.class | ||
194 | SHA-256-Digest: 12aDZULU6fhdXx8a/BvCQwXW7RZfEmIPFueU7GOpBB0= | ||
195 | |||
196 | Name: org/eclipse/viatra/dse/util/Hasher.class | ||
197 | SHA-256-Digest: 0nFBMPZ6/YudYlnE/l8XiECkWIHBRvkdyi9WUCIaN4c= | ||
198 | |||
199 | Name: org/eclipse/viatra/dse/solutionstore/ISolutionNameProvider.class | ||
200 | SHA-256-Digest: Ig8utojCZoNY8V37gbZVVJFOX8NZiu2tPsnAIkS1BaU= | ||
201 | |||
202 | Name: org/eclipse/viatra/dse/objectives/IGlobalConstraint.class | ||
203 | SHA-256-Digest: UvJwqLRVvv444GgELIu/tUGs4eV8cf/Anqh6horECP8= | ||
204 | |||
205 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore.class | ||
206 | SHA-256-Digest: V9OJ/9GqLq9cBToiBzapjyCs3mDuk4PkeduT5YpiTwE= | ||
207 | |||
208 | Name: org/eclipse/viatra/dse/objectives/impl/DepthHardObjective.class | ||
209 | SHA-256-Digest: Ra8i2f1YiRldwF06QotRoHkhKJLyGMYJnS6Lco1ldTM= | ||
210 | |||
211 | Name: org/eclipse/viatra/dse/objectives/impl/BaseObjective.class | ||
212 | SHA-256-Digest: DH8BIQo1OvBt5oEtS4sqsjtGOhlD1Nwz2yv7gdW3/hA= | ||
213 | |||
214 | Name: org/eclipse/viatra/dse/api/DesignSpaceExplorer$1.class | ||
215 | SHA-256-Digest: 1AccsshxVCMI2GPkioO7lQtS9JwPx17YrPTSjTZfqBQ= | ||
216 | |||
217 | Name: org/eclipse/viatra/dse/objectives/impl/ConstraintsObjective.clas | ||
218 | s | ||
219 | SHA-256-Digest: +eesnPuyvrf4xQOslHAFlNIyd4K9scCn8f6qprCxKzs= | ||
220 | |||
221 | Name: org/eclipse/viatra/dse/api/strategy/impl/FixedPriorityStrategy.c | ||
222 | lass | ||
223 | SHA-256-Digest: /+Dkno94lswrX5YEr60iH8szAKDL9hfAe2ZZ/amSe20= | ||
224 | |||
225 | Name: org/eclipse/viatra/dse/base/IDseStrategyContext.class | ||
226 | SHA-256-Digest: ACDjZwH6zo71KF8hXuAvC7NWmGPDv9lJ06U/iAptwEw= | ||
227 | |||
228 | Name: org/eclipse/viatra/dse/statecode/IStateCoder.class | ||
229 | SHA-256-Digest: L+foclr4t9XV4ltc7aDor4Ngf135J+UvTpTxCcegz9M= | ||
230 | |||
231 | Name: org/eclipse/viatra/dse/objectives/impl/NeverSatisfiedDummyHardOb | ||
232 | jective.class | ||
233 | SHA-256-Digest: KB8QybGLqya7vrKCMnwRdCOaJ/URoTIeR1NVYDNiOB4= | ||
234 | |||
235 | Name: org/eclipse/viatra/dse/objectives/impl/AlwaysSatisfiedDummyHardO | ||
236 | bjective.class | ||
237 | SHA-256-Digest: TzG4kskc7rM96sfpJc6YsSNF7PyE48NJLkUpkkwqsiI= | ||
238 | |||
239 | Name: org/eclipse/viatra/dse/base/DesignSpaceManager.class | ||
240 | SHA-256-Digest: WlF2FWYiBFQNAW2PsPpPorz64wQBWssTC/73maFotD8= | ||
241 | |||
242 | Name: org/eclipse/viatra/dse/visualizer/IExploreEventHandler.class | ||
243 | SHA-256-Digest: ZJwhUYNU+L1B88hsbfdIejJVUwhnvBjJSDHugw+RFh0= | ||
244 | |||
245 | Name: META-INF/maven/org.eclipse.viatra/org.eclipse.viatra.dse/pom.pro | ||
246 | perties | ||
247 | SHA-256-Digest: 0JWWPFaIUkYh4BehmajscXzAloPgjeIs0iZSPFC/g1g= | ||
248 | |||
249 | Name: org/eclipse/viatra/dse/statecoding/StatecodingDependency.class | ||
250 | SHA-256-Digest: AeHJlVqUAUsjBlYumYq/e/WEBNbtlvCk00SG9rHPO88= | ||
251 | |||
252 | Name: org/eclipse/viatra/dse/api/strategy/interfaces/IStrategy.class | ||
253 | SHA-256-Digest: K5feGvnijYpwPJCOvR4m7ChtC7wX7LhLaau5/SBnFek= | ||
254 | |||
255 | Name: org/eclipse/viatra/dse/visualizer/IDesignSpaceVisualizer.class | ||
256 | SHA-256-Digest: gF2AAXk6xxQIDqdn56Aeifqmj71pBicLO7VJJoB64bY= | ||
257 | |||
258 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore$ANumberOfEnou | ||
259 | ghSolutions.class | ||
260 | SHA-256-Digest: qAOxgehQKfKkDSF2W2Gk/cXkDIBsQuN4yJ8Q3eRCnps= | ||
261 | |||
262 | Name: META-INF/maven/org.eclipse.viatra/org.eclipse.viatra.dse/pom.xml | ||
263 | SHA-256-Digest: /LSOqjjd6+fmn3MHbXK9bGr7k+1GKE3kgzaDoJkgCQQ= | ||
264 | |||
265 | Name: org/eclipse/viatra/dse/base/DseIdPoolHelper$IdProvider.class | ||
266 | SHA-256-Digest: VRQcpABZNkp3Lgivy9PUraJf04riM1MOZvY64suvo3M= | ||
267 | |||
268 | Name: org/eclipse/viatra/dse/statecoding/simple/SimpleStateCoder$2.cla | ||
269 | ss | ||
270 | SHA-256-Digest: NqiG7/1poRDLI2BbRvr2hfHZqH73hfFxBic+4YKHcCM= | ||
271 | |||
272 | Name: org/eclipse/viatra/dse/base/ThreadContext$GetRuleExecutionsImpl. | ||
273 | class | ||
274 | SHA-256-Digest: HGFHcAmOg3O3se9FT4oE4pWZ8EFdyRkkHkBVJZi+hmM= | ||
275 | |||
276 | Name: org/eclipse/viatra/dse/api/strategy/impl/BestFirstStrategy.class | ||
277 | SHA-256-Digest: qJyc4dMUiLGVoJPrMWQtCI2o2HW5p6Ki5J8Ra6wb/gE= | ||
278 | |||
279 | Name: org/eclipse/viatra/dse/designspace/api/IDesignSpace.class | ||
280 | SHA-256-Digest: IS5IjYyUCvaHWBvUsPFeGFv65W+YTG7u+iRXp/eDIuM= | ||
281 | |||
282 | Name: org/eclipse/viatra/dse/api/strategy/impl/HillClimbingStrategy.cl | ||
283 | ass | ||
284 | SHA-256-Digest: UfrnKlXVqN8LWbUPSoA5PDiJOT7cnCA46kIXicC5mg0= | ||
285 | |||
286 | Name: org/eclipse/viatra/dse/api/strategy/impl/BestFirstStrategy$Traje | ||
287 | ctoryWithFitness.class | ||
288 | SHA-256-Digest: n3K90JLwOOVAXsrkROhn0ZNogaAKVdcUpXBj8RUMI3c= | ||
289 | |||
290 | Name: org/eclipse/viatra/dse/util/EMFHelper$MetaModelElements.class | ||
291 | SHA-256-Digest: FjS8V9JksWMjbV9a1dn04gWFH3fctq9HdWSfbMsV5Ck= | ||
292 | |||
293 | Name: org/eclipse/viatra/dse/statecoding/simple/SimpleStateCoderFactor | ||
294 | y.class | ||
295 | SHA-256-Digest: jcBdVzrTpamZrT0pQZHyJJnooB+DKF6ADVS4RRhZGl4= | ||
296 | |||
297 | Name: org/eclipse/viatra/dse/objectives/Fitness.class | ||
298 | SHA-256-Digest: CJPJnXYS0WMnW4JVW2YO5/vvwKhRkRE7qROa87Ailpg= | ||
299 | |||
300 | Name: org/eclipse/viatra/dse/api/strategy/impl/BreadthFirstStrategy.cl | ||
301 | ass | ||
302 | SHA-256-Digest: 4odjR0x9jzt7Ed/hw6Q+ydZUrQQggqL8y216Lq60azM= | ||
303 | |||
304 | Name: org/eclipse/viatra/dse/api/Strategies.class | ||
305 | SHA-256-Digest: tURHC++pafgodWMnk4CperJDpZ9m4Do6xHAV37bHUoc= | ||
306 | |||
307 | Name: org/eclipse/viatra/dse/statecoding/StatecodingNode.class | ||
308 | SHA-256-Digest: 2xM/ShgCBqpV9tgQZPBxzTSPgbT7lcp7auQE14dEEqc= | ||
309 | |||
310 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore$ISolutionSave | ||
311 | r.class | ||
312 | SHA-256-Digest: nuYmJKeNKfM0a9sAbRpA6Knzqu51hlK011aoAQpTH3Q= | ||
313 | |||
314 | Name: org/eclipse/viatra/dse/statecoding/StatecodingDependencyGraph.cl | ||
315 | ass | ||
316 | SHA-256-Digest: 9ZxUtKP6+hvWqY9l0b+opdginEK1BoksdLqZ+DYViqI= | ||
317 | |||
318 | Name: org/eclipse/viatra/dse/util/EMFHelper.class | ||
319 | SHA-256-Digest: hpOu0HMuLuiLYUbg0rhdfVG4/ZrlVftoKLmTsRAHW/E= | ||
320 | |||
321 | Name: org/eclipse/viatra/dse/base/DesignSpaceManager$2.class | ||
322 | SHA-256-Digest: x8i8lLzE/UkaQJya1kGbTlJnB/JFNy5607FLESkMQXA= | ||
323 | |||
324 | Name: org/eclipse/viatra/dse/base/ActivationCodesConflictSet.class | ||
325 | SHA-256-Digest: 0G/W2cxiS4R9GEpBWovAIEA4brmQ2sTjqi1F7vgS0/c= | ||
326 | |||
327 | Name: org/eclipse/viatra/dse/api/SolutionTrajectory$1.class | ||
328 | SHA-256-Digest: 7epxs7VJgi7Jmo2pKb22m2OLhOOIu3OHTJrWC8HjEzQ= | ||
329 | |||
330 | Name: org/eclipse/viatra/dse/solutionstore/SolutionStore$IEnoughSoluti | ||
331 | ons.class | ||
332 | SHA-256-Digest: /5Ux9DFOI3UHcG8om2rGzX2k0Yj1lIoeG/tR82P3zpQ= | ||
333 | |||
334 | Name: org/eclipse/viatra/dse/objectives/impl/ConstraintsObjective$Quer | ||
335 | yConstraint.class | ||
336 | SHA-256-Digest: 79pmTnUZbgOHEdGzyj5PIb2eGrd554q3c17LNdbTQxM= | ||
337 | |||
338 | Name: org/eclipse/viatra/dse/objectives/Comparators.class | ||
339 | SHA-256-Digest: V5MzedIHj3KBEBbR4UNAhqmbqB3sHuk183zxMlKhGD4= | ||
340 | |||
341 | Name: org/eclipse/viatra/dse/statecoding/IObjectsProviderFactory.class | ||
342 | SHA-256-Digest: VlWdfwyWo39xhvgIF9PedWC+Yv1Q0hYaDBSF7Z+ClSA= | ||
343 | |||
344 | Name: org/eclipse/viatra/dse/base/GlobalContext$ExplorationProcessStat | ||
345 | e.class | ||
346 | SHA-256-Digest: rNnsUlZX7z1yPBoNSfWvoXwKhSAjGUhpBo9CZVJwadw= | ||
347 | |||
348 | Name: org/eclipse/viatra/dse/base/DseIdPoolHelper.class | ||
349 | SHA-256-Digest: 8wUkapQg0xNS3Vy/Mtv18N9dEB9ev/QiH1tYPzFtBN8= | ||
350 | |||
351 | Name: about.html | ||
352 | SHA-256-Digest: Qx53vUKBh4ByLG9I8uUS7GH8BTecG5s70WKYlnHc04k= | ||
353 | |||
354 | Name: org/eclipse/viatra/dse/solutionstore/ISolutionFoundHandler.class | ||
355 | SHA-256-Digest: bjBZdHvq37DxouRprrTxR0l8CWUCY+aw5JtccbEeAJg= | ||
356 | |||
357 | Name: org/eclipse/viatra/dse/designspace/api/DesignSpace.class | ||
358 | SHA-256-Digest: D51XZw1Z2bCk+PxzX7i8WpE64L9s64FoedEMxM0fSYA= | ||
359 | |||
360 | Name: org/eclipse/viatra/dse/util/ValueComparableEObjectStringMap.clas | ||
361 | s | ||
362 | SHA-256-Digest: VYf9HcY2IbUo2d1K+c2rKIFkxNIRFeEi9zr9s1Inc7o= | ||
363 | |||
364 | Name: org/eclipse/viatra/dse/statecoding/StatecodingNodeType.class | ||
365 | SHA-256-Digest: VUsDepoiER2/0o3aIE8uX08eOdXzvKBkfXPpPaow5yU= | ||
366 | |||
367 | Name: org/eclipse/viatra/dse/api/strategy/interfaces/IStrategyFactory. | ||
368 | class | ||
369 | SHA-256-Digest: K51RjSOSyMrj86BO/zgmo4kO83HgxKvrEGeOTo5WoVs= | ||
370 | |||
371 | Name: org/eclipse/viatra/dse/base/ActivationCodesConflictSet$Activatio | ||
372 | nCodesMultiBiMap.class | ||
373 | SHA-256-Digest: DEtZHFLUnrSZG5x15o2lTasPd5+ufqWCCQXg+YXGxQA= | ||
374 | |||
375 | Name: org/eclipse/viatra/dse/statecoding/TheStateCoder.class | ||
376 | SHA-256-Digest: 7iWoLYIXKNGjRgpIHZDuW3i8wBpV5OqO978Fg9WxEK8= | ||
377 | |||
378 | Name: org/eclipse/viatra/dse/objectives/LeveledObjectivesHelper.class | ||
379 | SHA-256-Digest: HYJ6Z75XEjy3UGBB00bv/GfxdOey+9MpGM5aJuFm5fM= | ||
380 | |||
381 | Name: org/eclipse/viatra/dse/solutionstore/ModelSaverSolutionFoundHand | ||
382 | ler.class | ||
383 | SHA-256-Digest: CmINEWESAe5ynUDWoc8YQQdsmBx1bRLNabbzmoxxsUg= | ||
384 | |||
385 | Name: org/eclipse/viatra/dse/base/DseConflictSet.class | ||
386 | SHA-256-Digest: boreOAKc8L3ZEts53PUwZiZ4l+8Em3aLeXDQBJZihbY= | ||
387 | |||