From 4fe7fce97aedbd516109ef81afc33e00112b7b68 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 28 Aug 2020 18:58:37 +0200
Subject: Must unit propagation

---
 .../ecore-gen/modes3/impl/Modes3ModelRootImpl.java             | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3ModelRootImpl.java')

diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3ModelRootImpl.java b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3ModelRootImpl.java
index d1ee25ff..ccab1f29 100644
--- a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3ModelRootImpl.java
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/impl/Modes3ModelRootImpl.java
@@ -6,7 +6,7 @@ import java.util.Collection;
 
 import modes3.Modes3ModelRoot;
 import modes3.Modes3Package;
-import modes3.Segment;
+import modes3.SimpleSegment;
 import modes3.Train;
 import modes3.Turnout;
 
@@ -79,7 +79,7 @@ public class Modes3ModelRootImpl extends MinimalEObjectImpl.Container implements
 	 * @generated
 	 * @ordered
 	 */
-	protected EList<Segment> segments;
+	protected EList<SimpleSegment> segments;
 
 	/**
 	 * The cached value of the '{@link #getTurnouts() <em>Turnouts</em>}' containment reference list.
@@ -148,9 +148,9 @@ public class Modes3ModelRootImpl extends MinimalEObjectImpl.Container implements
 	 * <!-- end-user-doc -->
 	 * @generated
 	 */
-	public EList<Segment> getSegments() {
+	public EList<SimpleSegment> getSegments() {
 		if (segments == null) {
-			segments = new EObjectContainmentEList<Segment>(Segment.class, this, Modes3Package.MODES3_MODEL_ROOT__SEGMENTS);
+			segments = new EObjectContainmentEList<SimpleSegment>(SimpleSegment.class, this, Modes3Package.MODES3_MODEL_ROOT__SEGMENTS);
 		}
 		return segments;
 	}
@@ -223,7 +223,7 @@ public class Modes3ModelRootImpl extends MinimalEObjectImpl.Container implements
 				return;
 			case Modes3Package.MODES3_MODEL_ROOT__SEGMENTS:
 				getSegments().clear();
-				getSegments().addAll((Collection<? extends Segment>)newValue);
+				getSegments().addAll((Collection<? extends SimpleSegment>)newValue);
 				return;
 			case Modes3Package.MODES3_MODEL_ROOT__TURNOUTS:
 				getTurnouts().clear();
-- 
cgit v1.2.3-70-g09d2