diff options
author | 2020-11-04 01:33:58 -0500 | |
---|---|---|
committer | 2020-11-04 01:33:58 -0500 | |
commit | a20af4d0dbf5eab84ee271d426528aabb5a8ac3b (patch) | |
tree | a9ab772ee313125aaf3a941d66e131b408d949ba /Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig | |
parent | changes in settings of measurements (diff) | |
parent | merge with current master, comment numerical solver related logging (diff) | |
download | VIATRA-Generator-a20af4d0dbf5eab84ee271d426528aabb5a8ac3b.tar.gz VIATRA-Generator-a20af4d0dbf5eab84ee271d426528aabb5a8ac3b.tar.zst VIATRA-Generator-a20af4d0dbf5eab84ee271d426528aabb5a8ac3b.zip |
fix merging issue
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig')
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig | 135 |
1 files changed, 68 insertions, 67 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig index 721d506a..618d7b48 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig | |||
@@ -3,23 +3,24 @@ import viatra "../../../Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgrap | |||
3 | 3 | ||
4 | generate { | 4 | generate { |
5 | metamodel = { package yakindumm excluding { Synchronization}} | 5 | metamodel = { package yakindumm excluding { Synchronization}} |
6 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | 6 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } |
7 | partial-model = { "inputs/start.xmi"} | 7 | partial-model = { "inputs/start.xmi"} |
8 | 8 | ||
9 | solver = ViatraSolver | 9 | solver = ViatraSolver |
10 | 10 | ||
11 | scope = { | 11 | scope = { |
12 | #node = 10 | 12 | #node = 200 |
13 | } | 13 | } |
14 | 14 | ||
15 | number = 1 | 15 | number = 1 |
16 | runs = 5 | 16 | runs = 1 |
17 | config = { | 17 | config = { |
18 | log-level = none, | 18 | log-level = none, |
19 | "optional-wf" = "false", | 19 | "optional-wf" = "false", |
20 | "realistic-guidance" = "Composite", | 20 | "realistic-guidance" = "Composite", |
21 | "allow-must-violations" = "false", | 21 | "allow-must-violations" = "false", |
22 | "domain" = "Yakindumm" | 22 | "domain" = "Yakindumm", |
23 | "scopePropagator" = "typeHierarchy" | ||
23 | } | 24 | } |
24 | 25 | ||
25 | statistics = "statistics/Yakindu/warmup.csv" //give different set up different filenames | 26 | statistics = "statistics/Yakindu/warmup.csv" //give different set up different filenames |
@@ -27,80 +28,80 @@ generate { | |||
27 | output = "output/Yakindu/run_time/" | 28 | output = "output/Yakindu/run_time/" |
28 | } | 29 | } |
29 | 30 | ||
30 | generate { | 31 | // generate { |
31 | metamodel = { package yakindumm excluding { Synchronization}} | 32 | // metamodel = { package yakindumm excluding { Synchronization}} |
32 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | 33 | // constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } |
33 | partial-model = { "inputs/start.xmi"} | 34 | // partial-model = { "inputs/start.xmi"} |
34 | 35 | ||
35 | solver = ViatraSolver | 36 | // solver = ViatraSolver |
36 | 37 | ||
37 | scope = { | 38 | // scope = { |
38 | #node = 140 | 39 | // #node = 140 |
39 | } | 40 | // } |
40 | 41 | ||
41 | number = 1 | 42 | // number = 1 |
42 | runs = 20 | 43 | // runs = 20 |
43 | config = { | 44 | // config = { |
44 | log-level = none, | 45 | // log-level = none, |
45 | "optional-wf" = "false", | 46 | // "optional-wf" = "false", |
46 | "realistic-guidance" = "Composite", | 47 | // "realistic-guidance" = "Composite", |
47 | "allow-must-violations" = "false", | 48 | // "allow-must-violations" = "false", |
48 | "domain" = "Yakindumm" | 49 | // "domain" = "Yakindumm" |
49 | } | 50 | // } |
50 | 51 | ||
51 | statistics = "statistics/Yakindu/140.csv" //give different set up different filenames | 52 | // statistics = "statistics/Yakindu/140.csv" //give different set up different filenames |
52 | debug = "debug" | 53 | // debug = "debug" |
53 | output = "output/Yakindu/run_time/" | 54 | // output = "output/Yakindu/run_time/" |
54 | } | 55 | // } |
55 | 56 | ||
56 | generate { | 57 | // generate { |
57 | metamodel = { package yakindumm excluding { Synchronization}} | 58 | // metamodel = { package yakindumm excluding { Synchronization}} |
58 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | 59 | // constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } |
59 | partial-model = { "inputs/start.xmi"} | 60 | // partial-model = { "inputs/start.xmi"} |
60 | 61 | ||
61 | solver = ViatraSolver | 62 | // solver = ViatraSolver |
62 | 63 | ||
63 | scope = { | 64 | // scope = { |
64 | #node = 160 | 65 | // #node = 160 |
65 | } | 66 | // } |
66 | 67 | ||
67 | number = 1 | 68 | // number = 1 |
68 | runs = 20 | 69 | // runs = 20 |
69 | config = { | 70 | // config = { |
70 | log-level = none, | 71 | // log-level = none, |
71 | "optional-wf" = "false", | 72 | // "optional-wf" = "false", |
72 | "realistic-guidance" = "Composite", | 73 | // "realistic-guidance" = "Composite", |
73 | "allow-must-violations" = "false", | 74 | // "allow-must-violations" = "false", |
74 | "domain" = "Yakindumm" | 75 | // "domain" = "Yakindumm" |
75 | } | 76 | // } |
76 | 77 | ||
77 | statistics = "statistics/Yakindu/160.csv" //give different set up different filenames | 78 | // statistics = "statistics/Yakindu/160.csv" //give different set up different filenames |
78 | debug = "debug" | 79 | // debug = "debug" |
79 | output = "output/Yakindu/run_time/" | 80 | // output = "output/Yakindu/run_time/" |
80 | } | 81 | // } |
81 | 82 | ||
82 | generate { | 83 | // generate { |
83 | metamodel = { package yakindumm excluding { Synchronization}} | 84 | // metamodel = { package yakindumm excluding { Synchronization}} |
84 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | 85 | // constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } |
85 | partial-model = { "inputs/start.xmi"} | 86 | // partial-model = { "inputs/start.xmi"} |
86 | 87 | ||
87 | solver = ViatraSolver | 88 | // solver = ViatraSolver |
88 | 89 | ||
89 | scope = { | 90 | // scope = { |
90 | #node = 180 | 91 | // #node = 180 |
91 | } | 92 | // } |
92 | 93 | ||
93 | number = 1 | 94 | // number = 1 |
94 | runs = 20 | 95 | // runs = 20 |
95 | config = { | 96 | // config = { |
96 | log-level = none, | 97 | // log-level = none, |
97 | "optional-wf" = "false", | 98 | // "optional-wf" = "false", |
98 | "realistic-guidance" = "Composite", | 99 | // "realistic-guidance" = "Composite", |
99 | "allow-must-violations" = "false", | 100 | // "allow-must-violations" = "false", |
100 | "domain" = "Yakindumm" | 101 | // "domain" = "Yakindumm" |
101 | } | 102 | // } |
102 | 103 | ||
103 | statistics = "statistics/Yakindu/180.csv" //give different set up different filenames | 104 | // statistics = "statistics/Yakindu/180.csv" //give different set up different filenames |
104 | debug = "debug" | 105 | // debug = "debug" |
105 | output = "output/Yakindu/run_time/" | 106 | // output = "output/Yakindu/run_time/" |
106 | } \ No newline at end of file | 107 | // } \ No newline at end of file |