diff options
author | 2021-01-20 08:44:27 +0100 | |
---|---|---|
committer | 2021-01-20 08:44:27 +0100 | |
commit | 41a48543aea119acae321aae61b85d711610b652 (patch) | |
tree | da29d1d172eaaa4c9744d77851966b727720ce06 /Domains/crossingScenario/inputs | |
parent | add Actor+CollisionExists constrs & adjust dreal parser & measurements (diff) | |
download | VIATRA-Generator-41a48543aea119acae321aae61b85d711610b652.tar.gz VIATRA-Generator-41a48543aea119acae321aae61b85d711610b652.tar.zst VIATRA-Generator-41a48543aea119acae321aae61b85d711610b652.zip |
almost finish crossscen VQL + implement ITE handling + prelim results
Diffstat (limited to 'Domains/crossingScenario/inputs')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index acd622c5..a5c862e4 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -7,12 +7,14 @@ 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..100, | 10 | #node = 2..* |
11 | #int = {}, | 11 | //, |
12 | #<Lane> = 10..25, | 12 | //#<Lane> = 25..* |
13 | #<Actor> = 10..25, | 13 | //,#<Actor> = 25..* |
14 | #<CollisionExists> = 1..10//, | 14 | //,#<CollisionExists> = 1..10 |
15 | //#<Relation> = 1..10 | 15 | //,#<SeparationDistance> = 1..10 |
16 | //,#<VisionBlocked> = 1..10 | ||
17 | //,#<Relation> = 1..10 | ||
16 | } | 18 | } |
17 | 19 | ||
18 | config = { | 20 | config = { |