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/SimpleSegment.java                 | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/SimpleSegment.java

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

diff --git a/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/SimpleSegment.java b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/SimpleSegment.java
new file mode 100644
index 00000000..da77510f
--- /dev/null
+++ b/Domains/ca.mcgill.rtgmrt.example.modes3/ecore-gen/modes3/SimpleSegment.java
@@ -0,0 +1,17 @@
+/**
+ */
+package modes3;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Simple Segment</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see modes3.Modes3Package#getSimpleSegment()
+ * @model
+ * @generated
+ */
+public interface SimpleSegment extends Segment {
+} // SimpleSegment
-- 
cgit v1.2.3-70-g09d2