31 files changed, 4544 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Choice.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Choice.java
new file mode 100644
index 00000000..8cd339c5
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Choice.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Choice</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getChoice()
+ * @model
+ * @generated
+ */
+public interface Choice extends Pseudostate {
+} // Choice
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/CompositeElement.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/CompositeElement.java
new file mode 100644
index 00000000..cf2949d8
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/CompositeElement.java
@@ -0,0 +1,42 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Composite Element</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement#getRegions <em>Regions</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getCompositeElement()
+ * @model abstract="true"
+ * @generated
+ */
+public interface CompositeElement extends EObject {
+        /**
+         * Returns the value of the '<em><b>Regions</b></em>' containment reference list.
+         * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Regions</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Regions</em>' containment reference list.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getCompositeElement_Regions()
+         * @model containment="true"
+         * @generated
+         */
+        EList<Region> getRegions();
+
+} // CompositeElement
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Entry.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Entry.java
new file mode 100644
index 00000000..57ecb460
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Entry.java
@@ -0,0 +1,52 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Entry</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry#getType <em>Type</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getEntry()
+ * @model
+ * @generated
+ */
+public interface Entry extends Pseudostate {
+        /**
+         * Returns the value of the '<em><b>Type</b></em>' attribute.
+         * The literals are from the enumeration {@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Type</em>' attribute isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Type</em>' attribute.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
+         * @see #setType(EntryType)
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getEntry_Type()
+         * @model required="true"
+         * @generated
+         */
+        EntryType getType();
+
+        /**
+         * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry#getType <em>Type</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Type</em>' attribute.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
+         * @see #getType()
+         * @generated
+         */
+        void setType(EntryType value);
+
+} // Entry
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/EntryType.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/EntryType.java
new file mode 100644
index 00000000..40072da6
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/EntryType.java
@@ -0,0 +1,239 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.List;
+
+import org.eclipse.emf.common.util.Enumerator;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the literals of the enumeration '<em><b>Entry Type</b></em>',
+ * and utility methods for working with them.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getEntryType()
+ * @model
+ * @generated
+ */
+public enum EntryType implements Enumerator {
+        /**
+         * The '<em><b>Normal</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #NORMAL_VALUE
+         * @generated
+         * @ordered
+         */
+        NORMAL(0, "Normal", "Normal"),
+
+        /**
+         * The '<em><b>History</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #HISTORY_VALUE
+         * @generated
+         * @ordered
+         */
+        HISTORY(0, "History", "History"),
+
+        /**
+         * The '<em><b>Deep History</b></em>' literal object.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #DEEP_HISTORY_VALUE
+         * @generated
+         * @ordered
+         */
+        DEEP_HISTORY(0, "DeepHistory", "DeepHistory");
+
+        /**
+         * The '<em><b>Normal</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of '<em><b>Normal</b></em>' literal object isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @see #NORMAL
+         * @model name="Normal"
+         * @generated
+         * @ordered
+         */
+        public static final int NORMAL_VALUE = 0;
+
+        /**
+         * The '<em><b>History</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of '<em><b>History</b></em>' literal object isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @see #HISTORY
+         * @model name="History"
+         * @generated
+         * @ordered
+         */
+        public static final int HISTORY_VALUE = 0;
+
+        /**
+         * The '<em><b>Deep History</b></em>' literal value.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of '<em><b>Deep History</b></em>' literal object isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @see #DEEP_HISTORY
+         * @model name="DeepHistory"
+         * @generated
+         * @ordered
+         */
+        public static final int DEEP_HISTORY_VALUE = 0;
+
+        /**
+         * An array of all the '<em><b>Entry Type</b></em>' enumerators.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static final EntryType[] VALUES_ARRAY =
+                new EntryType[] {
+                        NORMAL,
+                        HISTORY,
+                        DEEP_HISTORY,
+                };
+
+        /**
+         * A public read-only list of all the '<em><b>Entry Type</b></em>' enumerators.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static final List<EntryType> VALUES = Collections.unmodifiableList(Arrays.asList(VALUES_ARRAY));
+
+        /**
+         * Returns the '<em><b>Entry Type</b></em>' literal with the specified literal value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param literal the literal.
+         * @return the matching enumerator or <code>null</code>.
+         * @generated
+         */
+        public static EntryType get(String literal) {
+                for (int i = 0; i < VALUES_ARRAY.length; ++i) {
+                        EntryType result = VALUES_ARRAY[i];
+                        if (result.toString().equals(literal)) {
+                                return result;
+                        }
+                }
+                return null;
+        }
+
+        /**
+         * Returns the '<em><b>Entry Type</b></em>' literal with the specified name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param name the name.
+         * @return the matching enumerator or <code>null</code>.
+         * @generated
+         */
+        public static EntryType getByName(String name) {
+                for (int i = 0; i < VALUES_ARRAY.length; ++i) {
+                        EntryType result = VALUES_ARRAY[i];
+                        if (result.getName().equals(name)) {
+                                return result;
+                        }
+                }
+                return null;
+        }
+
+        /**
+         * Returns the '<em><b>Entry Type</b></em>' literal with the specified integer value.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the integer value.
+         * @return the matching enumerator or <code>null</code>.
+         * @generated
+         */
+        public static EntryType get(int value) {
+                switch (value) {
+                        case NORMAL_VALUE: return NORMAL;
+                }
+                return null;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private final int value;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private final String name;
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private final String literal;
+
+        /**
+         * Only this class can construct instances.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EntryType(int value, String name, String literal) {
+                this.value = value;
+                this.name = name;
+                this.literal = literal;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public int getValue() {
+          return value;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String getName() {
+          return name;
+        }
+
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public String getLiteral() {
+          return literal;
+        }
+
+        /**
+         * Returns the literal value of the enumerator, which is its string representation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String toString() {
+                return literal;
+        }
+        
+} //EntryType
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Exit.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Exit.java
new file mode 100644
index 00000000..961a2aec
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Exit.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Exit</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getExit()
+ * @model
+ * @generated
+ */
+public interface Exit extends Pseudostate {
+} // Exit
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/FinalState.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/FinalState.java
new file mode 100644
index 00000000..bcc20dfd
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/FinalState.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Final State</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getFinalState()
+ * @model
+ * @generated
+ */
+public interface FinalState extends RegularState {
+} // FinalState
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Pseudostate.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Pseudostate.java
new file mode 100644
index 00000000..f938d5b3
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Pseudostate.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Pseudostate</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getPseudostate()
+ * @model abstract="true"
+ * @generated
+ */
+public interface Pseudostate extends Vertex {
+} // Pseudostate
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Region.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Region.java
new file mode 100644
index 00000000..ce361dce
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Region.java
@@ -0,0 +1,42 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Region</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region#getVertices <em>Vertices</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getRegion()
+ * @model
+ * @generated
+ */
+public interface Region extends EObject {
+        /**
+         * Returns the value of the '<em><b>Vertices</b></em>' containment reference list.
+         * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex}.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Vertices</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Vertices</em>' containment reference list.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getRegion_Vertices()
+         * @model containment="true" ordered="false"
+         * @generated
+         */
+        EList<Vertex> getVertices();
+
+} // Region
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/RegularState.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/RegularState.java
new file mode 100644
index 00000000..e5b552cd
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/RegularState.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Regular State</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getRegularState()
+ * @model abstract="true"
+ * @generated
+ */
+public interface RegularState extends Vertex {
+} // RegularState
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/State.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/State.java
new file mode 100644
index 00000000..2cee971c
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/State.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>State</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getState()
+ * @model
+ * @generated
+ */
+public interface State extends RegularState, CompositeElement {
+} // State
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Statechart.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Statechart.java
new file mode 100644
index 00000000..4d32fd53
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Statechart.java
@@ -0,0 +1,17 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Statechart</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getStatechart()
+ * @model
+ * @generated
+ */
+public interface Statechart extends CompositeElement {
+} // Statechart
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Transition.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Transition.java
new file mode 100644
index 00000000..0518bfdb
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Transition.java
@@ -0,0 +1,81 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Transition</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget <em>Target</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource <em>Source</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getTransition()
+ * @model
+ * @generated
+ */
+public interface Transition extends EObject {
+        /**
+         * Returns the value of the '<em><b>Target</b></em>' reference.
+         * It is bidirectional and its opposite is '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions <em>Incoming Transitions</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Target</em>' reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Target</em>' reference.
+         * @see #setTarget(Vertex)
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getTransition_Target()
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions
+         * @model opposite="incomingTransitions" required="true" ordered="false"
+         * @generated
+         */
+        Vertex getTarget();
+
+        /**
+         * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget <em>Target</em>}' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Target</em>' reference.
+         * @see #getTarget()
+         * @generated
+         */
+        void setTarget(Vertex value);
+
+        /**
+         * Returns the value of the '<em><b>Source</b></em>' container reference.
+         * It is bidirectional and its opposite is '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions <em>Outgoing Transitions</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Source</em>' container reference isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Source</em>' container reference.
+         * @see #setSource(Vertex)
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getTransition_Source()
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions
+         * @model opposite="outgoingTransitions" transient="false" ordered="false"
+         * @generated
+         */
+        Vertex getSource();
+
+        /**
+         * Sets the value of the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource <em>Source</em>}' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Source</em>' container reference.
+         * @see #getSource()
+         * @generated
+         */
+        void setSource(Vertex value);
+
+} // Transition
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Vertex.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Vertex.java
new file mode 100644
index 00000000..43db469b
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/Vertex.java
@@ -0,0 +1,63 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+import org.eclipse.emf.common.util.EList;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Vertex</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions <em>Incoming Transitions</em>}</li>
+ *   <li>{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions <em>Outgoing Transitions</em>}</li>
+ * </ul>
+ *
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getVertex()
+ * @model abstract="true"
+ * @generated
+ */
+public interface Vertex extends EObject {
+        /**
+         * Returns the value of the '<em><b>Incoming Transitions</b></em>' reference list.
+         * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition}.
+         * It is bidirectional and its opposite is '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget <em>Target</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Incoming Transitions</em>' reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Incoming Transitions</em>' reference list.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getVertex_IncomingTransitions()
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget
+         * @model opposite="target" ordered="false"
+         * @generated
+         */
+        EList<Transition> getIncomingTransitions();
+
+        /**
+         * Returns the value of the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * The list contents are of type {@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition}.
+         * It is bidirectional and its opposite is '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource <em>Source</em>}'.
+         * <!-- begin-user-doc -->
+         * <p>
+         * If the meaning of the '<em>Outgoing Transitions</em>' containment reference list isn't clear,
+         * there really should be more of a description here...
+         * </p>
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Outgoing Transitions</em>' containment reference list.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage#getVertex_OutgoingTransitions()
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource
+         * @model opposite="source" containment="true" ordered="false"
+         * @generated
+         */
+        EList<Transition> getOutgoingTransitions();
+
+} // Vertex
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummFactory.java
new file mode 100644
index 00000000..a530e71f
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummFactory.java
@@ -0,0 +1,105 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+import org.eclipse.emf.ecore.EFactory;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Factory</b> for the model.
+ * It provides a create method for each non-abstract class of the model.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage
+ * @generated
+ */
+public interface YakindummFactory extends EFactory {
+        /**
+         * The singleton instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        YakindummFactory eINSTANCE = ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummFactoryImpl.init();
+
+        /**
+         * Returns a new object of class '<em>Region</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Region</em>'.
+         * @generated
+         */
+        Region createRegion();
+
+        /**
+         * Returns a new object of class '<em>Transition</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Transition</em>'.
+         * @generated
+         */
+        Transition createTransition();
+
+        /**
+         * Returns a new object of class '<em>Statechart</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Statechart</em>'.
+         * @generated
+         */
+        Statechart createStatechart();
+
+        /**
+         * Returns a new object of class '<em>Entry</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Entry</em>'.
+         * @generated
+         */
+        Entry createEntry();
+
+        /**
+         * Returns a new object of class '<em>State</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>State</em>'.
+         * @generated
+         */
+        State createState();
+
+        /**
+         * Returns a new object of class '<em>Choice</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Choice</em>'.
+         * @generated
+         */
+        Choice createChoice();
+
+        /**
+         * Returns a new object of class '<em>Exit</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Exit</em>'.
+         * @generated
+         */
+        Exit createExit();
+
+        /**
+         * Returns a new object of class '<em>Final State</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Final State</em>'.
+         * @generated
+         */
+        FinalState createFinalState();
+
+        /**
+         * Returns the package supported by this factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the package supported by this factory.
+         * @generated
+         */
+        YakindummPackage getYakindummPackage();
+
+} //YakindummFactory
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java
new file mode 100644
index 00000000..f70e851a
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/YakindummPackage.java
@@ -0,0 +1,1032 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm;
+
+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;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Package</b> for the model.
+ * It contains accessors for the meta objects to represent
+ * <ul>
+ *   <li>each class,</li>
+ *   <li>each feature of each class,</li>
+ *   <li>each operation of each class,</li>
+ *   <li>each enum,</li>
+ *   <li>and each data type</li>
+ * </ul>
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummFactory
+ * @model kind="package"
+ * @generated
+ */
+public interface YakindummPackage extends EPackage {
+        /**
+         * The package name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNAME = "yakindumm";
+
+        /**
+         * The package namespace URI.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_URI = "hu.bme.mit.inf.yakindumm";
+
+        /**
+         * The package namespace name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_PREFIX = "ca.mcgill.ecse.yakindumm";
+
+        /**
+         * The singleton instance of the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        YakindummPackage eINSTANCE = ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl.init();
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl <em>Vertex</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getVertex()
+         * @generated
+         */
+        int VERTEX = 1;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int VERTEX__INCOMING_TRANSITIONS = 0;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int VERTEX__OUTGOING_TRANSITIONS = 1;
+
+        /**
+         * The number of structural features of the '<em>Vertex</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int VERTEX_FEATURE_COUNT = 2;
+
+        /**
+         * The number of operations of the '<em>Vertex</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int VERTEX_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl <em>Pseudostate</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getPseudostate()
+         * @generated
+         */
+        int PSEUDOSTATE = 0;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PSEUDOSTATE__INCOMING_TRANSITIONS = VERTEX__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PSEUDOSTATE__OUTGOING_TRANSITIONS = VERTEX__OUTGOING_TRANSITIONS;
+
+        /**
+         * The number of structural features of the '<em>Pseudostate</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PSEUDOSTATE_FEATURE_COUNT = VERTEX_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Pseudostate</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int PSEUDOSTATE_OPERATION_COUNT = VERTEX_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl <em>Region</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegion()
+         * @generated
+         */
+        int REGION = 2;
+
+        /**
+         * The feature id for the '<em><b>Vertices</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGION__VERTICES = 0;
+
+        /**
+         * The number of structural features of the '<em>Region</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGION_FEATURE_COUNT = 1;
+
+        /**
+         * The number of operations of the '<em>Region</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGION_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl <em>Transition</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getTransition()
+         * @generated
+         */
+        int TRANSITION = 3;
+
+        /**
+         * The feature id for the '<em><b>Target</b></em>' reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int TRANSITION__TARGET = 0;
+
+        /**
+         * The feature id for the '<em><b>Source</b></em>' container reference.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int TRANSITION__SOURCE = 1;
+
+        /**
+         * The number of structural features of the '<em>Transition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int TRANSITION_FEATURE_COUNT = 2;
+
+        /**
+         * The number of operations of the '<em>Transition</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int TRANSITION_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl <em>Composite Element</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getCompositeElement()
+         * @generated
+         */
+        int COMPOSITE_ELEMENT = 8;
+
+        /**
+         * The feature id for the '<em><b>Regions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPOSITE_ELEMENT__REGIONS = 0;
+
+        /**
+         * The number of structural features of the '<em>Composite Element</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPOSITE_ELEMENT_FEATURE_COUNT = 1;
+
+        /**
+         * The number of operations of the '<em>Composite Element</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int COMPOSITE_ELEMENT_OPERATION_COUNT = 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl <em>Statechart</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getStatechart()
+         * @generated
+         */
+        int STATECHART = 4;
+
+        /**
+         * The feature id for the '<em><b>Regions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATECHART__REGIONS = COMPOSITE_ELEMENT__REGIONS;
+
+        /**
+         * The number of structural features of the '<em>Statechart</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATECHART_FEATURE_COUNT = COMPOSITE_ELEMENT_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Statechart</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATECHART_OPERATION_COUNT = COMPOSITE_ELEMENT_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl <em>Entry</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntry()
+         * @generated
+         */
+        int ENTRY = 5;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int ENTRY__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int ENTRY__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Type</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int ENTRY__TYPE = PSEUDOSTATE_FEATURE_COUNT + 0;
+
+        /**
+         * The number of structural features of the '<em>Entry</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int ENTRY_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 1;
+
+        /**
+         * The number of operations of the '<em>Entry</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int ENTRY_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl <em>Regular State</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegularState()
+         * @generated
+         */
+        int REGULAR_STATE = 7;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGULAR_STATE__INCOMING_TRANSITIONS = VERTEX__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGULAR_STATE__OUTGOING_TRANSITIONS = VERTEX__OUTGOING_TRANSITIONS;
+
+        /**
+         * The number of structural features of the '<em>Regular State</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGULAR_STATE_FEATURE_COUNT = VERTEX_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Regular State</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int REGULAR_STATE_OPERATION_COUNT = VERTEX_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl <em>State</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getState()
+         * @generated
+         */
+        int STATE = 6;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Regions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATE__REGIONS = REGULAR_STATE_FEATURE_COUNT + 0;
+
+        /**
+         * The number of structural features of the '<em>State</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 1;
+
+        /**
+         * The number of operations of the '<em>State</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getChoice()
+         * @generated
+         */
+        int CHOICE = 9;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CHOICE__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CHOICE__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
+
+        /**
+         * The number of structural features of the '<em>Choice</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CHOICE_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Choice</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int CHOICE_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl <em>Exit</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getExit()
+         * @generated
+         */
+        int EXIT = 10;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EXIT__INCOMING_TRANSITIONS = PSEUDOSTATE__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EXIT__OUTGOING_TRANSITIONS = PSEUDOSTATE__OUTGOING_TRANSITIONS;
+
+        /**
+         * The number of structural features of the '<em>Exit</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EXIT_FEATURE_COUNT = PSEUDOSTATE_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Exit</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int EXIT_OPERATION_COUNT = PSEUDOSTATE_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getFinalState()
+         * @generated
+         */
+        int FINAL_STATE = 11;
+
+        /**
+         * The feature id for the '<em><b>Incoming Transitions</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FINAL_STATE__INCOMING_TRANSITIONS = REGULAR_STATE__INCOMING_TRANSITIONS;
+
+        /**
+         * The feature id for the '<em><b>Outgoing Transitions</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FINAL_STATE__OUTGOING_TRANSITIONS = REGULAR_STATE__OUTGOING_TRANSITIONS;
+
+        /**
+         * The number of structural features of the '<em>Final State</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FINAL_STATE_FEATURE_COUNT = REGULAR_STATE_FEATURE_COUNT + 0;
+
+        /**
+         * The number of operations of the '<em>Final State</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FINAL_STATE_OPERATION_COUNT = REGULAR_STATE_OPERATION_COUNT + 0;
+
+        /**
+         * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType <em>Entry Type</em>}' enum.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntryType()
+         * @generated
+         */
+        int ENTRY_TYPE = 12;
+
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate <em>Pseudostate</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Pseudostate</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate
+         * @generated
+         */
+        EClass getPseudostate();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex <em>Vertex</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Vertex</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex
+         * @generated
+         */
+        EClass getVertex();
+
+        /**
+         * Returns the meta object for the reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions <em>Incoming Transitions</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Incoming Transitions</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getIncomingTransitions()
+         * @see #getVertex()
+         * @generated
+         */
+        EReference getVertex_IncomingTransitions();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions <em>Outgoing Transitions</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Outgoing Transitions</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex#getOutgoingTransitions()
+         * @see #getVertex()
+         * @generated
+         */
+        EReference getVertex_OutgoingTransitions();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region <em>Region</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Region</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region
+         * @generated
+         */
+        EClass getRegion();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region#getVertices <em>Vertices</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Vertices</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region#getVertices()
+         * @see #getRegion()
+         * @generated
+         */
+        EReference getRegion_Vertices();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition <em>Transition</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Transition</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition
+         * @generated
+         */
+        EClass getTransition();
+
+        /**
+         * Returns the meta object for the reference '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget <em>Target</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference '<em>Target</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getTarget()
+         * @see #getTransition()
+         * @generated
+         */
+        EReference getTransition_Target();
+
+        /**
+         * Returns the meta object for the container reference '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource <em>Source</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the container reference '<em>Source</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition#getSource()
+         * @see #getTransition()
+         * @generated
+         */
+        EReference getTransition_Source();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart <em>Statechart</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Statechart</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart
+         * @generated
+         */
+        EClass getStatechart();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry <em>Entry</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Entry</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry
+         * @generated
+         */
+        EClass getEntry();
+
+        /**
+         * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry#getType <em>Type</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>Type</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry#getType()
+         * @see #getEntry()
+         * @generated
+         */
+        EAttribute getEntry_Type();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State <em>State</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>State</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State
+         * @generated
+         */
+        EClass getState();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState <em>Regular State</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Regular State</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState
+         * @generated
+         */
+        EClass getRegularState();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement <em>Composite Element</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Composite Element</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement
+         * @generated
+         */
+        EClass getCompositeElement();
+
+        /**
+         * Returns the meta object for the containment reference list '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement#getRegions <em>Regions</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Regions</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement#getRegions()
+         * @see #getCompositeElement()
+         * @generated
+         */
+        EReference getCompositeElement_Regions();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice <em>Choice</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Choice</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice
+         * @generated
+         */
+        EClass getChoice();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit <em>Exit</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Exit</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit
+         * @generated
+         */
+        EClass getExit();
+
+        /**
+         * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState <em>Final State</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Final State</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState
+         * @generated
+         */
+        EClass getFinalState();
+
+        /**
+         * Returns the meta object for enum '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType <em>Entry Type</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for enum '<em>Entry Type</em>'.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
+         * @generated
+         */
+        EEnum getEntryType();
+
+        /**
+         * Returns the factory that creates the instances of the model.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the factory that creates the instances of the model.
+         * @generated
+         */
+        YakindummFactory getYakindummFactory();
+
+        /**
+         * <!-- begin-user-doc -->
+         * Defines literals for the meta objects that represent
+         * <ul>
+         *   <li>each class,</li>
+         *   <li>each feature of each class,</li>
+         *   <li>each operation of each class,</li>
+         *   <li>each enum,</li>
+         *   <li>and each data type</li>
+         * </ul>
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        interface Literals {
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl <em>Pseudostate</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.PseudostateImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getPseudostate()
+                 * @generated
+                 */
+                EClass PSEUDOSTATE = eINSTANCE.getPseudostate();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl <em>Vertex</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.VertexImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getVertex()
+                 * @generated
+                 */
+                EClass VERTEX = eINSTANCE.getVertex();
+
+                /**
+                 * The meta object literal for the '<em><b>Incoming Transitions</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference VERTEX__INCOMING_TRANSITIONS = eINSTANCE.getVertex_IncomingTransitions();
+
+                /**
+                 * The meta object literal for the '<em><b>Outgoing Transitions</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference VERTEX__OUTGOING_TRANSITIONS = eINSTANCE.getVertex_OutgoingTransitions();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl <em>Region</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegionImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegion()
+                 * @generated
+                 */
+                EClass REGION = eINSTANCE.getRegion();
+
+                /**
+                 * The meta object literal for the '<em><b>Vertices</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference REGION__VERTICES = eINSTANCE.getRegion_Vertices();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl <em>Transition</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.TransitionImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getTransition()
+                 * @generated
+                 */
+                EClass TRANSITION = eINSTANCE.getTransition();
+
+                /**
+                 * The meta object literal for the '<em><b>Target</b></em>' reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference TRANSITION__TARGET = eINSTANCE.getTransition_Target();
+
+                /**
+                 * The meta object literal for the '<em><b>Source</b></em>' container reference feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference TRANSITION__SOURCE = eINSTANCE.getTransition_Source();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl <em>Statechart</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StatechartImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getStatechart()
+                 * @generated
+                 */
+                EClass STATECHART = eINSTANCE.getStatechart();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl <em>Entry</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.EntryImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntry()
+                 * @generated
+                 */
+                EClass ENTRY = eINSTANCE.getEntry();
+
+                /**
+                 * The meta object literal for the '<em><b>Type</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute ENTRY__TYPE = eINSTANCE.getEntry_Type();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl <em>State</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.StateImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getState()
+                 * @generated
+                 */
+                EClass STATE = eINSTANCE.getState();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl <em>Regular State</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.RegularStateImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getRegularState()
+                 * @generated
+                 */
+                EClass REGULAR_STATE = eINSTANCE.getRegularState();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl <em>Composite Element</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.CompositeElementImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getCompositeElement()
+                 * @generated
+                 */
+                EClass COMPOSITE_ELEMENT = eINSTANCE.getCompositeElement();
+
+                /**
+                 * The meta object literal for the '<em><b>Regions</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference COMPOSITE_ELEMENT__REGIONS = eINSTANCE.getCompositeElement_Regions();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl <em>Choice</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ChoiceImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getChoice()
+                 * @generated
+                 */
+                EClass CHOICE = eINSTANCE.getChoice();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl <em>Exit</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.ExitImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getExit()
+                 * @generated
+                 */
+                EClass EXIT = eINSTANCE.getExit();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl <em>Final State</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.FinalStateImpl
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getFinalState()
+                 * @generated
+                 */
+                EClass FINAL_STATE = eINSTANCE.getFinalState();
+
+                /**
+                 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType <em>Entry Type</em>}' enum.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.EntryType
+                 * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl.YakindummPackageImpl#getEntryType()
+                 * @generated
+                 */
+                EEnum ENTRY_TYPE = eINSTANCE.getEntryType();
+
+        }
+
+} //YakindummPackage
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
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
new file mode 100644
index 00000000..b3373dfd
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummAdapterFactory.java
@@ -0,0 +1,318 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
+
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+
+import org.eclipse.emf.ecore.EObject;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage
+ * @generated
+ */
+public class YakindummAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static YakindummPackage modelPackage;
+
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = YakindummPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected YakindummSwitch<Adapter> modelSwitch =
+                new YakindummSwitch<Adapter>() {
+                        @Override
+                        public Adapter casePseudostate(Pseudostate object) {
+                                return createPseudostateAdapter();
+                        }
+                        @Override
+                        public Adapter caseVertex(Vertex object) {
+                                return createVertexAdapter();
+                        }
+                        @Override
+                        public Adapter caseRegion(Region object) {
+                                return createRegionAdapter();
+                        }
+                        @Override
+                        public Adapter caseTransition(Transition object) {
+                                return createTransitionAdapter();
+                        }
+                        @Override
+                        public Adapter caseStatechart(Statechart object) {
+                                return createStatechartAdapter();
+                        }
+                        @Override
+                        public Adapter caseEntry(Entry object) {
+                                return createEntryAdapter();
+                        }
+                        @Override
+                        public Adapter caseState(State object) {
+                                return createStateAdapter();
+                        }
+                        @Override
+                        public Adapter caseRegularState(RegularState object) {
+                                return createRegularStateAdapter();
+                        }
+                        @Override
+                        public Adapter caseCompositeElement(CompositeElement object) {
+                                return createCompositeElementAdapter();
+                        }
+                        @Override
+                        public Adapter caseChoice(Choice object) {
+                                return createChoiceAdapter();
+                        }
+                        @Override
+                        public Adapter caseExit(Exit object) {
+                                return createExitAdapter();
+                        }
+                        @Override
+                        public Adapter caseFinalState(FinalState object) {
+                                return createFinalStateAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate <em>Pseudostate</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Pseudostate
+         * @generated
+         */
+        public Adapter createPseudostateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex <em>Vertex</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Vertex
+         * @generated
+         */
+        public Adapter createVertexAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region <em>Region</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Region
+         * @generated
+         */
+        public Adapter createRegionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition <em>Transition</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Transition
+         * @generated
+         */
+        public Adapter createTransitionAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart <em>Statechart</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Statechart
+         * @generated
+         */
+        public Adapter createStatechartAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry <em>Entry</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Entry
+         * @generated
+         */
+        public Adapter createEntryAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State <em>State</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.State
+         * @generated
+         */
+        public Adapter createStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState <em>Regular State</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.RegularState
+         * @generated
+         */
+        public Adapter createRegularStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement <em>Composite Element</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.CompositeElement
+         * @generated
+         */
+        public Adapter createCompositeElementAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice <em>Choice</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Choice
+         * @generated
+         */
+        public Adapter createChoiceAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit <em>Exit</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.Exit
+         * @generated
+         */
+        public Adapter createExitAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState <em>Final State</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.FinalState
+         * @generated
+         */
+        public Adapter createFinalStateAdapter() {
+                return null;
+        }
+
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+
+} //YakindummAdapterFactory
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
new file mode 100644
index 00000000..422565c2
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/yakindumm/util/YakindummSwitch.java
@@ -0,0 +1,355 @@
+/**
+ */
+package ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util;
+
+import ca.mcgill.ecse.dslreasoner.vampire.yakindumm.*;
+
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+
+import org.eclipse.emf.ecore.util.Switch;
+
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see ca.mcgill.ecse.dslreasoner.vampire.yakindumm.YakindummPackage
+ * @generated
+ */
+public class YakindummSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static YakindummPackage modelPackage;
+
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public YakindummSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = YakindummPackage.eINSTANCE;
+                }
+        }
+
+        /**
+         * Checks whether this is a switch for the given package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param ePackage the package in question.
+         * @return whether this is a switch for the given package.
+         * @generated
+         */
+        @Override
+        protected boolean isSwitchFor(EPackage ePackage) {
+                return ePackage == modelPackage;
+        }
+
+        /**
+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the first non-null result returned by a <code>caseXXX</code> call.
+         * @generated
+         */
+        @Override
+        protected T doSwitch(int classifierID, EObject theEObject) {
+                switch (classifierID) {
+                        case YakindummPackage.PSEUDOSTATE: {
+                                Pseudostate pseudostate = (Pseudostate)theEObject;
+                                T result = casePseudostate(pseudostate);
+                                if (result == null) result = caseVertex(pseudostate);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.VERTEX: {
+                                Vertex vertex = (Vertex)theEObject;
+                                T result = caseVertex(vertex);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.REGION: {
+                                Region region = (Region)theEObject;
+                                T result = caseRegion(region);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.TRANSITION: {
+                                Transition transition = (Transition)theEObject;
+                                T result = caseTransition(transition);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.STATECHART: {
+                                Statechart statechart = (Statechart)theEObject;
+                                T result = caseStatechart(statechart);
+                                if (result == null) result = caseCompositeElement(statechart);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.ENTRY: {
+                                Entry entry = (Entry)theEObject;
+                                T result = caseEntry(entry);
+                                if (result == null) result = casePseudostate(entry);
+                                if (result == null) result = caseVertex(entry);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.STATE: {
+                                State state = (State)theEObject;
+                                T result = caseState(state);
+                                if (result == null) result = caseRegularState(state);
+                                if (result == null) result = caseCompositeElement(state);
+                                if (result == null) result = caseVertex(state);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.REGULAR_STATE: {
+                                RegularState regularState = (RegularState)theEObject;
+                                T result = caseRegularState(regularState);
+                                if (result == null) result = caseVertex(regularState);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.COMPOSITE_ELEMENT: {
+                                CompositeElement compositeElement = (CompositeElement)theEObject;
+                                T result = caseCompositeElement(compositeElement);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.CHOICE: {
+                                Choice choice = (Choice)theEObject;
+                                T result = caseChoice(choice);
+                                if (result == null) result = casePseudostate(choice);
+                                if (result == null) result = caseVertex(choice);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.EXIT: {
+                                Exit exit = (Exit)theEObject;
+                                T result = caseExit(exit);
+                                if (result == null) result = casePseudostate(exit);
+                                if (result == null) result = caseVertex(exit);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case YakindummPackage.FINAL_STATE: {
+                                FinalState finalState = (FinalState)theEObject;
+                                T result = caseFinalState(finalState);
+                                if (result == null) result = caseRegularState(finalState);
+                                if (result == null) result = caseVertex(finalState);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Pseudostate</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T casePseudostate(Pseudostate object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Vertex</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Vertex</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseVertex(Vertex object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Region</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Region</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseRegion(Region object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Transition</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Transition</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseTransition(Transition object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Statechart</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Statechart</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseStatechart(Statechart object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Entry</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Entry</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseEntry(Entry object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>State</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>State</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseState(State object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Regular State</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Regular State</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseRegularState(RegularState object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Composite Element</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Composite Element</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseCompositeElement(CompositeElement object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Choice</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Choice</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseChoice(Choice object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Exit</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Exit</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseExit(Exit object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Final State</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Final State</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFinalState(FinalState object) {
+                return null;
+        }
+
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch, but this is the last case anyway.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+         * @generated
+         */
+        @Override
+        public T defaultCase(EObject object) {
+                return null;
+        }
+
+} //YakindummSwitch