aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-17 03:13:47 -0500
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-17 03:13:47 -0500
commit6ac7f9bb5a9e8c2e98960cd56ca083741a709f3f (patch)
tree2fcb033ee2cf34506b9550a9939c421babfae7dd /Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
parentcomplete queries for lane structure (diff)
downloadVIATRA-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/crossingScenarioGen.vsconfig')
-rw-r--r--Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig4
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