From 953227f62ece22f06bc54a47eeec8bf79b25dc27 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 19 Jan 2021 12:46:58 +0100
Subject: add Actor+CollisionExists constrs & adjust dreal parser &
 measurements

---
 Domains/crossingScenario/ecore-gen/crossingScenario/Actor.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Domains/crossingScenario/ecore-gen/crossingScenario/Actor.java')

diff --git a/Domains/crossingScenario/ecore-gen/crossingScenario/Actor.java b/Domains/crossingScenario/ecore-gen/crossingScenario/Actor.java
index 035aafcc..31199a91 100644
--- a/Domains/crossingScenario/ecore-gen/crossingScenario/Actor.java
+++ b/Domains/crossingScenario/ecore-gen/crossingScenario/Actor.java
@@ -82,7 +82,7 @@ public interface Actor extends EObject {
 	 * @return the value of the '<em>Length</em>' attribute.
 	 * @see #setLength(double)
 	 * @see crossingScenario.CrossingScenarioPackage#getActor_Length()
-	 * @model default="0.0" required="true" derived="true"
+	 * @model default="0.0" required="true"
 	 * @generated
 	 */
 	double getLength();
@@ -104,7 +104,7 @@ public interface Actor extends EObject {
 	 * @return the value of the '<em>Width</em>' attribute.
 	 * @see #setWidth(double)
 	 * @see crossingScenario.CrossingScenarioPackage#getActor_Width()
-	 * @model required="true" derived="true"
+	 * @model required="true"
 	 * @generated
 	 */
 	double getWidth();
-- 
cgit v1.2.3-54-g00ecf