aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-17 01:58:13 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-17 01:58:13 -0400
commit48871e1be75169e4e3768a7c0c47791e02c7e634 (patch)
treecfcd4e4fdc0dea4f4b0102a610459ed7509f47f8 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
parentAdjust Taxation model. (diff)
downloadVIATRA-Generator-48871e1be75169e4e3768a7c0c47791e02c7e634.tar.gz
VIATRA-Generator-48871e1be75169e4e3768a7c0c47791e02c7e634.tar.zst
VIATRA-Generator-48871e1be75169e4e3768a7c0c47791e02c7e634.zip
update measurements setup. make archives.
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml66
1 files changed, 0 insertions, 66 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
index f6f6d215..5f40caf6 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/plugin.xml
@@ -1,64 +1,4 @@
1<?xml version="1.0" encoding="UTF-8"?><plugin> 1<?xml version="1.0" encoding="UTF-8"?><plugin>
2 <extension id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" point="org.eclipse.viatra.query.runtime.queryspecification">
3 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries" id="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.SatelliteQueries">
4 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLinkDoesNotStartAtContainingElement"/>
5 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.transmittingGroundStationNetwork"/>
6 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.roundStationNetworkUHF"/>
7 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.notEnoughInterferometryPayloads"/>
8 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.communicationLoop"/>
9 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.incompatibleSourceAndTargetBand"/>
10 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.threeUCubeSatWithNonUhfCrossLink"/>
11 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.cubeSatWithKaAntenna"/>
12 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.smallSat"/>
13 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.differentFrequency"/>
14 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForUHF"/>
15 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForUHF"/>
16 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForKaComm"/>
17 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForKaComm"/>
18 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighFrequencyForXComm"/>
19 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowFrequencyForXComm"/>
20 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooHighPathLengthForSatelite"/>
21 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowPathLengthForSatelite"/>
22 <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.satellite.queries.tooLowPathLengthForGroundStation"/>
23 </group>
24 </extension>
25 <extension id="queries.Case_study_A" point="org.eclipse.viatra.query.runtime.queryspecification">
26 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A" id="queries.Case_study_A">
27 <query-specification fqn="queries.inv03"/>
28 <query-specification fqn="queries.x_inv03_eligAll"/>
29 <query-specification fqn="queries.x_inv03_hasAll"/>
30 <query-specification fqn="queries.inv05"/>
31 <query-specification fqn="queries.x_inv05_inRange"/>
32 <query-specification fqn="queries.inv06"/>
33 <query-specification fqn="queries.inv07"/>
34 <query-specification fqn="queries.inv08"/>
35 <query-specification fqn="queries.x_inv08_notEI"/>
36 <query-specification fqn="queries.x_inv08_noType"/>
37 <query-specification fqn="queries.x_inv08_inRange"/>
38 <query-specification fqn="queries.inv10"/>
39 <query-specification fqn="queries.inv11"/>
40 <query-specification fqn="queries.x_inv11_incOver100"/>
41 <query-specification fqn="queries.x_inv11_incNotOver100"/>
42 <query-specification fqn="queries.inv12"/>
43 <query-specification fqn="queries.x_inv12_notNonRes"/>
44 <query-specification fqn="queries.x_inv12_notZZ"/>
45 <query-specification fqn="queries.inv13"/>
46 <query-specification fqn="queries.x_inv13"/>
47 <query-specification fqn="queries.inv15"/>
48 <query-specification fqn="queries.x_inv15"/>
49 <query-specification fqn="queries.inv17"/>
50 <query-specification fqn="queries.inv20"/>
51 <query-specification fqn="queries.inv33"/>
52 <query-specification fqn="queries.inv34"/>
53 <query-specification fqn="queries.inv35"/>
54 <query-specification fqn="queries.inv47"/>
55 <query-specification fqn="queries.x_inv47"/>
56 <query-specification fqn="queries.inv48"/>
57 <query-specification fqn="queries.x_inv48"/>
58 <query-specification fqn="queries.inv49_A"/>
59 <query-specification fqn="queries.inv49_B"/>
60 </group>
61 </extension>
62 <extension id="queries.Case_study_A_withRoot" point="org.eclipse.viatra.query.runtime.queryspecification"> 2 <extension id="queries.Case_study_A_withRoot" point="org.eclipse.viatra.query.runtime.queryspecification">
63 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A_withRoot" id="queries.Case_study_A_withRoot"> 3 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_A_withRoot" id="queries.Case_study_A_withRoot">
64 <query-specification fqn="queries.inv03"/> 4 <query-specification fqn="queries.inv03"/>
@@ -96,12 +36,6 @@
96 <query-specification fqn="queries.inv49_B"/> 36 <query-specification fqn="queries.inv49_B"/>
97 </group> 37 </group>
98 </extension> 38 </extension>
99 <extension id="queries.Case_study_short" point="org.eclipse.viatra.query.runtime.queryspecification">
100 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Case_study_short" id="queries.Case_study_short">
101 <query-specification fqn="queries.inv48"/>
102 <query-specification fqn="queries.x_inv48"/>
103 </group>
104 </extension>
105 <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification"> 39 <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification">
106 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints"> 40 <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints">
107 <query-specification fqn="queries.memberIsItsOwnParent"/> 41 <query-specification fqn="queries.memberIsItsOwnParent"/>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-06 04:31:41 +0000