diff options
author | 2021-01-17 03:13:47 -0500 | |
---|---|---|
committer | 2021-01-17 03:13:47 -0500 | |
commit | 6ac7f9bb5a9e8c2e98960cd56ca083741a709f3f (patch) | |
tree | 2fcb033ee2cf34506b9550a9939c421babfae7dd /Domains/crossingScenario/inputs | |
parent | complete queries for lane structure (diff) | |
download | VIATRA-Generator-6ac7f9bb5a9e8c2e98960cd56ca083741a709f3f.tar.gz VIATRA-Generator-6ac7f9bb5a9e8c2e98960cd56ca083741a709f3f.tar.zst VIATRA-Generator-6ac7f9bb5a9e8c2e98960cd56ca083741a709f3f.zip |
add some actor-related queries, solve minor Z3 issue
Diffstat (limited to 'Domains/crossingScenario/inputs')
-rw-r--r-- | Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig index b216ed3f..c79c5775 100644 --- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -9,8 +9,8 @@ generate { | |||
9 | scope = { | 9 | scope = { |
10 | #node = 15..100, | 10 | #node = 15..100, |
11 | #int = {}, | 11 | #int = {}, |
12 | #<Lane> = 20..25//, | 12 | #<Lane> = 10..25, |
13 | //#<Actor> = 1..10, | 13 | #<Actor> = 10..25//, |
14 | //#<Relation> = 1..10 | 14 | //#<Relation> = 1..10 |
15 | } | 15 | } |
16 | 16 | ||