diff options
Diffstat (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index 8ac31bb2..4f8267b7 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -7,20 +7,19 @@ generate { | |||
7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} | 7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} |
8 | solver = ViatraSolver | 8 | solver = ViatraSolver |
9 | scope = { | 9 | scope = { |
10 | #node = 10..30, | 10 | #node = 20..30, |
11 | #int = {}, | 11 | #int = {}, |
12 | #<Lane> = 1 | 12 | #<Lane> = 1..10, |
13 | } | 13 | #<Actor> = 1..10, |
14 | #<Relation> = 1..10} | ||
14 | 15 | ||
15 | config = { | 16 | config = { |
16 | runtime = 10000, | 17 | runtime = 10000, |
17 | log-level = normal, | 18 | log-level = normal, |
18 | "numeric-solver" = "dreal", | 19 | "numeric-solver" = "dreal", |
19 | "scopePropagator" = "typeHierarchy" | 20 | "scopePropagator" = "typeHierarchy"} |
20 | } | ||
21 | |||
22 | runs = 1 | ||
23 | 21 | ||
22 | runs = 1 | ||
24 | debug = "outputs/debug" | 23 | debug = "outputs/debug" |
25 | log = "outputs/debug/log.txt" | 24 | log = "outputs/debug/log.txt" |
26 | output = "outputs/models" | 25 | output = "outputs/models" |