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