diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-22 06:31:42 +0100 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-22 06:31:42 +0100 |
commit | ce2c92f402433f5b47df1eb2c9920fefc8a88e2c (patch) | |
tree | 351e8e491c32a02a3ccbffe595c236d4f827c091 /Domains/crossingScenario/queries | |
parent | Almost done implementing collision correctly (diff) | |
download | VIATRA-Generator-ce2c92f402433f5b47df1eb2c9920fefc8a88e2c.tar.gz VIATRA-Generator-ce2c92f402433f5b47df1eb2c9920fefc8a88e2c.tar.zst VIATRA-Generator-ce2c92f402433f5b47df1eb2c9920fefc8a88e2c.zip |
Sorry, I forgot something last commit
Diffstat (limited to 'Domains/crossingScenario/queries')
-rw-r--r-- | Domains/crossingScenario/queries/crossingScenarioQueries.vql | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Domains/crossingScenario/queries/crossingScenarioQueries.vql b/Domains/crossingScenario/queries/crossingScenarioQueries.vql index 6c94a702..c009e031 100644 --- a/Domains/crossingScenario/queries/crossingScenarioQueries.vql +++ b/Domains/crossingScenario/queries/crossingScenarioQueries.vql | |||
@@ -497,7 +497,7 @@ pattern collisionExists_vsVisionBlocked(a1:Actor) { | |||
497 | } | 497 | } |
498 | */ | 498 | */ |
499 | //<<END QUALITATIF ABSTRACTION>> | 499 | //<<END QUALITATIF ABSTRACTION>> |
500 | /* | 500 | |
501 | //// | 501 | //// |
502 | //CollisionExists - Time | 502 | //CollisionExists - Time |
503 | //// | 503 | //// |