diff options
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 |