Add gitignore, commit everything

14 files changed, 2096 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java
new file mode 100644
index 00000000..379d4a29
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ChoiceImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Choice</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class ChoiceImpl extends PseudostateImpl implements Choice {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ChoiceImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.CHOICE;
+        }
+
+} //ChoiceImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java
new file mode 100644
index 00000000..067a5ee3
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/CompositeElementImpl.java
@@ -0,0 +1,152 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Composite Element</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl#getRegions <em>Regions</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public abstract class CompositeElementImpl extends MinimalEObjectImpl.Container implements CompositeElement {
+        /**
+         * The cached value of the '{@link #getRegions() <em>Regions</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getRegions()
+         * @generated
+         * @ordered
+         */
+        protected EList<Region> regions;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected CompositeElementImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.COMPOSITE_ELEMENT;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<Region> getRegions() {
+                if (regions == null) {
+                        regions = new EObjectContainmentEList<Region>(Region.class, this, YakindummPackage.COMPOSITE_ELEMENT__REGIONS);
+                }
+                return regions;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.COMPOSITE_ELEMENT__REGIONS:
+                                return ((InternalEList<?>)getRegions()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case YakindummPackage.COMPOSITE_ELEMENT__REGIONS:
+                                return getRegions();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case YakindummPackage.COMPOSITE_ELEMENT__REGIONS:
+                                getRegions().clear();
+                                getRegions().addAll((Collection<? extends Region>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.COMPOSITE_ELEMENT__REGIONS:
+                                getRegions().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.COMPOSITE_ELEMENT__REGIONS:
+                                return regions != null && !regions.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //CompositeElementImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/EntryImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/EntryImpl.java
new file mode 100644
index 00000000..0ad87100
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/EntryImpl.java
@@ -0,0 +1,163 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.common.notify.Notification;
+
+import org.eclipse.emf.ecore.EClass;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Entry</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl#getType <em>Type</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class EntryImpl extends PseudostateImpl implements Entry {
+        /**
+         * The default value of the '{@link #getType() <em>Type</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getType()
+         * @generated
+         * @ordered
+         */
+        protected static final EntryType TYPE_EDEFAULT = EntryType.NORMAL;
+
+        /**
+         * The cached value of the '{@link #getType() <em>Type</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getType()
+         * @generated
+         * @ordered
+         */
+        protected EntryType type = TYPE_EDEFAULT;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected EntryImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.ENTRY;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EntryType getType() {
+                return type;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setType(EntryType newType) {
+                EntryType oldType = type;
+                type = newType == null ? TYPE_EDEFAULT : newType;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, YakindummPackage.ENTRY__TYPE, oldType, type));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case YakindummPackage.ENTRY__TYPE:
+                                return getType();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case YakindummPackage.ENTRY__TYPE:
+                                setType((EntryType)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.ENTRY__TYPE:
+                                setType(TYPE_EDEFAULT);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.ENTRY__TYPE:
+                                return type != TYPE_EDEFAULT;
+                }
+                return super.eIsSet(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String toString() {
+                if (eIsProxy()) return super.toString();
+
+                StringBuilder result = new StringBuilder(super.toString());
+                result.append(" (Type: ");
+                result.append(type);
+                result.append(')');
+                return result.toString();
+        }
+
+} //EntryImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java
new file mode 100644
index 00000000..ae360e68
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/ExitImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Exit</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class ExitImpl extends PseudostateImpl implements Exit {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected ExitImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.EXIT;
+        }
+
+} //ExitImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java
new file mode 100644
index 00000000..ccb19763
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/FinalStateImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Final State</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class FinalStateImpl extends RegularStateImpl implements FinalState {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FinalStateImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.FINAL_STATE;
+        }
+
+} //FinalStateImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java
new file mode 100644
index 00000000..b8c76c27
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/PseudostateImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Pseudostate</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public abstract class PseudostateImpl extends VertexImpl implements Pseudostate {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected PseudostateImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.PSEUDOSTATE;
+        }
+
+} //PseudostateImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java
new file mode 100644
index 00000000..440c389c
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegionImpl.java
@@ -0,0 +1,152 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Region</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl#getVertices <em>Vertices</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class RegionImpl extends MinimalEObjectImpl.Container implements Region {
+        /**
+         * The cached value of the '{@link #getVertices() <em>Vertices</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getVertices()
+         * @generated
+         * @ordered
+         */
+        protected EList<Vertex> vertices;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected RegionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.REGION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<Vertex> getVertices() {
+                if (vertices == null) {
+                        vertices = new EObjectContainmentEList<Vertex>(Vertex.class, this, YakindummPackage.REGION__VERTICES);
+                }
+                return vertices;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.REGION__VERTICES:
+                                return ((InternalEList<?>)getVertices()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case YakindummPackage.REGION__VERTICES:
+                                return getVertices();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case YakindummPackage.REGION__VERTICES:
+                                getVertices().clear();
+                                getVertices().addAll((Collection<? extends Vertex>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.REGION__VERTICES:
+                                getVertices().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.REGION__VERTICES:
+                                return vertices != null && !vertices.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //RegionImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java
new file mode 100644
index 00000000..2ada6da9
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/RegularStateImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Regular State</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public abstract class RegularStateImpl extends VertexImpl implements RegularState {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected RegularStateImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.REGULAR_STATE;
+        }
+
+} //RegularStateImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java
new file mode 100644
index 00000000..080bed16
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StateImpl.java
@@ -0,0 +1,183 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>State</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl#getRegions <em>Regions</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class StateImpl extends RegularStateImpl implements State {
+        /**
+         * The cached value of the '{@link #getRegions() <em>Regions</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getRegions()
+         * @generated
+         * @ordered
+         */
+        protected EList<Region> regions;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected StateImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.STATE;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<Region> getRegions() {
+                if (regions == null) {
+                        regions = new EObjectContainmentEList<Region>(Region.class, this, YakindummPackage.STATE__REGIONS);
+                }
+                return regions;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.STATE__REGIONS:
+                                return ((InternalEList<?>)getRegions()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case YakindummPackage.STATE__REGIONS:
+                                return getRegions();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case YakindummPackage.STATE__REGIONS:
+                                getRegions().clear();
+                                getRegions().addAll((Collection<? extends Region>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.STATE__REGIONS:
+                                getRegions().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.STATE__REGIONS:
+                                return regions != null && !regions.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public int eBaseStructuralFeatureID(int derivedFeatureID, Class<?> baseClass) {
+                if (baseClass == CompositeElement.class) {
+                        switch (derivedFeatureID) {
+                                case YakindummPackage.STATE__REGIONS: return YakindummPackage.COMPOSITE_ELEMENT__REGIONS;
+                                default: return -1;
+                        }
+                }
+                return super.eBaseStructuralFeatureID(derivedFeatureID, baseClass);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public int eDerivedStructuralFeatureID(int baseFeatureID, Class<?> baseClass) {
+                if (baseClass == CompositeElement.class) {
+                        switch (baseFeatureID) {
+                                case YakindummPackage.COMPOSITE_ELEMENT__REGIONS: return YakindummPackage.STATE__REGIONS;
+                                default: return -1;
+                        }
+                }
+                return super.eDerivedStructuralFeatureID(baseFeatureID, baseClass);
+        }
+
+} //StateImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java
new file mode 100644
index 00000000..0b48e8d8
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/StatechartImpl.java
@@ -0,0 +1,37 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EClass;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Statechart</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * @generated
+ */
+public class StatechartImpl extends CompositeElementImpl implements Statechart {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected StatechartImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.STATECHART;
+        }
+
+} //StatechartImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java
new file mode 100644
index 00000000..875964a2
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/TransitionImpl.java
@@ -0,0 +1,284 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EcoreUtil;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Transition</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl#getTarget <em>Target</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl#getSource <em>Source</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class TransitionImpl extends MinimalEObjectImpl.Container implements Transition {
+        /**
+         * The cached value of the '{@link #getTarget() <em>Target</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getTarget()
+         * @generated
+         * @ordered
+         */
+        protected Vertex target;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected TransitionImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.TRANSITION;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Vertex getTarget() {
+                if (target != null && target.eIsProxy()) {
+                        InternalEObject oldTarget = (InternalEObject)target;
+                        target = (Vertex)eResolveProxy(oldTarget);
+                        if (target != oldTarget) {
+                                if (eNotificationRequired())
+                                        eNotify(new ENotificationImpl(this, Notification.RESOLVE, YakindummPackage.TRANSITION__TARGET, oldTarget, target));
+                        }
+                }
+                return target;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Vertex basicGetTarget() {
+                return target;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetTarget(Vertex newTarget, NotificationChain msgs) {
+                Vertex oldTarget = target;
+                target = newTarget;
+                if (eNotificationRequired()) {
+                        ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, YakindummPackage.TRANSITION__TARGET, oldTarget, newTarget);
+                        if (msgs == null) msgs = notification; else msgs.add(notification);
+                }
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setTarget(Vertex newTarget) {
+                if (newTarget != target) {
+                        NotificationChain msgs = null;
+                        if (target != null)
+                                msgs = ((InternalEObject)target).eInverseRemove(this, YakindummPackage.VERTEX__INCOMING_TRANSITIONS, Vertex.class, msgs);
+                        if (newTarget != null)
+                                msgs = ((InternalEObject)newTarget).eInverseAdd(this, YakindummPackage.VERTEX__INCOMING_TRANSITIONS, Vertex.class, msgs);
+                        msgs = basicSetTarget(newTarget, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, YakindummPackage.TRANSITION__TARGET, newTarget, newTarget));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Vertex getSource() {
+                if (eContainerFeatureID() != YakindummPackage.TRANSITION__SOURCE) return null;
+                return (Vertex)eInternalContainer();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public NotificationChain basicSetSource(Vertex newSource, NotificationChain msgs) {
+                msgs = eBasicSetContainer((InternalEObject)newSource, YakindummPackage.TRANSITION__SOURCE, msgs);
+                return msgs;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void setSource(Vertex newSource) {
+                if (newSource != eInternalContainer() || (eContainerFeatureID() != YakindummPackage.TRANSITION__SOURCE && newSource != null)) {
+                        if (EcoreUtil.isAncestor(this, newSource))
+                                throw new IllegalArgumentException("Recursive containment not allowed for " + toString());
+                        NotificationChain msgs = null;
+                        if (eInternalContainer() != null)
+                                msgs = eBasicRemoveFromContainer(msgs);
+                        if (newSource != null)
+                                msgs = ((InternalEObject)newSource).eInverseAdd(this, YakindummPackage.VERTEX__OUTGOING_TRANSITIONS, Vertex.class, msgs);
+                        msgs = basicSetSource(newSource, msgs);
+                        if (msgs != null) msgs.dispatch();
+                }
+                else if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, YakindummPackage.TRANSITION__SOURCE, newSource, newSource));
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.TRANSITION__TARGET:
+                                if (target != null)
+                                        msgs = ((InternalEObject)target).eInverseRemove(this, YakindummPackage.VERTEX__INCOMING_TRANSITIONS, Vertex.class, msgs);
+                                return basicSetTarget((Vertex)otherEnd, msgs);
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                if (eInternalContainer() != null)
+                                        msgs = eBasicRemoveFromContainer(msgs);
+                                return basicSetSource((Vertex)otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.TRANSITION__TARGET:
+                                return basicSetTarget(null, msgs);
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                return basicSetSource(null, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eBasicRemoveFromContainerFeature(NotificationChain msgs) {
+                switch (eContainerFeatureID()) {
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                return eInternalContainer().eInverseRemove(this, YakindummPackage.VERTEX__OUTGOING_TRANSITIONS, Vertex.class, msgs);
+                }
+                return super.eBasicRemoveFromContainerFeature(msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case YakindummPackage.TRANSITION__TARGET:
+                                if (resolve) return getTarget();
+                                return basicGetTarget();
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                return getSource();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case YakindummPackage.TRANSITION__TARGET:
+                                setTarget((Vertex)newValue);
+                                return;
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                setSource((Vertex)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.TRANSITION__TARGET:
+                                setTarget((Vertex)null);
+                                return;
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                setSource((Vertex)null);
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.TRANSITION__TARGET:
+                                return target != null;
+                        case YakindummPackage.TRANSITION__SOURCE:
+                                return getSource() != null;
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //TransitionImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java
new file mode 100644
index 00000000..66871f3f
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/VertexImpl.java
@@ -0,0 +1,206 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import java.util.Collection;
+
+import org.eclipse.emf.common.notify.NotificationChain;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+
+import org.eclipse.emf.ecore.util.EObjectContainmentWithInverseEList;
+import org.eclipse.emf.ecore.util.EObjectWithInverseResolvingEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Vertex</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl#getIncomingTransitions <em>Incoming Transitions</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl#getOutgoingTransitions <em>Outgoing Transitions</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public abstract class VertexImpl extends MinimalEObjectImpl.Container implements Vertex {
+        /**
+         * The cached value of the '{@link #getIncomingTransitions() <em>Incoming Transitions</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getIncomingTransitions()
+         * @generated
+         * @ordered
+         */
+        protected EList<Transition> incomingTransitions;
+
+        /**
+         * The cached value of the '{@link #getOutgoingTransitions() <em>Outgoing Transitions</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getOutgoingTransitions()
+         * @generated
+         * @ordered
+         */
+        protected EList<Transition> outgoingTransitions;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected VertexImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return YakindummPackage.Literals.VERTEX;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<Transition> getIncomingTransitions() {
+                if (incomingTransitions == null) {
+                        incomingTransitions = new EObjectWithInverseResolvingEList<Transition>(Transition.class, this, YakindummPackage.VERTEX__INCOMING_TRANSITIONS, YakindummPackage.TRANSITION__TARGET);
+                }
+                return incomingTransitions;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EList<Transition> getOutgoingTransitions() {
+                if (outgoingTransitions == null) {
+                        outgoingTransitions = new EObjectContainmentWithInverseEList<Transition>(Transition.class, this, YakindummPackage.VERTEX__OUTGOING_TRANSITIONS, YakindummPackage.TRANSITION__SOURCE);
+                }
+                return outgoingTransitions;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.VERTEX__INCOMING_TRANSITIONS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getIncomingTransitions()).basicAdd(otherEnd, msgs);
+                        case YakindummPackage.VERTEX__OUTGOING_TRANSITIONS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getOutgoingTransitions()).basicAdd(otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case YakindummPackage.VERTEX__INCOMING_TRANSITIONS:
+                                return ((InternalEList<?>)getIncomingTransitions()).basicRemove(otherEnd, msgs);
+                        case YakindummPackage.VERTEX__OUTGOING_TRANSITIONS:
+                                return ((InternalEList<?>)getOutgoingTransitions()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case YakindummPackage.VERTEX__INCOMING_TRANSITIONS:
+                                return getIncomingTransitions();
+                        case YakindummPackage.VERTEX__OUTGOING_TRANSITIONS:
+                                return getOutgoingTransitions();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case YakindummPackage.VERTEX__INCOMING_TRANSITIONS:
+                                getIncomingTransitions().clear();
+                                getIncomingTransitions().addAll((Collection<? extends Transition>)newValue);
+                                return;
+                        case YakindummPackage.VERTEX__OUTGOING_TRANSITIONS:
+                                getOutgoingTransitions().clear();
+                                getOutgoingTransitions().addAll((Collection<? extends Transition>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.VERTEX__INCOMING_TRANSITIONS:
+                                getIncomingTransitions().clear();
+                                return;
+                        case YakindummPackage.VERTEX__OUTGOING_TRANSITIONS:
+                                getOutgoingTransitions().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case YakindummPackage.VERTEX__INCOMING_TRANSITIONS:
+                                return incomingTransitions != null && !incomingTransitions.isEmpty();
+                        case YakindummPackage.VERTEX__OUTGOING_TRANSITIONS:
+                                return outgoingTransitions != null && !outgoingTransitions.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+
+} //VertexImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
new file mode 100644
index 00000000..d4be344f
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummFactoryImpl.java
@@ -0,0 +1,223 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
+
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EDataType;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class YakindummFactoryImpl extends EFactoryImpl implements YakindummFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static YakindummFactory init() {
+                try {
+                        YakindummFactory theYakindummFactory = (YakindummFactory)EPackage.Registry.INSTANCE.getEFactory(YakindummPackage.eNS_URI);
+                        if (theYakindummFactory != null) {
+                                return theYakindummFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new YakindummFactoryImpl();
+        }
+
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummFactoryImpl() {
+                super();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case YakindummPackage.REGION: return createRegion();
+                        case YakindummPackage.TRANSITION: return createTransition();
+                        case YakindummPackage.STATECHART: return createStatechart();
+                        case YakindummPackage.ENTRY: return createEntry();
+                        case YakindummPackage.STATE: return createState();
+                        case YakindummPackage.CHOICE: return createChoice();
+                        case YakindummPackage.EXIT: return createExit();
+                        case YakindummPackage.FINAL_STATE: return createFinalState();
+                        default:
+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object createFromString(EDataType eDataType, String initialValue) {
+                switch (eDataType.getClassifierID()) {
+                        case YakindummPackage.ENTRY_TYPE:
+                                return createEntryTypeFromString(eDataType, initialValue);
+                        default:
+                                throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String convertToString(EDataType eDataType, Object instanceValue) {
+                switch (eDataType.getClassifierID()) {
+                        case YakindummPackage.ENTRY_TYPE:
+                                return convertEntryTypeToString(eDataType, instanceValue);
+                        default:
+                                throw new IllegalArgumentException("The datatype '" + eDataType.getName() + "' is not a valid classifier");
+                }
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Region createRegion() {
+                RegionImpl region = new RegionImpl();
+                return region;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Transition createTransition() {
+                TransitionImpl transition = new TransitionImpl();
+                return transition;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Statechart createStatechart() {
+                StatechartImpl statechart = new StatechartImpl();
+                return statechart;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Entry createEntry() {
+                EntryImpl entry = new EntryImpl();
+                return entry;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public State createState() {
+                StateImpl state = new StateImpl();
+                return state;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Choice createChoice() {
+                ChoiceImpl choice = new ChoiceImpl();
+                return choice;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public Exit createExit() {
+                ExitImpl exit = new ExitImpl();
+                return exit;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FinalState createFinalState() {
+                FinalStateImpl finalState = new FinalStateImpl();
+                return finalState;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EntryType createEntryTypeFromString(EDataType eDataType, String initialValue) {
+                EntryType result = EntryType.get(initialValue);
+                if (result == null) throw new IllegalArgumentException("The value '" + initialValue + "' is not a valid enumerator of '" + eDataType.getName() + "'");
+                return result;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String convertEntryTypeToString(EDataType eDataType, Object instanceValue) {
+                return instanceValue == null ? null : instanceValue.toString();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummPackage getYakindummPackage() {
+                return (YakindummPackage)getEPackage();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static YakindummPackage getPackage() {
+                return YakindummPackage.eINSTANCE;
+        }
+
+} //YakindummFactoryImpl
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
new file mode 100644
index 00000000..b95dc3ea
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/impl/YakindummPackageImpl.java
@@ -0,0 +1,511 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummFactory;
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage;
+
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EEnum;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+
+import org.eclipse.emf.ecore.impl.EPackageImpl;
+
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Package</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class YakindummPackageImpl extends EPackageImpl implements YakindummPackage {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass pseudostateEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass vertexEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass regionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass transitionEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass statechartEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass entryEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass stateEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass regularStateEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass compositeElementEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass choiceEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass exitEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass finalStateEClass = null;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EEnum entryTypeEEnum = null;
+
+        /**
+         * Creates an instance of the model <b>Package</b>, registered with
+         * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
+         * package URI value.
+         * <p>Note: the correct way to create the package is via the static
+         * factory method {@link #init init()}, which also performs
+         * initialization of the package, or returns the registered package,
+         * if one already exists.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see org.eclipse.emf.ecore.EPackage.Registry
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#eNS_URI
+         * @see #init()
+         * @generated
+         */
+        private YakindummPackageImpl() {
+                super(eNS_URI, YakindummFactory.eINSTANCE);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static boolean isInited = false;
+
+        /**
+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
+         *
+         * <p>This method is used to initialize {@link YakindummPackage#eINSTANCE} when that field is accessed.
+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #eNS_URI
+         * @see #createPackageContents()
+         * @see #initializePackageContents()
+         * @generated
+         */
+        public static YakindummPackage init() {
+                if (isInited) return (YakindummPackage)EPackage.Registry.INSTANCE.getEPackage(YakindummPackage.eNS_URI);
+
+                // Obtain or create and register package
+                Object registeredYakindummPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
+                YakindummPackageImpl theYakindummPackage = registeredYakindummPackage instanceof YakindummPackageImpl ? (YakindummPackageImpl)registeredYakindummPackage : new YakindummPackageImpl();
+
+                isInited = true;
+
+                // Create package meta-data objects
+                theYakindummPackage.createPackageContents();
+
+                // Initialize created meta-data
+                theYakindummPackage.initializePackageContents();
+
+                // Mark meta-data to indicate it can't be changed
+                theYakindummPackage.freeze();
+
+                // Update the registry and return the package
+                EPackage.Registry.INSTANCE.put(YakindummPackage.eNS_URI, theYakindummPackage);
+                return theYakindummPackage;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getPseudostate() {
+                return pseudostateEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getVertex() {
+                return vertexEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getVertex_IncomingTransitions() {
+                return (EReference)vertexEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getVertex_OutgoingTransitions() {
+                return (EReference)vertexEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getRegion() {
+                return regionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getRegion_Vertices() {
+                return (EReference)regionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getTransition() {
+                return transitionEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getTransition_Target() {
+                return (EReference)transitionEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getTransition_Source() {
+                return (EReference)transitionEClass.getEStructuralFeatures().get(1);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getStatechart() {
+                return statechartEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getEntry() {
+                return entryEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EAttribute getEntry_Type() {
+                return (EAttribute)entryEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getState() {
+                return stateEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getRegularState() {
+                return regularStateEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getCompositeElement() {
+                return compositeElementEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EReference getCompositeElement_Regions() {
+                return (EReference)compositeElementEClass.getEStructuralFeatures().get(0);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getChoice() {
+                return choiceEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getExit() {
+                return exitEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EClass getFinalState() {
+                return finalStateEClass;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public EEnum getEntryType() {
+                return entryTypeEEnum;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummFactory getYakindummFactory() {
+                return (YakindummFactory)getEFactoryInstance();
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isCreated = false;
+
+        /**
+         * Creates the meta-model objects for the package.  This method is
+         * guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void createPackageContents() {
+                if (isCreated) return;
+                isCreated = true;
+
+                // Create classes and their features
+                pseudostateEClass = createEClass(PSEUDOSTATE);
+
+                vertexEClass = createEClass(VERTEX);
+                createEReference(vertexEClass, VERTEX__INCOMING_TRANSITIONS);
+                createEReference(vertexEClass, VERTEX__OUTGOING_TRANSITIONS);
+
+                regionEClass = createEClass(REGION);
+                createEReference(regionEClass, REGION__VERTICES);
+
+                transitionEClass = createEClass(TRANSITION);
+                createEReference(transitionEClass, TRANSITION__TARGET);
+                createEReference(transitionEClass, TRANSITION__SOURCE);
+
+                statechartEClass = createEClass(STATECHART);
+
+                entryEClass = createEClass(ENTRY);
+                createEAttribute(entryEClass, ENTRY__TYPE);
+
+                stateEClass = createEClass(STATE);
+
+                regularStateEClass = createEClass(REGULAR_STATE);
+
+                compositeElementEClass = createEClass(COMPOSITE_ELEMENT);
+                createEReference(compositeElementEClass, COMPOSITE_ELEMENT__REGIONS);
+
+                choiceEClass = createEClass(CHOICE);
+
+                exitEClass = createEClass(EXIT);
+
+                finalStateEClass = createEClass(FINAL_STATE);
+
+                // Create enums
+                entryTypeEEnum = createEEnum(ENTRY_TYPE);
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isInitialized = false;
+
+        /**
+         * Complete the initialization of the package and its meta-model.  This
+         * method is guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void initializePackageContents() {
+                if (isInitialized) return;
+                isInitialized = true;
+
+                // Initialize package
+                setName(eNAME);
+                setNsPrefix(eNS_PREFIX);
+                setNsURI(eNS_URI);
+
+                // Create type parameters
+
+                // Set bounds for type parameters
+
+                // Add supertypes to classes
+                pseudostateEClass.getESuperTypes().add(this.getVertex());
+                statechartEClass.getESuperTypes().add(this.getCompositeElement());
+                entryEClass.getESuperTypes().add(this.getPseudostate());
+                stateEClass.getESuperTypes().add(this.getRegularState());
+                stateEClass.getESuperTypes().add(this.getCompositeElement());
+                regularStateEClass.getESuperTypes().add(this.getVertex());
+                choiceEClass.getESuperTypes().add(this.getPseudostate());
+                exitEClass.getESuperTypes().add(this.getPseudostate());
+                finalStateEClass.getESuperTypes().add(this.getRegularState());
+
+                // Initialize classes, features, and operations; add parameters
+                initEClass(pseudostateEClass, Pseudostate.class, "Pseudostate", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(vertexEClass, Vertex.class, "Vertex", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getVertex_IncomingTransitions(), this.getTransition(), this.getTransition_Target(), "incomingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
+                initEReference(getVertex_OutgoingTransitions(), this.getTransition(), this.getTransition_Source(), "outgoingTransitions", null, 0, -1, Vertex.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
+
+                initEClass(regionEClass, Region.class, "Region", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getRegion_Vertices(), this.getVertex(), null, "vertices", null, 0, -1, Region.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
+
+                initEClass(transitionEClass, Transition.class, "Transition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getTransition_Target(), this.getVertex(), this.getVertex_IncomingTransitions(), "target", null, 1, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
+                initEReference(getTransition_Source(), this.getVertex(), this.getVertex_OutgoingTransitions(), "source", null, 0, 1, Transition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, !IS_ORDERED);
+
+                initEClass(statechartEClass, Statechart.class, "Statechart", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(entryEClass, Entry.class, "Entry", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEAttribute(getEntry_Type(), this.getEntryType(), "Type", null, 1, 1, Entry.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(stateEClass, State.class, "State", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(regularStateEClass, RegularState.class, "RegularState", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(compositeElementEClass, CompositeElement.class, "CompositeElement", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getCompositeElement_Regions(), this.getRegion(), null, "regions", null, 0, -1, CompositeElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+
+                initEClass(choiceEClass, Choice.class, "Choice", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(exitEClass, Exit.class, "Exit", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                initEClass(finalStateEClass, FinalState.class, "FinalState", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+
+                // Initialize enums and add enum literals
+                initEEnum(entryTypeEEnum, EntryType.class, "EntryType");
+                addEEnumLiteral(entryTypeEEnum, EntryType.NORMAL);
+                addEEnumLiteral(entryTypeEEnum, EntryType.HISTORY);
+                addEEnumLiteral(entryTypeEEnum, EntryType.DEEP_HISTORY);
+
+                // Create resource
+                createResource(eNS_URI);
+        }
+
+} //YakindummPackageImpl