diff options
Diffstat (limited to 'Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig')
| -rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index 1d47952d..7d329d18 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
| @@ -8,7 +8,7 @@ generate { | |||
| 8 | partial-model = { "inputs/cSinit4x4.xmi"} | 8 | partial-model = { "inputs/cSinit4x4.xmi"} |
| 9 | solver = ViatraSolver | 9 | solver = ViatraSolver |
| 10 | scope = { | 10 | scope = { |
| 11 | #node += 2..* | 11 | #node += 0..* |
| 12 | ,#<Lane> += 0 | 12 | ,#<Lane> += 0 |
| 13 | //,#<Actor> = 25..* | 13 | //,#<Actor> = 25..* |
| 14 | ,#<Relation> += 0 | 14 | ,#<Relation> += 0 |
| @@ -23,7 +23,20 @@ generate { | |||
| 23 | log-level = none, | 23 | log-level = none, |
| 24 | "numeric-solver" = "dreal-local", | 24 | "numeric-solver" = "dreal-local", |
| 25 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", | 25 | "dreal-local-path" = "/home/models/dreal4/bazel-bin/dreal/dreal", |
| 26 | "ignored-attributes" = "CollisionExists.collisionTime=*", | 26 | "ignored-attributes" = " |
| 27 | Pedestrian.xPos=*, | ||
| 28 | Pedestrian.yPos=*, | ||
| 29 | Pedestrian.length=*, | ||
| 30 | Pedestrian.width=*, | ||
| 31 | Pedestrian.xSpeed=*, | ||
| 32 | Pedestrian.ySpeed=*, | ||
| 33 | Vehicle.xPos=*, | ||
| 34 | Vehicle.yPos=*, | ||
| 35 | Vehicle.length=*, | ||
| 36 | Vehicle.width=*, | ||
| 37 | Vehicle.xSpeed=*, | ||
| 38 | Vehicle.ySpeed=*, | ||
| 39 | CollisionExists.collisionTime=*", | ||
| 27 | "scopePropagator" = "polyhedral"} | 40 | "scopePropagator" = "polyhedral"} |
| 28 | 41 | ||
| 29 | runs = 1 | 42 | runs = 1 |