From 14afb998045e508b07633ea63c72b582084f8c4c Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 3 Feb 2021 02:35:39 +0100 Subject: major changes to CS case study, working example, few issues, major assumptions --- .../crossingScenario/model/crossingScenario2.aird | 88 +--------------------- 1 file changed, 2 insertions(+), 86 deletions(-) (limited to 'Domains/crossingScenario/model/crossingScenario2.aird') diff --git a/Domains/crossingScenario/model/crossingScenario2.aird b/Domains/crossingScenario/model/crossingScenario2.aird index f278e603..daf4df5b 100644 --- a/Domains/crossingScenario/model/crossingScenario2.aird +++ b/Domains/crossingScenario/model/crossingScenario2.aird @@ -5,7 +5,7 @@ crossingScenario.genmodel - + @@ -48,15 +48,6 @@ - - - - - - - - - @@ -364,54 +355,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - @@ -533,7 +476,7 @@ - + KEEP_LOCATION @@ -801,33 +744,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - -- cgit v1.2.3-54-g00ecf