diff options
| author |  Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 10:34:59 -0500 |
|---|---|---|
| committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 10:34:59 -0500 |
| commit | dc931c24870432efcd3c3fca4fb6fbd401c70420 (patch) | |
| tree | 60e417e047ac712be38058a5b358d5ea2f24c3fe /Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |
| parent | deactivate the constraints used for debugging (diff) | |
| download | VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.tar.gz VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.tar.zst VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.zip | |
refactor simpleScenario->crossingScenario
Diffstat (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')
| -rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig new file mode 100644 index 00000000..8ac31bb2 --- /dev/null +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
| @@ -0,0 +1,28 @@ | |||
| 1 | import epackage "model/crossingScenario.ecore" | ||
| 2 | import viatra "queries/crossingScenarioQueries.vql" | ||
| 3 | |||
| 4 | generate { | ||
| 5 | metamodel = { package crossingScenario } | ||
| 6 | constraints = { package queries} | ||
| 7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} | ||
| 8 | solver = ViatraSolver | ||
| 9 | scope = { | ||
| 10 | #node = 10..30, | ||
| 11 | #int = {}, | ||
| 12 | #<Lane> = 1 | ||
| 13 | } | ||
| 14 | |||
| 15 | config = { | ||
| 16 | runtime = 10000, | ||
| 17 | log-level = normal, | ||
| 18 | "numeric-solver" = "dreal", | ||
| 19 | "scopePropagator" = "typeHierarchy" | ||
| 20 | } | ||
| 21 | |||
| 22 | runs = 1 | ||
| 23 | |||
| 24 | debug = "outputs/debug" | ||
| 25 | log = "outputs/debug/log.txt" | ||
| 26 | output = "outputs/models" | ||
| 27 | statistics = "outputs/statistics.csv" | ||
| 28 | } \ No newline at end of file | ||