sexec
MappedElement
sourceElement
ExecutionFlow
states
nodes
regions
historyVector
entryAction
exitAction
ExecutionNode
simpleName
ExecutionState
leaf
false
entryAction
exitAction
ExecutionScope
stateVector
subScopes
superScope
ExecutionRegion
historyVector
nodes
ExecutionEntry
ExecutionExit
ExecutionChoice
ExecutionSynchronization
StateVector
size
1
offset
0
TimeEvent
periodic
false
Step
comment
Check
condition
refs
CheckRef
check
Execution
statement
EnterState
state
ExitState
state
Call
ScheduleTimeEvent
timeEvent
timeValue
UnscheduleTimeEvent
timeEvent
StateSwitch
cases
stateConfigurationIdx
0
historyRegion
StateCase
state
step
SaveHistory
region
deep
HistoryEntry
initialStep
deep
region
historyStep
Trace
TraceNodeExecuted
node
ReactionFired
TraceReactionWillFire
TraceStateEntered
state
TraceStateExited
state
TraceBeginRunCycle
TraceEndRunCycle
<?xml version="1.0" encoding="UTF-8"?>
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="sexec" nsURI="http://www.yakindu.org/sct/sexec/1.0.0" nsPrefix="sexec">
  <eClassifiers xsi:type="ecore:EClass" name="MappedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="sourceElement" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionFlow" eSuperTypes="../../org.yakindu.sct.model.sgraph/model/emf/sgraph.ecore#//ScopedElement #//ExecutionScope #//ExecutionNode">
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" upperBound="-1"
        eType="#//ExecutionState" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
        eType="#//ExecutionNode" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="regions" upperBound="-1"
        eType="#//ExecutionRegion" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="historyVector" eType="#//StateVector"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="entryAction" eType="#//Step"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="exitAction" eType="#//Step"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionNode" eSuperTypes="#//MappedElement ../../org.yakindu.base.types/model/base.ecore#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="simpleName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionState" eSuperTypes="#//ExecutionNode #//ExecutionScope">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="leaf" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="false"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="entryAction" eType="#//Step"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="exitAction" eType="#//Step"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionScope" eSuperTypes="#//MappedElement ../../org.yakindu.base.types/model/base.ecore#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="stateVector" eType="#//StateVector"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="subScopes" upperBound="-1"
        eType="#//ExecutionScope" eOpposite="#//ExecutionScope/superScope"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="superScope" eType="#//ExecutionScope"
        eOpposite="#//ExecutionScope/subScopes"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionRegion" eSuperTypes="#//ExecutionScope">
    <eStructuralFeatures xsi:type="ecore:EReference" name="historyVector" eType="#//StateVector"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
        eType="#//ExecutionNode"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionEntry" eSuperTypes="#//ExecutionNode"/>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionExit" eSuperTypes="#//ExecutionNode"/>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionChoice" eSuperTypes="#//ExecutionNode"/>
  <eClassifiers xsi:type="ecore:EClass" name="ExecutionSynchronization" eSuperTypes="#//ExecutionNode"/>
  <eClassifiers xsi:type="ecore:EClass" name="StateVector">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="size" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
        defaultValueLiteral="1"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="offset" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
        defaultValueLiteral="0"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TimeEvent" eSuperTypes="../../org.yakindu.base.types/model/types.ecore#//Event">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="periodic" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="false"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Step" abstract="true" eSuperTypes="../../org.yakindu.base.types/model/base.ecore#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="comment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Check" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="condition" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="refs" upperBound="-1" eType="#//CheckRef"
        eOpposite="#//CheckRef/check"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="CheckRef" eSuperTypes="#//Check">
    <eStructuralFeatures xsi:type="ecore:EReference" name="check" eType="#//Check"
        eOpposite="#//Check/refs"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Execution" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="statement" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="EnterState" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="state" eType="#//ExecutionState"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ExitState" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="state" eType="#//ExecutionState"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Call" eSuperTypes="#//Step"/>
  <eClassifiers xsi:type="ecore:EClass" name="ScheduleTimeEvent" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="timeEvent" eType="#//TimeEvent"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="timeValue" eType="ecore:EClass ../../org.yakindu.base.expressions/model/Expressions.ecore#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="UnscheduleTimeEvent" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="timeEvent" eType="#//TimeEvent"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StateSwitch" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="cases" upperBound="-1"
        eType="#//StateCase" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="stateConfigurationIdx"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="historyRegion" eType="#//ExecutionRegion"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StateCase">
    <eStructuralFeatures xsi:type="ecore:EReference" name="state" eType="#//ExecutionState"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="step" eType="#//Step" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SaveHistory" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="region" eType="#//ExecutionRegion"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="deep" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="HistoryEntry" eSuperTypes="#//Step">
    <eStructuralFeatures xsi:type="ecore:EReference" name="initialStep" eType="#//Step"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="deep" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="region" eType="#//ExecutionRegion"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="historyStep" eType="#//Step"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Trace" abstract="true" eSuperTypes="#//Step"/>
  <eClassifiers xsi:type="ecore:EClass" name="TraceNodeExecuted" eSuperTypes="#//Trace">
    <eStructuralFeatures xsi:type="ecore:EReference" name="node" eType="#//ExecutionNode"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ReactionFired" eSuperTypes="#//Trace"/>
  <eClassifiers xsi:type="ecore:EClass" name="TraceReactionWillFire" eSuperTypes="#//Trace"/>
  <eClassifiers xsi:type="ecore:EClass" name="TraceStateEntered" eSuperTypes="#//Trace">
    <eStructuralFeatures xsi:type="ecore:EReference" name="state" eType="#//ExecutionState"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TraceStateExited" eSuperTypes="#//Trace">
    <eStructuralFeatures xsi:type="ecore:EReference" name="state" eType="#//ExecutionState"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TraceBeginRunCycle" eSuperTypes="#//Trace"/>
  <eClassifiers xsi:type="ecore:EClass" name="TraceEndRunCycle" eSuperTypes="#//Trace"/>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"sexec","nsURI":"http://www.yakindu.org/sct/sexec/1.0.0","name":"sexec","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MappedElement","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionFlow","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionNode","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionState","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionScope","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionRegion","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionEntry","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionExit","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionChoice","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExecutionSynchronization","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateVector","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TimeEvent","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Step","instanceClass":null,"abstract":true,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Check","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CheckRef","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Execution","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EnterState","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExitState","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Call","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ScheduleTimeEvent","instanceClass":null,"abstract":false,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"UnscheduleTimeEvent","instanceClass":null,"abstract":false,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateSwitch","instanceClass":null,"abstract":false,"id":22,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateCase","instanceClass":null,"abstract":false,"id":23,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SaveHistory","instanceClass":null,"abstract":false,"id":24,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"HistoryEntry","instanceClass":null,"abstract":false,"id":25,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Trace","instanceClass":null,"abstract":true,"id":26,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TraceNodeExecuted","instanceClass":null,"abstract":false,"id":27,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ReactionFired","instanceClass":null,"abstract":false,"id":28,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TraceReactionWillFire","instanceClass":null,"abstract":false,"id":29,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TraceStateEntered","instanceClass":null,"abstract":false,"id":30,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TraceStateExited","instanceClass":null,"abstract":false,"id":31,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TraceBeginRunCycle","instanceClass":null,"abstract":false,"id":32,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TraceEndRunCycle","instanceClass":null,"abstract":false,"id":33,"interface":false,"eClass":"EClass"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"sourceElement","changeable":true,"resolveProxies":true,"lowerBound":0,"id":34,"derived":false},{"id":35,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":36,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"nodes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":37,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"regions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":38,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"historyVector","changeable":true,"resolveProxies":true,"lowerBound":0,"id":39,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"entryAction","changeable":true,"resolveProxies":true,"lowerBound":0,"id":40,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exitAction","changeable":true,"resolveProxies":true,"lowerBound":0,"id":41,"derived":false},{"id":42,"eClass":"EGenericType"},{"id":43,"eClass":"EGenericType"},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"id":48,"eClass":"EGenericType"},{"id":49,"eClass":"EGenericType"},{"id":50,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"simpleName","changeable":true,"lowerBound":0,"iD":false,"id":51,"derived":false},{"id":52,"eClass":"EGenericType"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":false,"unique":true,"name":"leaf","changeable":true,"lowerBound":0,"iD":false,"id":55,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"entryAction","changeable":true,"resolveProxies":true,"lowerBound":0,"id":56,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exitAction","changeable":true,"resolveProxies":true,"lowerBound":0,"id":57,"derived":false},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"id":60,"eClass":"EGenericType"},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"stateVector","changeable":true,"resolveProxies":true,"lowerBound":0,"id":63,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"subScopes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":64,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"superScope","changeable":true,"resolveProxies":true,"lowerBound":0,"id":65,"derived":false},{"id":66,"eClass":"EGenericType"},{"id":67,"eClass":"EGenericType"},{"id":68,"eClass":"EGenericType"},{"id":69,"eClass":"EGenericType"},{"id":70,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"historyVector","changeable":true,"resolveProxies":true,"lowerBound":0,"id":71,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"nodes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":72,"derived":false},{"id":73,"eClass":"EGenericType"},{"id":74,"eClass":"EGenericType"},{"id":75,"eClass":"EGenericType"},{"id":76,"eClass":"EGenericType"},{"id":77,"eClass":"EGenericType"},{"id":78,"eClass":"EGenericType"},{"id":79,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"1","unsettable":false,"transient":false,"unique":true,"name":"size","changeable":true,"lowerBound":0,"iD":false,"id":80,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"0","unsettable":false,"transient":false,"unique":true,"name":"offset","changeable":true,"lowerBound":0,"iD":false,"id":81,"derived":false},{"id":82,"eClass":"EGenericType"},{"id":83,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":false,"unique":true,"name":"periodic","changeable":true,"lowerBound":0,"iD":false,"id":84,"derived":false},{"id":85,"eClass":"EGenericType"},{"id":86,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"comment","changeable":true,"lowerBound":0,"iD":false,"id":87,"derived":false},{"id":88,"eClass":"EGenericType"},{"id":89,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"condition","changeable":true,"resolveProxies":true,"lowerBound":0,"id":90,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"refs","changeable":true,"resolveProxies":true,"lowerBound":0,"id":91,"derived":false},{"id":92,"eClass":"EGenericType"},{"id":93,"eClass":"EGenericType"},{"id":94,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"check","changeable":true,"resolveProxies":true,"lowerBound":0,"id":95,"derived":false},{"id":96,"eClass":"EGenericType"},{"id":97,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"statement","changeable":true,"resolveProxies":true,"lowerBound":0,"id":98,"derived":false},{"id":99,"eClass":"EGenericType"},{"id":100,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"state","changeable":true,"resolveProxies":true,"lowerBound":0,"id":101,"derived":false},{"id":102,"eClass":"EGenericType"},{"id":103,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"state","changeable":true,"resolveProxies":true,"lowerBound":0,"id":104,"derived":false},{"id":105,"eClass":"EGenericType"},{"id":106,"eClass":"EGenericType"},{"id":107,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"timeEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":108,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"timeValue","changeable":true,"resolveProxies":true,"lowerBound":0,"id":109,"derived":false},{"id":110,"eClass":"EGenericType"},{"id":111,"eClass":"EGenericType"},{"id":112,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"timeEvent","changeable":true,"resolveProxies":true,"lowerBound":0,"id":113,"derived":false},{"id":114,"eClass":"EGenericType"},{"id":115,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"cases","changeable":true,"resolveProxies":true,"lowerBound":0,"id":116,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"0","unsettable":false,"transient":false,"unique":true,"name":"stateConfigurationIdx","changeable":true,"lowerBound":0,"iD":false,"id":117,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"historyRegion","changeable":true,"resolveProxies":true,"lowerBound":0,"id":118,"derived":false},{"id":119,"eClass":"EGenericType"},{"id":120,"eClass":"EGenericType"},{"id":121,"eClass":"EGenericType"},{"id":122,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"state","changeable":true,"resolveProxies":true,"lowerBound":0,"id":123,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"step","changeable":true,"resolveProxies":true,"lowerBound":0,"id":124,"derived":false},{"id":125,"eClass":"EGenericType"},{"id":126,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"region","changeable":true,"resolveProxies":true,"lowerBound":0,"id":127,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"deep","changeable":true,"lowerBound":0,"iD":false,"id":128,"derived":false},{"id":129,"eClass":"EGenericType"},{"id":130,"eClass":"EGenericType"},{"id":131,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"initialStep","changeable":true,"resolveProxies":true,"lowerBound":0,"id":132,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"deep","changeable":true,"lowerBound":0,"iD":false,"id":133,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"region","changeable":true,"resolveProxies":true,"lowerBound":0,"id":134,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"historyStep","changeable":true,"resolveProxies":true,"lowerBound":0,"id":135,"derived":false},{"id":136,"eClass":"EGenericType"},{"id":137,"eClass":"EGenericType"},{"id":138,"eClass":"EGenericType"},{"id":139,"eClass":"EGenericType"},{"id":140,"eClass":"EGenericType"},{"id":141,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"node","changeable":true,"resolveProxies":true,"lowerBound":0,"id":142,"derived":false},{"id":143,"eClass":"EGenericType"},{"id":144,"eClass":"EGenericType"},{"id":145,"eClass":"EGenericType"},{"id":146,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"state","changeable":true,"resolveProxies":true,"lowerBound":0,"id":147,"derived":false},{"id":148,"eClass":"EGenericType"},{"id":149,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"state","changeable":true,"resolveProxies":true,"lowerBound":0,"id":150,"derived":false},{"id":151,"eClass":"EGenericType"},{"id":152,"eClass":"EGenericType"},{"id":153,"eClass":"EGenericType"},{"id":154,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":0,"target":7},{"source":0,"target":8},{"source":0,"target":9},{"source":0,"target":10},{"source":0,"target":11},{"source":0,"target":12},{"source":0,"target":13},{"source":0,"target":14},{"source":0,"target":15},{"source":0,"target":16},{"source":0,"target":17},{"source":0,"target":18},{"source":0,"target":19},{"source":0,"target":20},{"source":0,"target":21},{"source":0,"target":22},{"source":0,"target":23},{"source":0,"target":24},{"source":0,"target":25},{"source":0,"target":26},{"source":0,"target":27},{"source":0,"target":28},{"source":0,"target":29},{"source":0,"target":30},{"source":0,"target":31},{"source":0,"target":32},{"source":0,"target":33},{"source":1,"target":0},{"source":1,"target":34},{"source":34,"target":35},{"source":34,"target":1},{"source":2,"target":0},{"source":2,"target":5},{"source":2,"target":3},{"source":2,"target":36},{"source":2,"target":37},{"source":2,"target":38},{"source":2,"target":39},{"source":2,"target":40},{"source":2,"target":41},{"source":2,"target":42},{"source":2,"target":43},{"source":2,"target":44},{"source":36,"target":4},{"source":36,"target":45},{"source":36,"target":2},{"source":45,"target":4},{"source":37,"target":3},{"source":37,"target":46},{"source":37,"target":2},{"source":46,"target":3},{"source":38,"target":6},{"source":38,"target":47},{"source":38,"target":2},{"source":47,"target":6},{"source":39,"target":11},{"source":39,"target":48},{"source":39,"target":2},{"source":48,"target":11},{"source":40,"target":13},{"source":40,"target":49},{"source":40,"target":2},{"source":49,"target":13},{"source":41,"target":13},{"source":41,"target":50},{"source":41,"target":2},{"source":50,"target":13},{"source":43,"target":5},{"source":44,"target":3},{"source":3,"target":0},{"source":3,"target":1},{"source":3,"target":51},{"source":3,"target":52},{"source":3,"target":53},{"source":51,"target":54},{"source":51,"target":3},{"source":52,"target":1},{"source":4,"target":0},{"source":4,"target":3},{"source":4,"target":5},{"source":4,"target":55},{"source":4,"target":56},{"source":4,"target":57},{"source":4,"target":58},{"source":4,"target":59},{"source":55,"target":60},{"source":55,"target":4},{"source":56,"target":13},{"source":56,"target":61},{"source":56,"target":4},{"source":61,"target":13},{"source":57,"target":13},{"source":57,"target":62},{"source":57,"target":4},{"source":62,"target":13},{"source":58,"target":3},{"source":59,"target":5},{"source":5,"target":0},{"source":5,"target":1},{"source":5,"target":63},{"source":5,"target":64},{"source":5,"target":65},{"source":5,"target":66},{"source":5,"target":67},{"source":63,"target":11},{"source":63,"target":68},{"source":63,"target":5},{"source":68,"target":11},{"source":64,"target":5},{"source":64,"target":69},{"source":64,"target":5},{"source":64,"target":65},{"source":69,"target":5},{"source":65,"target":5},{"source":65,"target":70},{"source":65,"target":5},{"source":65,"target":64},{"source":70,"target":5},{"source":66,"target":1},{"source":6,"target":0},{"source":6,"target":5},{"source":6,"target":71},{"source":6,"target":72},{"source":6,"target":73},{"source":71,"target":11},{"source":71,"target":74},{"source":71,"target":6},{"source":74,"target":11},{"source":72,"target":3},{"source":72,"target":75},{"source":72,"target":6},{"source":75,"target":3},{"source":73,"target":5},{"source":7,"target":0},{"source":7,"target":3},{"source":7,"target":76},{"source":76,"target":3},{"source":8,"target":0},{"source":8,"target":3},{"source":8,"target":77},{"source":77,"target":3},{"source":9,"target":0},{"source":9,"target":3},{"source":9,"target":78},{"source":78,"target":3},{"source":10,"target":0},{"source":10,"target":3},{"source":10,"target":79},{"source":79,"target":3},{"source":11,"target":0},{"source":11,"target":80},{"source":11,"target":81},{"source":80,"target":82},{"source":80,"target":11},{"source":81,"target":83},{"source":81,"target":11},{"source":12,"target":0},{"source":12,"target":84},{"source":12,"target":85},{"source":84,"target":86},{"source":84,"target":12},{"source":13,"target":0},{"source":13,"target":87},{"source":13,"target":88},{"source":87,"target":89},{"source":87,"target":13},{"source":14,"target":0},{"source":14,"target":13},{"source":14,"target":90},{"source":14,"target":91},{"source":14,"target":92},{"source":90,"target":93},{"source":90,"target":14},{"source":91,"target":15},{"source":91,"target":94},{"source":91,"target":14},{"source":91,"target":95},{"source":94,"target":15},{"source":92,"target":13},{"source":15,"target":0},{"source":15,"target":14},{"source":15,"target":95},{"source":15,"target":96},{"source":95,"target":14},{"source":95,"target":97},{"source":95,"target":15},{"source":95,"target":91},{"source":97,"target":14},{"source":96,"target":14},{"source":16,"target":0},{"source":16,"target":13},{"source":16,"target":98},{"source":16,"target":99},{"source":98,"target":100},{"source":98,"target":16},{"source":99,"target":13},{"source":17,"target":0},{"source":17,"target":13},{"source":17,"target":101},{"source":17,"target":102},{"source":101,"target":4},{"source":101,"target":103},{"source":101,"target":17},{"source":103,"target":4},{"source":102,"target":13},{"source":18,"target":0},{"source":18,"target":13},{"source":18,"target":104},{"source":18,"target":105},{"source":104,"target":4},{"source":104,"target":106},{"source":104,"target":18},{"source":106,"target":4},{"source":105,"target":13},{"source":19,"target":0},{"source":19,"target":13},{"source":19,"target":107},{"source":107,"target":13},{"source":20,"target":0},{"source":20,"target":13},{"source":20,"target":108},{"source":20,"target":109},{"source":20,"target":110},{"source":108,"target":12},{"source":108,"target":111},{"source":108,"target":20},{"source":111,"target":12},{"source":109,"target":112},{"source":109,"target":20},{"source":110,"target":13},{"source":21,"target":0},{"source":21,"target":13},{"source":21,"target":113},{"source":21,"target":114},{"source":113,"target":12},{"source":113,"target":115},{"source":113,"target":21},{"source":115,"target":12},{"source":114,"target":13},{"source":22,"target":0},{"source":22,"target":13},{"source":22,"target":116},{"source":22,"target":117},{"source":22,"target":118},{"source":22,"target":119},{"source":116,"target":23},{"source":116,"target":120},{"source":116,"target":22},{"source":120,"target":23},{"source":117,"target":121},{"source":117,"target":22},{"source":118,"target":6},{"source":118,"target":122},{"source":118,"target":22},{"source":122,"target":6},{"source":119,"target":13},{"source":23,"target":0},{"source":23,"target":123},{"source":23,"target":124},{"source":123,"target":4},{"source":123,"target":125},{"source":123,"target":23},{"source":125,"target":4},{"source":124,"target":13},{"source":124,"target":126},{"source":124,"target":23},{"source":126,"target":13},{"source":24,"target":0},{"source":24,"target":13},{"source":24,"target":127},{"source":24,"target":128},{"source":24,"target":129},{"source":127,"target":6},{"source":127,"target":130},{"source":127,"target":24},{"source":130,"target":6},{"source":128,"target":131},{"source":128,"target":24},{"source":129,"target":13},{"source":25,"target":0},{"source":25,"target":13},{"source":25,"target":132},{"source":25,"target":133},{"source":25,"target":134},{"source":25,"target":135},{"source":25,"target":136},{"source":132,"target":13},{"source":132,"target":137},{"source":132,"target":25},{"source":137,"target":13},{"source":133,"target":138},{"source":133,"target":25},{"source":134,"target":6},{"source":134,"target":139},{"source":134,"target":25},{"source":139,"target":6},{"source":135,"target":13},{"source":135,"target":140},{"source":135,"target":25},{"source":140,"target":13},{"source":136,"target":13},{"source":26,"target":0},{"source":26,"target":13},{"source":26,"target":141},{"source":141,"target":13},{"source":27,"target":0},{"source":27,"target":26},{"source":27,"target":142},{"source":27,"target":143},{"source":142,"target":3},{"source":142,"target":144},{"source":142,"target":27},{"source":144,"target":3},{"source":143,"target":26},{"source":28,"target":0},{"source":28,"target":26},{"source":28,"target":145},{"source":145,"target":26},{"source":29,"target":0},{"source":29,"target":26},{"source":29,"target":146},{"source":146,"target":26},{"source":30,"target":0},{"source":30,"target":26},{"source":30,"target":147},{"source":30,"target":148},{"source":147,"target":4},{"source":147,"target":149},{"source":147,"target":30},{"source":149,"target":4},{"source":148,"target":26},{"source":31,"target":0},{"source":31,"target":26},{"source":31,"target":150},{"source":31,"target":151},{"source":150,"target":4},{"source":150,"target":152},{"source":150,"target":31},{"source":152,"target":4},{"source":151,"target":26},{"source":32,"target":0},{"source":32,"target":26},{"source":32,"target":153},{"source":153,"target":26},{"source":33,"target":0},{"source":33,"target":26},{"source":33,"target":154},{"source":154,"target":26}],"multigraph":true}