robochart
BasicPackage
name
imports
RCPackage
interfaces
robots
types
machines
controllers
modules
operations
functions
Import
importedNamespace
NamedElement
name
TypeDecl
PrimitiveType
RecordType
fields
Field
TypedNamedElement
type
Member
Enumeration
literals
Literal
types
NameType
type
Type
ProductType
types
RelationType
domain
range
FunctionType
SetType
domain
SeqType
TypeRef
ref
AnyType
identifier
VariableList
modifier
vars
VariableModifier
VAR
VAR
CONST
CONST
Variable
initial
modifier
Event
type
broadcast
Function
parameters
preconditions
postconditions
Parameter
OperationSig
terminates
parameters
preconditions
postconditions
Operation
OperationDef
Reference
OperationRef
ref
Interface
BasicContext
variableList
operations
events
RoboticPlatform
RoboticPlatformDef
Context
pInterfaces
rInterfaces
interfaces
RoboticPlatformRef
ref
StateMachine
StateMachineDef
StateMachineRef
ref
StateMachineBody
clocks
Clock
NodeContainer
nodes
transitions
Node
Junction
Initial
State
actions
Final
ProbabilisticJunction
Transition
source
target
start
trigger
end
condition
action
probability
Trigger
event
_from
_predicate
parameter
value
time
reset
_type
TriggerType
SIMPLE
SIMPLE
INPUT
INPUT
OUTPUT
OUTPUT
SYNC
SYNC
EMPTY
EMPTY
Action
action
EntryAction
DuringAction
ExitAction
Controller
ControllerDef
machines
lOperations
connections
Connection
from
to
efrom
eto
async
bidirec
ControllerRef
ref
RCModule
connections
nodes
Statement
TimedStatement
start
stmt
end
Wait
duration
Skip
IfStmt
expression
then
else
Assignment
left
right
SendEvent
trigger
SeqStatement
statements
ParStmt
stmt
Call
operation
args
ClockReset
clock
Expression
ResultExp
ArrayExp
value
parameters
ClockExp
clock
StateClockExp
state
BinaryExpression
left
right
Iff
Implies
Or
QuantifierExpression
variables
suchthat
predicate
Forall
Exists
unique
LambdaExp
variables
suchthat
expression
DefiniteDescription
IfExpression
condition
ifexp
elseexp
Declaration
value
LetExpression
declarations
expression
And
Not
exp
InExp
member
set
TypeExp
type
Equals
Different
GreaterThan
GreaterOrEqual
LessThan
LessOrEqual
Plus
Minus
Modulus
Mult
Div
Cat
Neg
exp
Selection
receiver
member
IntegerExp
value
FloatExp
value
StringExp
value
BooleanExp
value
VarExp
value
RefExp
ref
ToExp
FromExp
IdExp
AsExp
exp
type
IsExp
exp
type
EnumExp
type
literal
ParExp
exp
SeqExp
values
SetExp
values
SetComp
variables
predicate
expression
SetRange
start
end
TupleExp
values
RangeExp
linterval
lrange
rrange
rinterval
CallExp
function
args
ElseExp
Assignable
VarSelection
receiver
member
ArrayAssignable
value
parameters
VarRef
name
ConnectionNode
NamedExpression
WaitingCondition
expression
transitions
WaitingConditionRef
ref
VectorType
base
size
MatrixType
base
rows
columns
<?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="robochart"
    nsURI="http://www.robocalc.circus/RoboChart"
    nsPrefix="robochart">
  <eAnnotations
      source="http://www.eclipse.org/OCL/Import">
    <details
        key="ecore"
        value="http://www.eclipse.org/emf/2002/Ecore"/>
  </eAnnotations>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="BasicPackage">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="name"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="imports"
        ordered="false"
        upperBound="-1"
        eType="#//Import"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RCPackage"
      eSuperTypes="#//BasicPackage">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="interfaces"
        ordered="false"
        upperBound="-1"
        eType="#//Interface"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="robots"
        ordered="false"
        upperBound="-1"
        eType="#//RoboticPlatformDef"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="types"
        ordered="false"
        upperBound="-1"
        eType="#//TypeDecl"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="machines"
        ordered="false"
        upperBound="-1"
        eType="#//StateMachineDef"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="controllers"
        ordered="false"
        upperBound="-1"
        eType="#//ControllerDef"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="modules"
        ordered="false"
        upperBound="-1"
        eType="#//RCModule"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="operations"
        ordered="false"
        upperBound="-1"
        eType="#//OperationDef"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="functions"
        ordered="false"
        upperBound="-1"
        eType="#//Function"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Import">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="importedNamespace"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="NamedElement"
      abstract="true">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="name"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="TypeDecl"
      abstract="true"
      eSuperTypes="#//NamedElement">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Definition of type declarations"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="PrimitiveType"
      eSuperTypes="#//TypeDecl">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Primitive Types"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RecordType"
      eSuperTypes="#//TypeDecl">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Record Types"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="fields"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Field"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Field"
      eSuperTypes="#//Member #//NamedExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="TypedNamedElement"
      abstract="true"
      eSuperTypes="#//NamedElement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Member"
      abstract="true"
      eSuperTypes="#//TypedNamedElement"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Enumeration"
      eSuperTypes="#//TypeDecl">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Enumeration Types"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="literals"
        ordered="false"
        upperBound="-1"
        eType="#//Literal"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Literal"
      eSuperTypes="#//TypeDecl #//NamedExpression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="types"
        ordered="false"
        upperBound="-1"
        eType="#//Type"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="NameType"
      eSuperTypes="#//TypeDecl">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Named Types"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Type"
      abstract="true">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Types"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ProductType"
      eSuperTypes="#//Type">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="The order of types in a product type is important. It seems ecore ignores the&#xA;ordered attribute, but I decided to keep it here for documentation purposes."/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="types"
        lowerBound="2"
        upperBound="-1"
        eType="#//Type"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RelationType"
      eSuperTypes="#//Type">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="domain"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="range"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="FunctionType"
      eSuperTypes="#//RelationType"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SetType"
      eSuperTypes="#//Type">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="domain"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SeqType"
      eSuperTypes="#//SetType"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="TypeRef"
      eSuperTypes="#//Type">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        lowerBound="1"
        eType="#//TypeDecl"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="AnyType"
      eSuperTypes="#//Type">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="The class AnyType represents generics"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="identifier"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="VariableList">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Variables"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="modifier"
        lowerBound="1"
        eType="#//VariableModifier"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="vars"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Variable"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EEnum"
      name="VariableModifier">
    <eLiterals
        name="VAR"/>
    <eLiterals
        name="CONST"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Variable"
      eSuperTypes="#//TypedNamedElement #//NamedExpression #//Member">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="initial"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="modifier"
        lowerBound="1"
        eType="#//VariableModifier"
        volatile="true"
        transient="true"
        derived="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Event"
      eSuperTypes="#//NamedElement">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Events"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        eType="#//Type"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="broadcast"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Function"
      eSuperTypes="#//TypedNamedElement #//NamedExpression">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Functions"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="parameters"
        upperBound="-1"
        eType="#//Parameter"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="preconditions"
        ordered="false"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="postconditions"
        ordered="false"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Parameter"
      eSuperTypes="#//Variable"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="OperationSig"
      eSuperTypes="#//NamedElement">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Operations"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="terminates"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="parameters"
        upperBound="-1"
        eType="#//Parameter"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="preconditions"
        ordered="false"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="postconditions"
        ordered="false"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Operation"
      abstract="true"
      eSuperTypes="#//NamedElement #//ConnectionNode"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="OperationDef"
      eSuperTypes="#//Operation #//OperationSig #//StateMachineBody"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Reference"
      abstract="true">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="The Reference class identifies reference constructs"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="OperationRef"
      eSuperTypes="#//Operation #//Reference">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        lowerBound="1"
        eType="#//OperationDef"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Interface"
      eSuperTypes="#//NamedElement #//BasicContext">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Interfaces"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="BasicContext"
      abstract="true">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="variableList"
        ordered="false"
        upperBound="-1"
        eType="#//VariableList"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="operations"
        ordered="false"
        upperBound="-1"
        eType="#//OperationSig"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="events"
        ordered="false"
        upperBound="-1"
        eType="#//Event"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RoboticPlatform"
      abstract="true"
      eSuperTypes="#//NamedElement #//ConnectionNode">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Robotic Platforms"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RoboticPlatformDef"
      eSuperTypes="#//Context #//RoboticPlatform"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Context"
      abstract="true"
      eSuperTypes="#//BasicContext">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="pInterfaces"
        ordered="false"
        unique="false"
        upperBound="-1"
        eType="#//Interface">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="rInterfaces"
        ordered="false"
        unique="false"
        upperBound="-1"
        eType="#//Interface">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="interfaces"
        ordered="false"
        unique="false"
        upperBound="-1"
        eType="#//Interface">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RoboticPlatformRef"
      eSuperTypes="#//RoboticPlatform #//Reference">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        lowerBound="1"
        eType="#//RoboticPlatformDef"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="StateMachine"
      abstract="true"
      eSuperTypes="#//NamedElement #//ConnectionNode">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="State Machines"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="StateMachineDef"
      eSuperTypes="#//StateMachineBody #//StateMachine"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="StateMachineRef"
      eSuperTypes="#//StateMachine #//Reference">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        lowerBound="1"
        eType="#//StateMachineDef"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="StateMachineBody"
      eSuperTypes="#//Context #//NodeContainer">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="clocks"
        ordered="false"
        upperBound="-1"
        eType="#//Clock"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Clock"
      eSuperTypes="#//NamedElement"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="NodeContainer"
      abstract="true">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="nodes"
        ordered="false"
        upperBound="-1"
        eType="#//Node"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="transitions"
        ordered="false"
        upperBound="-1"
        eType="#//Transition"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Node"
      abstract="true"
      eSuperTypes="#//NamedElement"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Junction"
      eSuperTypes="#//Node"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Initial"
      eSuperTypes="#//Junction"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="State"
      eSuperTypes="#//Node #//NodeContainer">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="actions"
        ordered="false"
        upperBound="-1"
        eType="#//Action"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Final"
      eSuperTypes="#//State">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Semantically, Final is a state, but in the metamodel that would&#xA;include nodes, transitions and actions. For this reason, I'm keeping&#xA;it as a node."/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ProbabilisticJunction"
      eSuperTypes="#//Junction"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Transition"
      eSuperTypes="#//NamedElement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="source"
        lowerBound="1"
        eType="#//Node"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="target"
        lowerBound="1"
        eType="#//Node"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="start"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="trigger"
        eType="#//Trigger"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="end"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="condition"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="action"
        eType="#//Statement"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="probability"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Trigger">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="event"
        eType="#//Event"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="_from"
        eType="#//Variable"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="_predicate"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="parameter"
        eType="#//Variable"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="value"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="time"
        eType="#//Variable"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="reset"
        upperBound="-1"
        eType="#//ClockReset"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="_type"
        lowerBound="1"
        eType="#//TriggerType"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EEnum"
      name="TriggerType">
    <eLiterals
        name="SIMPLE"/>
    <eLiterals
        name="INPUT"/>
    <eLiterals
        name="OUTPUT"/>
    <eLiterals
        name="SYNC"/>
    <eLiterals
        name="EMPTY"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Action"
      abstract="true">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Actions"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="action"
        lowerBound="1"
        eType="#//Statement"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="EntryAction"
      eSuperTypes="#//Action"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="DuringAction"
      eSuperTypes="#//Action"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ExitAction"
      eSuperTypes="#//Action"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Controller"
      abstract="true"
      eSuperTypes="#//NamedElement #//ConnectionNode">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Controllers"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ControllerDef"
      eSuperTypes="#//Context #//Controller">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="machines"
        ordered="false"
        upperBound="-1"
        eType="#//StateMachine"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="lOperations"
        ordered="false"
        upperBound="-1"
        eType="#//Operation"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/emf/2002/GenModel">
        <details
            key="documentation"
            value="These are the operations defined or referenced locally in the controller"/>
      </eAnnotations>
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="connections"
        ordered="false"
        upperBound="-1"
        eType="#//Connection"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Connection">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="from"
        lowerBound="1"
        eType="#//ConnectionNode"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="to"
        lowerBound="1"
        eType="#//ConnectionNode"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="efrom"
        lowerBound="1"
        eType="#//Event"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="eto"
        lowerBound="1"
        eType="#//Event"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="async"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="bidirec"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ControllerRef"
      eSuperTypes="#//Controller">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        lowerBound="1"
        eType="#//ControllerDef"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RCModule"
      eSuperTypes="#//NamedElement">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Modules"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="connections"
        ordered="false"
        upperBound="-1"
        eType="#//Connection"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="nodes"
        ordered="false"
        upperBound="-1"
        eType="#//ConnectionNode"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Statement"
      abstract="true">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Statements"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="TimedStatement"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="start"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="stmt"
        lowerBound="1"
        eType="#//Statement"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="end"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Wait"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="duration"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Skip"
      eSuperTypes="#//Statement"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="IfStmt"
      eSuperTypes="#//Statement">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="The else branch of an if statement is now optional"/>
    </eAnnotations>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="expression"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="then"
        lowerBound="1"
        eType="#//Statement"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="else"
        eType="#//Statement"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Assignment"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="left"
        lowerBound="1"
        eType="#//Assignable"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="right"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SendEvent"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="trigger"
        lowerBound="1"
        eType="#//Trigger"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SeqStatement"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="statements"
        lowerBound="2"
        upperBound="-1"
        eType="#//Statement"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ParStmt"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="stmt"
        lowerBound="1"
        eType="#//Statement"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Call"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="operation"
        lowerBound="1"
        eType="#//OperationSig"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="args"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ClockReset"
      eSuperTypes="#//Statement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="clock"
        lowerBound="1"
        eType="#//Clock"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Expression"
      abstract="true">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Expression"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ResultExp"
      eSuperTypes="#//Expression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ArrayExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="value"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="parameters"
        ordered="false"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ClockExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="clock"
        lowerBound="1"
        eType="#//Clock"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="StateClockExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="state"
        lowerBound="1"
        eType="#//State"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="BinaryExpression"
      abstract="true"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="left"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="right"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Iff"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Implies"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Or"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="QuantifierExpression"
      abstract="true"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="variables"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Variable"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="suchthat"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="predicate"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Forall"
      eSuperTypes="#//QuantifierExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Exists"
      eSuperTypes="#//QuantifierExpression">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="unique"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="LambdaExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="variables"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Variable"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="suchthat"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="expression"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="DefiniteDescription"
      eSuperTypes="#//LambdaExp"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="IfExpression"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="condition"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ifexp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="elseexp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Declaration"
      eSuperTypes="#//NamedElement #//NamedExpression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="value"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="LetExpression"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="declarations"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Declaration"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="expression"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="And"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Not"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="exp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="InExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="member"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="set"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="TypeExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Equals"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Different"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="GreaterThan"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="GreaterOrEqual"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="LessThan"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="LessOrEqual"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Plus"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Minus"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Modulus"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Mult"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Div"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Cat"
      eSuperTypes="#//BinaryExpression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Neg"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="exp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Selection"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="receiver"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="member"
        lowerBound="1"
        eType="#//Member"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="IntegerExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="value"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="FloatExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="value"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EFloat"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="StringExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="value"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="BooleanExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="value"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="VarExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="value"
        lowerBound="1"
        eType="#//Variable"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RefExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        lowerBound="1"
        eType="#//NamedExpression"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ToExp"
      eSuperTypes="#//Expression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="FromExp"
      eSuperTypes="#//Expression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="IdExp"
      eSuperTypes="#//Expression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="AsExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="exp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="IsExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="exp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="EnumExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="type"
        lowerBound="1"
        eType="#//Enumeration"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="literal"
        lowerBound="1"
        eType="#//Literal"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ParExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="exp"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SeqExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="values"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SetExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="values"
        ordered="false"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SetComp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="variables"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Variable"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="predicate"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="expression"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="SetRange"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="start"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="end"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="TupleExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="values"
        lowerBound="2"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="RangeExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="linterval"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="lrange"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="rrange"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="rinterval"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="CallExp"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="function"
        lowerBound="1"
        eType="#//Expression"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="args"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ElseExp"
      eSuperTypes="#//Expression"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="Assignable"
      abstract="true">
    <eAnnotations
        source="http://www.eclipse.org/emf/2002/GenModel">
      <details
          key="documentation"
          value="Assignable"/>
    </eAnnotations>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="VarSelection"
      eSuperTypes="#//Assignable">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="receiver"
        lowerBound="1"
        eType="#//Assignable"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="member"
        lowerBound="1"
        eType="#//Member"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ArrayAssignable"
      eSuperTypes="#//Assignable">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="value"
        lowerBound="1"
        eType="#//Assignable"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="parameters"
        ordered="false"
        lowerBound="1"
        upperBound="-1"
        eType="#//Expression"
        containment="true">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="VarRef"
      eSuperTypes="#//Assignable">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="name"
        lowerBound="1"
        eType="#//Variable"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="ConnectionNode"
      abstract="true"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="NamedExpression"
      abstract="true"/>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="WaitingCondition"
      eSuperTypes="#//NamedElement">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="expression"
        eType="#//Expression"/>
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="transitions"
        upperBound="-1"
        eType="#//Transition">
      <eAnnotations
          source="http://www.eclipse.org/OCL/Collection">
        <details
            key="nullFree"
            value="false"/>
      </eAnnotations>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="WaitingConditionRef"
      eSuperTypes="#//Expression">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="ref"
        eType="#//WaitingCondition"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="VectorType"
      eSuperTypes="#//Type">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="base"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="size"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
  <eClassifiers
      xsi:type="ecore:EClass"
      name="MatrixType"
      eSuperTypes="#//Type">
    <eStructuralFeatures
        xsi:type="ecore:EReference"
        name="base"
        lowerBound="1"
        eType="#//Type"
        containment="true"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="rows"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
    <eStructuralFeatures
        xsi:type="ecore:EAttribute"
        name="columns"
        lowerBound="1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"robochart","nsURI":"http://www.robocalc.circus/RoboChart","name":"robochart","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BasicPackage","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RCPackage","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Import","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NamedElement","instanceClass":null,"abstract":true,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeDecl","instanceClass":null,"abstract":true,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PrimitiveType","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RecordType","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Field","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypedNamedElement","instanceClass":null,"abstract":true,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Member","instanceClass":null,"abstract":true,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Enumeration","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Literal","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NameType","instanceClass":null,"abstract":false,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Type","instanceClass":null,"abstract":true,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ProductType","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RelationType","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FunctionType","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SetType","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SeqType","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeRef","instanceClass":null,"abstract":false,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AnyType","instanceClass":null,"abstract":false,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VariableList","instanceClass":null,"abstract":false,"id":22,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"VariableModifier","instanceClass":null,"id":23,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Variable","instanceClass":null,"abstract":false,"id":24,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Event","instanceClass":null,"abstract":false,"id":25,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Function","instanceClass":null,"abstract":false,"id":26,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Parameter","instanceClass":null,"abstract":false,"id":27,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperationSig","instanceClass":null,"abstract":false,"id":28,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Operation","instanceClass":null,"abstract":true,"id":29,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperationDef","instanceClass":null,"abstract":false,"id":30,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Reference","instanceClass":null,"abstract":true,"id":31,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"OperationRef","instanceClass":null,"abstract":false,"id":32,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Interface","instanceClass":null,"abstract":false,"id":33,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BasicContext","instanceClass":null,"abstract":true,"id":34,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RoboticPlatform","instanceClass":null,"abstract":true,"id":35,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RoboticPlatformDef","instanceClass":null,"abstract":false,"id":36,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Context","instanceClass":null,"abstract":true,"id":37,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RoboticPlatformRef","instanceClass":null,"abstract":false,"id":38,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateMachine","instanceClass":null,"abstract":true,"id":39,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateMachineDef","instanceClass":null,"abstract":false,"id":40,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateMachineRef","instanceClass":null,"abstract":false,"id":41,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateMachineBody","instanceClass":null,"abstract":false,"id":42,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Clock","instanceClass":null,"abstract":false,"id":43,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NodeContainer","instanceClass":null,"abstract":true,"id":44,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Node","instanceClass":null,"abstract":true,"id":45,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Junction","instanceClass":null,"abstract":false,"id":46,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Initial","instanceClass":null,"abstract":false,"id":47,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","instanceClass":null,"abstract":false,"id":48,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Final","instanceClass":null,"abstract":false,"id":49,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ProbabilisticJunction","instanceClass":null,"abstract":false,"id":50,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":51,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Trigger","instanceClass":null,"abstract":false,"id":52,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"TriggerType","instanceClass":null,"id":53,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Action","instanceClass":null,"abstract":true,"id":54,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EntryAction","instanceClass":null,"abstract":false,"id":55,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DuringAction","instanceClass":null,"abstract":false,"id":56,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ExitAction","instanceClass":null,"abstract":false,"id":57,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Controller","instanceClass":null,"abstract":true,"id":58,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ControllerDef","instanceClass":null,"abstract":false,"id":59,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Connection","instanceClass":null,"abstract":false,"id":60,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ControllerRef","instanceClass":null,"abstract":false,"id":61,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RCModule","instanceClass":null,"abstract":false,"id":62,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Statement","instanceClass":null,"abstract":true,"id":63,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TimedStatement","instanceClass":null,"abstract":false,"id":64,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Wait","instanceClass":null,"abstract":false,"id":65,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Skip","instanceClass":null,"abstract":false,"id":66,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IfStmt","instanceClass":null,"abstract":false,"id":67,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Assignment","instanceClass":null,"abstract":false,"id":68,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SendEvent","instanceClass":null,"abstract":false,"id":69,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SeqStatement","instanceClass":null,"abstract":false,"id":70,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParStmt","instanceClass":null,"abstract":false,"id":71,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Call","instanceClass":null,"abstract":false,"id":72,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ClockReset","instanceClass":null,"abstract":false,"id":73,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Expression","instanceClass":null,"abstract":true,"id":74,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ResultExp","instanceClass":null,"abstract":false,"id":75,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ArrayExp","instanceClass":null,"abstract":false,"id":76,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ClockExp","instanceClass":null,"abstract":false,"id":77,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StateClockExp","instanceClass":null,"abstract":false,"id":78,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BinaryExpression","instanceClass":null,"abstract":true,"id":79,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Iff","instanceClass":null,"abstract":false,"id":80,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Implies","instanceClass":null,"abstract":false,"id":81,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Or","instanceClass":null,"abstract":false,"id":82,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"QuantifierExpression","instanceClass":null,"abstract":true,"id":83,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Forall","instanceClass":null,"abstract":false,"id":84,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Exists","instanceClass":null,"abstract":false,"id":85,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LambdaExp","instanceClass":null,"abstract":false,"id":86,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DefiniteDescription","instanceClass":null,"abstract":false,"id":87,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IfExpression","instanceClass":null,"abstract":false,"id":88,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Declaration","instanceClass":null,"abstract":false,"id":89,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LetExpression","instanceClass":null,"abstract":false,"id":90,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"And","instanceClass":null,"abstract":false,"id":91,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Not","instanceClass":null,"abstract":false,"id":92,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"InExp","instanceClass":null,"abstract":false,"id":93,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TypeExp","instanceClass":null,"abstract":false,"id":94,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Equals","instanceClass":null,"abstract":false,"id":95,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Different","instanceClass":null,"abstract":false,"id":96,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"GreaterThan","instanceClass":null,"abstract":false,"id":97,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"GreaterOrEqual","instanceClass":null,"abstract":false,"id":98,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LessThan","instanceClass":null,"abstract":false,"id":99,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LessOrEqual","instanceClass":null,"abstract":false,"id":100,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Plus","instanceClass":null,"abstract":false,"id":101,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Minus","instanceClass":null,"abstract":false,"id":102,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Modulus","instanceClass":null,"abstract":false,"id":103,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Mult","instanceClass":null,"abstract":false,"id":104,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Div","instanceClass":null,"abstract":false,"id":105,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Cat","instanceClass":null,"abstract":false,"id":106,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Neg","instanceClass":null,"abstract":false,"id":107,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Selection","instanceClass":null,"abstract":false,"id":108,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IntegerExp","instanceClass":null,"abstract":false,"id":109,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FloatExp","instanceClass":null,"abstract":false,"id":110,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringExp","instanceClass":null,"abstract":false,"id":111,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanExp","instanceClass":null,"abstract":false,"id":112,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VarExp","instanceClass":null,"abstract":false,"id":113,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RefExp","instanceClass":null,"abstract":false,"id":114,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ToExp","instanceClass":null,"abstract":false,"id":115,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"FromExp","instanceClass":null,"abstract":false,"id":116,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IdExp","instanceClass":null,"abstract":false,"id":117,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AsExp","instanceClass":null,"abstract":false,"id":118,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IsExp","instanceClass":null,"abstract":false,"id":119,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"EnumExp","instanceClass":null,"abstract":false,"id":120,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParExp","instanceClass":null,"abstract":false,"id":121,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SeqExp","instanceClass":null,"abstract":false,"id":122,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SetExp","instanceClass":null,"abstract":false,"id":123,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SetComp","instanceClass":null,"abstract":false,"id":124,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SetRange","instanceClass":null,"abstract":false,"id":125,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TupleExp","instanceClass":null,"abstract":false,"id":126,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"RangeExp","instanceClass":null,"abstract":false,"id":127,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"CallExp","instanceClass":null,"abstract":false,"id":128,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ElseExp","instanceClass":null,"abstract":false,"id":129,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Assignable","instanceClass":null,"abstract":true,"id":130,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VarSelection","instanceClass":null,"abstract":false,"id":131,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ArrayAssignable","instanceClass":null,"abstract":false,"id":132,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VarRef","instanceClass":null,"abstract":false,"id":133,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ConnectionNode","instanceClass":null,"abstract":true,"id":134,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NamedExpression","instanceClass":null,"abstract":true,"id":135,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"WaitingCondition","instanceClass":null,"abstract":false,"id":136,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"WaitingConditionRef","instanceClass":null,"abstract":false,"id":137,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"VectorType","instanceClass":null,"abstract":false,"id":138,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MatrixType","instanceClass":null,"abstract":false,"id":139,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":140,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"imports","changeable":true,"resolveProxies":true,"lowerBound":0,"id":141,"derived":false},{"id":142,"eClass":"EGenericType"},{"id":143,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"interfaces","changeable":true,"resolveProxies":true,"lowerBound":0,"id":144,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"robots","changeable":true,"resolveProxies":true,"lowerBound":0,"id":145,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"types","changeable":true,"resolveProxies":true,"lowerBound":0,"id":146,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"machines","changeable":true,"resolveProxies":true,"lowerBound":0,"id":147,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"controllers","changeable":true,"resolveProxies":true,"lowerBound":0,"id":148,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"modules","changeable":true,"resolveProxies":true,"lowerBound":0,"id":149,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"operations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":150,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"functions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":151,"derived":false},{"id":152,"eClass":"EGenericType"},{"id":153,"eClass":"EGenericType"},{"id":154,"eClass":"EGenericType"},{"id":155,"eClass":"EGenericType"},{"id":156,"eClass":"EGenericType"},{"id":157,"eClass":"EGenericType"},{"id":158,"eClass":"EGenericType"},{"id":159,"eClass":"EGenericType"},{"id":160,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"importedNamespace","changeable":true,"lowerBound":1,"iD":false,"id":161,"derived":false},{"id":162,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":163,"derived":false},{"id":164,"eClass":"EGenericType"},{"id":165,"eClass":"EGenericType"},{"id":166,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"fields","changeable":true,"resolveProxies":true,"lowerBound":1,"id":167,"derived":false},{"id":168,"eClass":"EGenericType"},{"id":169,"eClass":"EGenericType"},{"id":170,"eClass":"EGenericType"},{"id":171,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":172,"derived":false},{"id":173,"eClass":"EGenericType"},{"id":174,"eClass":"EGenericType"},{"id":175,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"literals","changeable":true,"resolveProxies":true,"lowerBound":0,"id":176,"derived":false},{"id":177,"eClass":"EGenericType"},{"id":178,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"types","changeable":true,"resolveProxies":true,"lowerBound":0,"id":179,"derived":false},{"id":180,"eClass":"EGenericType"},{"id":181,"eClass":"EGenericType"},{"id":182,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":183,"derived":false},{"id":184,"eClass":"EGenericType"},{"id":185,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"types","changeable":true,"resolveProxies":true,"lowerBound":2,"id":186,"derived":false},{"id":187,"eClass":"EGenericType"},{"id":188,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"domain","changeable":true,"resolveProxies":true,"lowerBound":1,"id":189,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"range","changeable":true,"resolveProxies":true,"lowerBound":1,"id":190,"derived":false},{"id":191,"eClass":"EGenericType"},{"id":192,"eClass":"EGenericType"},{"id":193,"eClass":"EGenericType"},{"id":194,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"domain","changeable":true,"resolveProxies":true,"lowerBound":1,"id":195,"derived":false},{"id":196,"eClass":"EGenericType"},{"id":197,"eClass":"EGenericType"},{"id":198,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ref","changeable":true,"resolveProxies":true,"lowerBound":1,"id":199,"derived":false},{"id":200,"eClass":"EGenericType"},{"id":201,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"identifier","changeable":true,"lowerBound":1,"iD":false,"id":202,"derived":false},{"id":203,"eClass":"EGenericType"},{"id":204,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"modifier","changeable":true,"lowerBound":1,"iD":false,"id":205,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"vars","changeable":true,"resolveProxies":true,"lowerBound":1,"id":206,"derived":false},{"id":207,"eClass":"EGenericType"},{"id":208,"eClass":"EGenericType"},{"name":"VAR","id":209,"value":0,"literal":"VAR","eClass":"EEnumLiteral"},{"name":"CONST","id":210,"value":0,"literal":"CONST","eClass":"EEnumLiteral"},{"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":"initial","changeable":true,"resolveProxies":true,"lowerBound":0,"id":211,"derived":false},{"ordered":true,"upperBound":1,"volatile":true,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"modifier","changeable":true,"lowerBound":1,"iD":false,"id":212,"derived":true},{"id":213,"eClass":"EGenericType"},{"id":214,"eClass":"EGenericType"},{"id":215,"eClass":"EGenericType"},{"id":216,"eClass":"EGenericType"},{"id":217,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":0,"id":218,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"broadcast","changeable":true,"lowerBound":1,"iD":false,"id":219,"derived":false},{"id":220,"eClass":"EGenericType"},{"id":221,"eClass":"EGenericType"},{"id":222,"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":"parameters","changeable":true,"resolveProxies":true,"lowerBound":0,"id":223,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"preconditions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":224,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"postconditions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":225,"derived":false},{"id":226,"eClass":"EGenericType"},{"id":227,"eClass":"EGenericType"},{"id":228,"eClass":"EGenericType"},{"id":229,"eClass":"EGenericType"},{"id":230,"eClass":"EGenericType"},{"id":231,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"terminates","changeable":true,"lowerBound":1,"iD":false,"id":232,"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":"parameters","changeable":true,"resolveProxies":true,"lowerBound":0,"id":233,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"preconditions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":234,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"postconditions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":235,"derived":false},{"id":236,"eClass":"EGenericType"},{"id":237,"eClass":"EGenericType"},{"id":238,"eClass":"EGenericType"},{"id":239,"eClass":"EGenericType"},{"id":240,"eClass":"EGenericType"},{"id":241,"eClass":"EGenericType"},{"id":242,"eClass":"EGenericType"},{"id":243,"eClass":"EGenericType"},{"id":244,"eClass":"EGenericType"},{"id":245,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ref","changeable":true,"resolveProxies":true,"lowerBound":1,"id":246,"derived":false},{"id":247,"eClass":"EGenericType"},{"id":248,"eClass":"EGenericType"},{"id":249,"eClass":"EGenericType"},{"id":250,"eClass":"EGenericType"},{"id":251,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"variableList","changeable":true,"resolveProxies":true,"lowerBound":0,"id":252,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"operations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":253,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"events","changeable":true,"resolveProxies":true,"lowerBound":0,"id":254,"derived":false},{"id":255,"eClass":"EGenericType"},{"id":256,"eClass":"EGenericType"},{"id":257,"eClass":"EGenericType"},{"id":258,"eClass":"EGenericType"},{"id":259,"eClass":"EGenericType"},{"id":260,"eClass":"EGenericType"},{"id":261,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":false,"name":"pInterfaces","changeable":true,"resolveProxies":true,"lowerBound":0,"id":262,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":false,"name":"rInterfaces","changeable":true,"resolveProxies":true,"lowerBound":0,"id":263,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":false,"name":"interfaces","changeable":true,"resolveProxies":true,"lowerBound":0,"id":264,"derived":false},{"id":265,"eClass":"EGenericType"},{"id":266,"eClass":"EGenericType"},{"id":267,"eClass":"EGenericType"},{"id":268,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ref","changeable":true,"resolveProxies":true,"lowerBound":1,"id":269,"derived":false},{"id":270,"eClass":"EGenericType"},{"id":271,"eClass":"EGenericType"},{"id":272,"eClass":"EGenericType"},{"id":273,"eClass":"EGenericType"},{"id":274,"eClass":"EGenericType"},{"id":275,"eClass":"EGenericType"},{"id":276,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ref","changeable":true,"resolveProxies":true,"lowerBound":1,"id":277,"derived":false},{"id":278,"eClass":"EGenericType"},{"id":279,"eClass":"EGenericType"},{"id":280,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"clocks","changeable":true,"resolveProxies":true,"lowerBound":0,"id":281,"derived":false},{"id":282,"eClass":"EGenericType"},{"id":283,"eClass":"EGenericType"},{"id":284,"eClass":"EGenericType"},{"id":285,"eClass":"EGenericType"},{"container":false,"ordered":false,"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":286,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":287,"derived":false},{"id":288,"eClass":"EGenericType"},{"id":289,"eClass":"EGenericType"},{"id":290,"eClass":"EGenericType"},{"id":291,"eClass":"EGenericType"},{"id":292,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"actions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":293,"derived":false},{"id":294,"eClass":"EGenericType"},{"id":295,"eClass":"EGenericType"},{"id":296,"eClass":"EGenericType"},{"id":297,"eClass":"EGenericType"},{"id":298,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":299,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"target","changeable":true,"resolveProxies":true,"lowerBound":1,"id":300,"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":"start","changeable":true,"resolveProxies":true,"lowerBound":0,"id":301,"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":"trigger","changeable":true,"resolveProxies":true,"lowerBound":0,"id":302,"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":"end","changeable":true,"resolveProxies":true,"lowerBound":0,"id":303,"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":"condition","changeable":true,"resolveProxies":true,"lowerBound":0,"id":304,"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":"action","changeable":true,"resolveProxies":true,"lowerBound":0,"id":305,"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":"probability","changeable":true,"resolveProxies":true,"lowerBound":0,"id":306,"derived":false},{"id":307,"eClass":"EGenericType"},{"id":308,"eClass":"EGenericType"},{"id":309,"eClass":"EGenericType"},{"id":310,"eClass":"EGenericType"},{"id":311,"eClass":"EGenericType"},{"id":312,"eClass":"EGenericType"},{"id":313,"eClass":"EGenericType"},{"id":314,"eClass":"EGenericType"},{"id":315,"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":"event","changeable":true,"resolveProxies":true,"lowerBound":0,"id":316,"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":"_from","changeable":true,"resolveProxies":true,"lowerBound":0,"id":317,"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":"_predicate","changeable":true,"resolveProxies":true,"lowerBound":0,"id":318,"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":"parameter","changeable":true,"resolveProxies":true,"lowerBound":0,"id":319,"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":"value","changeable":true,"resolveProxies":true,"lowerBound":0,"id":320,"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":"time","changeable":true,"resolveProxies":true,"lowerBound":0,"id":321,"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":"reset","changeable":true,"resolveProxies":true,"lowerBound":0,"id":322,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"_type","changeable":true,"lowerBound":1,"iD":false,"id":323,"derived":false},{"id":324,"eClass":"EGenericType"},{"id":325,"eClass":"EGenericType"},{"id":326,"eClass":"EGenericType"},{"id":327,"eClass":"EGenericType"},{"id":328,"eClass":"EGenericType"},{"id":329,"eClass":"EGenericType"},{"id":330,"eClass":"EGenericType"},{"id":331,"eClass":"EGenericType"},{"name":"SIMPLE","id":332,"value":0,"literal":"SIMPLE","eClass":"EEnumLiteral"},{"name":"INPUT","id":333,"value":0,"literal":"INPUT","eClass":"EEnumLiteral"},{"name":"OUTPUT","id":334,"value":0,"literal":"OUTPUT","eClass":"EEnumLiteral"},{"name":"SYNC","id":335,"value":0,"literal":"SYNC","eClass":"EEnumLiteral"},{"name":"EMPTY","id":336,"value":0,"literal":"EMPTY","eClass":"EEnumLiteral"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"action","changeable":true,"resolveProxies":true,"lowerBound":1,"id":337,"derived":false},{"id":338,"eClass":"EGenericType"},{"id":339,"eClass":"EGenericType"},{"id":340,"eClass":"EGenericType"},{"id":341,"eClass":"EGenericType"},{"id":342,"eClass":"EGenericType"},{"id":343,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"machines","changeable":true,"resolveProxies":true,"lowerBound":0,"id":344,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"lOperations","changeable":true,"resolveProxies":true,"lowerBound":0,"id":345,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"connections","changeable":true,"resolveProxies":true,"lowerBound":0,"id":346,"derived":false},{"id":347,"eClass":"EGenericType"},{"id":348,"eClass":"EGenericType"},{"id":349,"eClass":"EGenericType"},{"id":350,"eClass":"EGenericType"},{"id":351,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"from","changeable":true,"resolveProxies":true,"lowerBound":1,"id":352,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"to","changeable":true,"resolveProxies":true,"lowerBound":1,"id":353,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"efrom","changeable":true,"resolveProxies":true,"lowerBound":1,"id":354,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"eto","changeable":true,"resolveProxies":true,"lowerBound":1,"id":355,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"async","changeable":true,"lowerBound":1,"iD":false,"id":356,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"bidirec","changeable":true,"lowerBound":1,"iD":false,"id":357,"derived":false},{"id":358,"eClass":"EGenericType"},{"id":359,"eClass":"EGenericType"},{"id":360,"eClass":"EGenericType"},{"id":361,"eClass":"EGenericType"},{"id":362,"eClass":"EGenericType"},{"id":363,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ref","changeable":true,"resolveProxies":true,"lowerBound":1,"id":364,"derived":false},{"id":365,"eClass":"EGenericType"},{"id":366,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"connections","changeable":true,"resolveProxies":true,"lowerBound":0,"id":367,"derived":false},{"container":false,"ordered":false,"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":368,"derived":false},{"id":369,"eClass":"EGenericType"},{"id":370,"eClass":"EGenericType"},{"id":371,"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":"start","changeable":true,"resolveProxies":true,"lowerBound":0,"id":372,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"stmt","changeable":true,"resolveProxies":true,"lowerBound":1,"id":373,"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":"end","changeable":true,"resolveProxies":true,"lowerBound":0,"id":374,"derived":false},{"id":375,"eClass":"EGenericType"},{"id":376,"eClass":"EGenericType"},{"id":377,"eClass":"EGenericType"},{"id":378,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"duration","changeable":true,"resolveProxies":true,"lowerBound":1,"id":379,"derived":false},{"id":380,"eClass":"EGenericType"},{"id":381,"eClass":"EGenericType"},{"id":382,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"expression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":383,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"then","changeable":true,"resolveProxies":true,"lowerBound":1,"id":384,"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":"else","changeable":true,"resolveProxies":true,"lowerBound":0,"id":385,"derived":false},{"id":386,"eClass":"EGenericType"},{"id":387,"eClass":"EGenericType"},{"id":388,"eClass":"EGenericType"},{"id":389,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"left","changeable":true,"resolveProxies":true,"lowerBound":1,"id":390,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"right","changeable":true,"resolveProxies":true,"lowerBound":1,"id":391,"derived":false},{"id":392,"eClass":"EGenericType"},{"id":393,"eClass":"EGenericType"},{"id":394,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"trigger","changeable":true,"resolveProxies":true,"lowerBound":1,"id":395,"derived":false},{"id":396,"eClass":"EGenericType"},{"id":397,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"statements","changeable":true,"resolveProxies":true,"lowerBound":2,"id":398,"derived":false},{"id":399,"eClass":"EGenericType"},{"id":400,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"stmt","changeable":true,"resolveProxies":true,"lowerBound":1,"id":401,"derived":false},{"id":402,"eClass":"EGenericType"},{"id":403,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"operation","changeable":true,"resolveProxies":true,"lowerBound":1,"id":404,"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":"args","changeable":true,"resolveProxies":true,"lowerBound":0,"id":405,"derived":false},{"id":406,"eClass":"EGenericType"},{"id":407,"eClass":"EGenericType"},{"id":408,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"clock","changeable":true,"resolveProxies":true,"lowerBound":1,"id":409,"derived":false},{"id":410,"eClass":"EGenericType"},{"id":411,"eClass":"EGenericType"},{"id":412,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":413,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"parameters","changeable":true,"resolveProxies":true,"lowerBound":0,"id":414,"derived":false},{"id":415,"eClass":"EGenericType"},{"id":416,"eClass":"EGenericType"},{"id":417,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"clock","changeable":true,"resolveProxies":true,"lowerBound":1,"id":418,"derived":false},{"id":419,"eClass":"EGenericType"},{"id":420,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"state","changeable":true,"resolveProxies":true,"lowerBound":1,"id":421,"derived":false},{"id":422,"eClass":"EGenericType"},{"id":423,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"left","changeable":true,"resolveProxies":true,"lowerBound":1,"id":424,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"right","changeable":true,"resolveProxies":true,"lowerBound":1,"id":425,"derived":false},{"id":426,"eClass":"EGenericType"},{"id":427,"eClass":"EGenericType"},{"id":428,"eClass":"EGenericType"},{"id":429,"eClass":"EGenericType"},{"id":430,"eClass":"EGenericType"},{"id":431,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"variables","changeable":true,"resolveProxies":true,"lowerBound":1,"id":432,"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":"suchthat","changeable":true,"resolveProxies":true,"lowerBound":0,"id":433,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"predicate","changeable":true,"resolveProxies":true,"lowerBound":1,"id":434,"derived":false},{"id":435,"eClass":"EGenericType"},{"id":436,"eClass":"EGenericType"},{"id":437,"eClass":"EGenericType"},{"id":438,"eClass":"EGenericType"},{"id":439,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"unique","changeable":true,"lowerBound":1,"iD":false,"id":440,"derived":false},{"id":441,"eClass":"EGenericType"},{"id":442,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"variables","changeable":true,"resolveProxies":true,"lowerBound":1,"id":443,"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":"suchthat","changeable":true,"resolveProxies":true,"lowerBound":0,"id":444,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"expression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":445,"derived":false},{"id":446,"eClass":"EGenericType"},{"id":447,"eClass":"EGenericType"},{"id":448,"eClass":"EGenericType"},{"id":449,"eClass":"EGenericType"},{"id":450,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"condition","changeable":true,"resolveProxies":true,"lowerBound":1,"id":451,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"ifexp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":452,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"elseexp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":453,"derived":false},{"id":454,"eClass":"EGenericType"},{"id":455,"eClass":"EGenericType"},{"id":456,"eClass":"EGenericType"},{"id":457,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":458,"derived":false},{"id":459,"eClass":"EGenericType"},{"id":460,"eClass":"EGenericType"},{"id":461,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"declarations","changeable":true,"resolveProxies":true,"lowerBound":1,"id":462,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"expression","changeable":true,"resolveProxies":true,"lowerBound":1,"id":463,"derived":false},{"id":464,"eClass":"EGenericType"},{"id":465,"eClass":"EGenericType"},{"id":466,"eClass":"EGenericType"},{"id":467,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":468,"derived":false},{"id":469,"eClass":"EGenericType"},{"id":470,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"member","changeable":true,"resolveProxies":true,"lowerBound":1,"id":471,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"set","changeable":true,"resolveProxies":true,"lowerBound":1,"id":472,"derived":false},{"id":473,"eClass":"EGenericType"},{"id":474,"eClass":"EGenericType"},{"id":475,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":476,"derived":false},{"id":477,"eClass":"EGenericType"},{"id":478,"eClass":"EGenericType"},{"id":479,"eClass":"EGenericType"},{"id":480,"eClass":"EGenericType"},{"id":481,"eClass":"EGenericType"},{"id":482,"eClass":"EGenericType"},{"id":483,"eClass":"EGenericType"},{"id":484,"eClass":"EGenericType"},{"id":485,"eClass":"EGenericType"},{"id":486,"eClass":"EGenericType"},{"id":487,"eClass":"EGenericType"},{"id":488,"eClass":"EGenericType"},{"id":489,"eClass":"EGenericType"},{"id":490,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":491,"derived":false},{"id":492,"eClass":"EGenericType"},{"id":493,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"receiver","changeable":true,"resolveProxies":true,"lowerBound":1,"id":494,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"member","changeable":true,"resolveProxies":true,"lowerBound":1,"id":495,"derived":false},{"id":496,"eClass":"EGenericType"},{"id":497,"eClass":"EGenericType"},{"id":498,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":499,"derived":false},{"id":500,"eClass":"EGenericType"},{"id":501,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":0.0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":502,"derived":false},{"id":503,"eClass":"EGenericType"},{"id":504,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":505,"derived":false},{"id":506,"eClass":"EGenericType"},{"id":507,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":508,"derived":false},{"id":509,"eClass":"EGenericType"},{"id":510,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":511,"derived":false},{"id":512,"eClass":"EGenericType"},{"id":513,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"ref","changeable":true,"resolveProxies":true,"lowerBound":1,"id":514,"derived":false},{"id":515,"eClass":"EGenericType"},{"id":516,"eClass":"EGenericType"},{"id":517,"eClass":"EGenericType"},{"id":518,"eClass":"EGenericType"},{"id":519,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":520,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":521,"derived":false},{"id":522,"eClass":"EGenericType"},{"id":523,"eClass":"EGenericType"},{"id":524,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":525,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":526,"derived":false},{"id":527,"eClass":"EGenericType"},{"id":528,"eClass":"EGenericType"},{"id":529,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":530,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"literal","changeable":true,"resolveProxies":true,"lowerBound":1,"id":531,"derived":false},{"id":532,"eClass":"EGenericType"},{"id":533,"eClass":"EGenericType"},{"id":534,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"exp","changeable":true,"resolveProxies":true,"lowerBound":1,"id":535,"derived":false},{"id":536,"eClass":"EGenericType"},{"id":537,"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":"values","changeable":true,"resolveProxies":true,"lowerBound":0,"id":538,"derived":false},{"id":539,"eClass":"EGenericType"},{"id":540,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"values","changeable":true,"resolveProxies":true,"lowerBound":0,"id":541,"derived":false},{"id":542,"eClass":"EGenericType"},{"id":543,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"variables","changeable":true,"resolveProxies":true,"lowerBound":1,"id":544,"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":"predicate","changeable":true,"resolveProxies":true,"lowerBound":0,"id":545,"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":"expression","changeable":true,"resolveProxies":true,"lowerBound":0,"id":546,"derived":false},{"id":547,"eClass":"EGenericType"},{"id":548,"eClass":"EGenericType"},{"id":549,"eClass":"EGenericType"},{"id":550,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"start","changeable":true,"resolveProxies":true,"lowerBound":1,"id":551,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"end","changeable":true,"resolveProxies":true,"lowerBound":1,"id":552,"derived":false},{"id":553,"eClass":"EGenericType"},{"id":554,"eClass":"EGenericType"},{"id":555,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"values","changeable":true,"resolveProxies":true,"lowerBound":2,"id":556,"derived":false},{"id":557,"eClass":"EGenericType"},{"id":558,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"linterval","changeable":true,"lowerBound":1,"iD":false,"id":559,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"lrange","changeable":true,"resolveProxies":true,"lowerBound":1,"id":560,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"rrange","changeable":true,"resolveProxies":true,"lowerBound":1,"id":561,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"rinterval","changeable":true,"lowerBound":1,"iD":false,"id":562,"derived":false},{"id":563,"eClass":"EGenericType"},{"id":564,"eClass":"EGenericType"},{"id":565,"eClass":"EGenericType"},{"id":566,"eClass":"EGenericType"},{"id":567,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"function","changeable":true,"resolveProxies":true,"lowerBound":1,"id":568,"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":"args","changeable":true,"resolveProxies":true,"lowerBound":0,"id":569,"derived":false},{"id":570,"eClass":"EGenericType"},{"id":571,"eClass":"EGenericType"},{"id":572,"eClass":"EGenericType"},{"id":573,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"receiver","changeable":true,"resolveProxies":true,"lowerBound":1,"id":574,"derived":false},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"member","changeable":true,"resolveProxies":true,"lowerBound":1,"id":575,"derived":false},{"id":576,"eClass":"EGenericType"},{"id":577,"eClass":"EGenericType"},{"id":578,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":1,"id":579,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"parameters","changeable":true,"resolveProxies":true,"lowerBound":1,"id":580,"derived":false},{"id":581,"eClass":"EGenericType"},{"id":582,"eClass":"EGenericType"},{"id":583,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"resolveProxies":true,"lowerBound":1,"id":584,"derived":false},{"id":585,"eClass":"EGenericType"},{"id":586,"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":"expression","changeable":true,"resolveProxies":true,"lowerBound":0,"id":587,"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":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":588,"derived":false},{"id":589,"eClass":"EGenericType"},{"id":590,"eClass":"EGenericType"},{"id":591,"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":"ref","changeable":true,"resolveProxies":true,"lowerBound":0,"id":592,"derived":false},{"id":593,"eClass":"EGenericType"},{"id":594,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"base","changeable":true,"resolveProxies":true,"lowerBound":1,"id":595,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"size","changeable":true,"lowerBound":1,"iD":false,"id":596,"derived":false},{"id":597,"eClass":"EGenericType"},{"id":598,"eClass":"EGenericType"},{"id":599,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":true,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"base","changeable":true,"resolveProxies":true,"lowerBound":1,"id":600,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"rows","changeable":true,"lowerBound":1,"iD":false,"id":601,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":0,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"columns","changeable":true,"lowerBound":1,"iD":false,"id":602,"derived":false},{"id":603,"eClass":"EGenericType"},{"id":604,"eClass":"EGenericType"},{"id":605,"eClass":"EGenericType"},{"id":606,"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":0,"target":34},{"source":0,"target":35},{"source":0,"target":36},{"source":0,"target":37},{"source":0,"target":38},{"source":0,"target":39},{"source":0,"target":40},{"source":0,"target":41},{"source":0,"target":42},{"source":0,"target":43},{"source":0,"target":44},{"source":0,"target":45},{"source":0,"target":46},{"source":0,"target":47},{"source":0,"target":48},{"source":0,"target":49},{"source":0,"target":50},{"source":0,"target":51},{"source":0,"target":52},{"source":0,"target":53},{"source":0,"target":54},{"source":0,"target":55},{"source":0,"target":56},{"source":0,"target":57},{"source":0,"target":58},{"source":0,"target":59},{"source":0,"target":60},{"source":0,"target":61},{"source":0,"target":62},{"source":0,"target":63},{"source":0,"target":64},{"source":0,"target":65},{"source":0,"target":66},{"source":0,"target":67},{"source":0,"target":68},{"source":0,"target":69},{"source":0,"target":70},{"source":0,"target":71},{"source":0,"target":72},{"source":0,"target":73},{"source":0,"target":74},{"source":0,"target":75},{"source":0,"target":76},{"source":0,"target":77},{"source":0,"target":78},{"source":0,"target":79},{"source":0,"target":80},{"source":0,"target":81},{"source":0,"target":82},{"source":0,"target":83},{"source":0,"target":84},{"source":0,"target":85},{"source":0,"target":86},{"source":0,"target":87},{"source":0,"target":88},{"source":0,"target":89},{"source":0,"target":90},{"source":0,"target":91},{"source":0,"target":92},{"source":0,"target":93},{"source":0,"target":94},{"source":0,"target":95},{"source":0,"target":96},{"source":0,"target":97},{"source":0,"target":98},{"source":0,"target":99},{"source":0,"target":100},{"source":0,"target":101},{"source":0,"target":102},{"source":0,"target":103},{"source":0,"target":104},{"source":0,"target":105},{"source":0,"target":106},{"source":0,"target":107},{"source":0,"target":108},{"source":0,"target":109},{"source":0,"target":110},{"source":0,"target":111},{"source":0,"target":112},{"source":0,"target":113},{"source":0,"target":114},{"source":0,"target":115},{"source":0,"target":116},{"source":0,"target":117},{"source":0,"target":118},{"source":0,"target":119},{"source":0,"target":120},{"source":0,"target":121},{"source":0,"target":122},{"source":0,"target":123},{"source":0,"target":124},{"source":0,"target":125},{"source":0,"target":126},{"source":0,"target":127},{"source":0,"target":128},{"source":0,"target":129},{"source":0,"target":130},{"source":0,"target":131},{"source":0,"target":132},{"source":0,"target":133},{"source":0,"target":134},{"source":0,"target":135},{"source":0,"target":136},{"source":0,"target":137},{"source":0,"target":138},{"source":0,"target":139},{"source":1,"target":0},{"source":1,"target":140},{"source":1,"target":141},{"source":140,"target":142},{"source":140,"target":1},{"source":141,"target":3},{"source":141,"target":143},{"source":141,"target":1},{"source":143,"target":3},{"source":2,"target":0},{"source":2,"target":1},{"source":2,"target":144},{"source":2,"target":145},{"source":2,"target":146},{"source":2,"target":147},{"source":2,"target":148},{"source":2,"target":149},{"source":2,"target":150},{"source":2,"target":151},{"source":2,"target":152},{"source":144,"target":33},{"source":144,"target":153},{"source":144,"target":2},{"source":153,"target":33},{"source":145,"target":36},{"source":145,"target":154},{"source":145,"target":2},{"source":154,"target":36},{"source":146,"target":5},{"source":146,"target":155},{"source":146,"target":2},{"source":155,"target":5},{"source":147,"target":40},{"source":147,"target":156},{"source":147,"target":2},{"source":156,"target":40},{"source":148,"target":59},{"source":148,"target":157},{"source":148,"target":2},{"source":157,"target":59},{"source":149,"target":62},{"source":149,"target":158},{"source":149,"target":2},{"source":158,"target":62},{"source":150,"target":30},{"source":150,"target":159},{"source":150,"target":2},{"source":159,"target":30},{"source":151,"target":26},{"source":151,"target":160},{"source":151,"target":2},{"source":160,"target":26},{"source":152,"target":1},{"source":3,"target":0},{"source":3,"target":161},{"source":161,"target":162},{"source":161,"target":3},{"source":4,"target":0},{"source":4,"target":163},{"source":163,"target":164},{"source":163,"target":4},{"source":5,"target":0},{"source":5,"target":4},{"source":5,"target":165},{"source":165,"target":4},{"source":6,"target":0},{"source":6,"target":5},{"source":6,"target":166},{"source":166,"target":5},{"source":7,"target":0},{"source":7,"target":5},{"source":7,"target":167},{"source":7,"target":168},{"source":167,"target":8},{"source":167,"target":169},{"source":167,"target":7},{"source":169,"target":8},{"source":168,"target":5},{"source":8,"target":0},{"source":8,"target":10},{"source":8,"target":135},{"source":8,"target":170},{"source":8,"target":171},{"source":170,"target":10},{"source":171,"target":135},{"source":9,"target":0},{"source":9,"target":4},{"source":9,"target":172},{"source":9,"target":173},{"source":172,"target":14},{"source":172,"target":174},{"source":172,"target":9},{"source":174,"target":14},{"source":173,"target":4},{"source":10,"target":0},{"source":10,"target":9},{"source":10,"target":175},{"source":175,"target":9},{"source":11,"target":0},{"source":11,"target":5},{"source":11,"target":176},{"source":11,"target":177},{"source":176,"target":12},{"source":176,"target":178},{"source":176,"target":11},{"source":178,"target":12},{"source":177,"target":5},{"source":12,"target":0},{"source":12,"target":5},{"source":12,"target":135},{"source":12,"target":179},{"source":12,"target":180},{"source":12,"target":181},{"source":179,"target":14},{"source":179,"target":182},{"source":179,"target":12},{"source":182,"target":14},{"source":180,"target":5},{"source":181,"target":135},{"source":13,"target":0},{"source":13,"target":5},{"source":13,"target":183},{"source":13,"target":184},{"source":183,"target":14},{"source":183,"target":185},{"source":183,"target":13},{"source":185,"target":14},{"source":184,"target":5},{"source":14,"target":0},{"source":15,"target":0},{"source":15,"target":14},{"source":15,"target":186},{"source":15,"target":187},{"source":186,"target":14},{"source":186,"target":188},{"source":186,"target":15},{"source":188,"target":14},{"source":187,"target":14},{"source":16,"target":0},{"source":16,"target":14},{"source":16,"target":189},{"source":16,"target":190},{"source":16,"target":191},{"source":189,"target":14},{"source":189,"target":192},{"source":189,"target":16},{"source":192,"target":14},{"source":190,"target":14},{"source":190,"target":193},{"source":190,"target":16},{"source":193,"target":14},{"source":191,"target":14},{"source":17,"target":0},{"source":17,"target":16},{"source":17,"target":194},{"source":194,"target":16},{"source":18,"target":0},{"source":18,"target":14},{"source":18,"target":195},{"source":18,"target":196},{"source":195,"target":14},{"source":195,"target":197},{"source":195,"target":18},{"source":197,"target":14},{"source":196,"target":14},{"source":19,"target":0},{"source":19,"target":18},{"source":19,"target":198},{"source":198,"target":18},{"source":20,"target":0},{"source":20,"target":14},{"source":20,"target":199},{"source":20,"target":200},{"source":199,"target":5},{"source":199,"target":201},{"source":199,"target":20},{"source":201,"target":5},{"source":200,"target":14},{"source":21,"target":0},{"source":21,"target":14},{"source":21,"target":202},{"source":21,"target":203},{"source":202,"target":204},{"source":202,"target":21},{"source":203,"target":14},{"source":22,"target":0},{"source":22,"target":205},{"source":22,"target":206},{"source":205,"target":23},{"source":205,"target":207},{"source":205,"target":22},{"source":207,"target":23},{"source":206,"target":24},{"source":206,"target":208},{"source":206,"target":22},{"source":208,"target":24},{"source":23,"target":0},{"source":23,"target":209},{"source":23,"target":210},{"source":209,"target":23},{"source":210,"target":23},{"source":24,"target":0},{"source":24,"target":9},{"source":24,"target":135},{"source":24,"target":10},{"source":24,"target":211},{"source":24,"target":212},{"source":24,"target":213},{"source":24,"target":214},{"source":24,"target":215},{"source":211,"target":74},{"source":211,"target":216},{"source":211,"target":24},{"source":216,"target":74},{"source":212,"target":23},{"source":212,"target":217},{"source":212,"target":24},{"source":217,"target":23},{"source":213,"target":9},{"source":214,"target":135},{"source":215,"target":10},{"source":25,"target":0},{"source":25,"target":4},{"source":25,"target":218},{"source":25,"target":219},{"source":25,"target":220},{"source":218,"target":14},{"source":218,"target":221},{"source":218,"target":25},{"source":221,"target":14},{"source":219,"target":222},{"source":219,"target":25},{"source":220,"target":4},{"source":26,"target":0},{"source":26,"target":9},{"source":26,"target":135},{"source":26,"target":223},{"source":26,"target":224},{"source":26,"target":225},{"source":26,"target":226},{"source":26,"target":227},{"source":223,"target":27},{"source":223,"target":228},{"source":223,"target":26},{"source":228,"target":27},{"source":224,"target":74},{"source":224,"target":229},{"source":224,"target":26},{"source":229,"target":74},{"source":225,"target":74},{"source":225,"target":230},{"source":225,"target":26},{"source":230,"target":74},{"source":226,"target":9},{"source":227,"target":135},{"source":27,"target":0},{"source":27,"target":24},{"source":27,"target":231},{"source":231,"target":24},{"source":28,"target":0},{"source":28,"target":4},{"source":28,"target":232},{"source":28,"target":233},{"source":28,"target":234},{"source":28,"target":235},{"source":28,"target":236},{"source":232,"target":237},{"source":232,"target":28},{"source":233,"target":27},{"source":233,"target":238},{"source":233,"target":28},{"source":238,"target":27},{"source":234,"target":74},{"source":234,"target":239},{"source":234,"target":28},{"source":239,"target":74},{"source":235,"target":74},{"source":235,"target":240},{"source":235,"target":28},{"source":240,"target":74},{"source":236,"target":4},{"source":29,"target":0},{"source":29,"target":4},{"source":29,"target":134},{"source":29,"target":241},{"source":29,"target":242},{"source":241,"target":4},{"source":242,"target":134},{"source":30,"target":0},{"source":30,"target":29},{"source":30,"target":28},{"source":30,"target":42},{"source":30,"target":243},{"source":30,"target":244},{"source":30,"target":245},{"source":243,"target":29},{"source":244,"target":28},{"source":245,"target":42},{"source":31,"target":0},{"source":32,"target":0},{"source":32,"target":29},{"source":32,"target":31},{"source":32,"target":246},{"source":32,"target":247},{"source":32,"target":248},{"source":246,"target":30},{"source":246,"target":249},{"source":246,"target":32},{"source":249,"target":30},{"source":247,"target":29},{"source":248,"target":31},{"source":33,"target":0},{"source":33,"target":4},{"source":33,"target":34},{"source":33,"target":250},{"source":33,"target":251},{"source":250,"target":4},{"source":251,"target":34},{"source":34,"target":0},{"source":34,"target":252},{"source":34,"target":253},{"source":34,"target":254},{"source":252,"target":22},{"source":252,"target":255},{"source":252,"target":34},{"source":255,"target":22},{"source":253,"target":28},{"source":253,"target":256},{"source":253,"target":34},{"source":256,"target":28},{"source":254,"target":25},{"source":254,"target":257},{"source":254,"target":34},{"source":257,"target":25},{"source":35,"target":0},{"source":35,"target":4},{"source":35,"target":134},{"source":35,"target":258},{"source":35,"target":259},{"source":258,"target":4},{"source":259,"target":134},{"source":36,"target":0},{"source":36,"target":37},{"source":36,"target":35},{"source":36,"target":260},{"source":36,"target":261},{"source":260,"target":37},{"source":261,"target":35},{"source":37,"target":0},{"source":37,"target":34},{"source":37,"target":262},{"source":37,"target":263},{"source":37,"target":264},{"source":37,"target":265},{"source":262,"target":33},{"source":262,"target":266},{"source":262,"target":37},{"source":266,"target":33},{"source":263,"target":33},{"source":263,"target":267},{"source":263,"target":37},{"source":267,"target":33},{"source":264,"target":33},{"source":264,"target":268},{"source":264,"target":37},{"source":268,"target":33},{"source":265,"target":34},{"source":38,"target":0},{"source":38,"target":35},{"source":38,"target":31},{"source":38,"target":269},{"source":38,"target":270},{"source":38,"target":271},{"source":269,"target":36},{"source":269,"target":272},{"source":269,"target":38},{"source":272,"target":36},{"source":270,"target":35},{"source":271,"target":31},{"source":39,"target":0},{"source":39,"target":4},{"source":39,"target":134},{"source":39,"target":273},{"source":39,"target":274},{"source":273,"target":4},{"source":274,"target":134},{"source":40,"target":0},{"source":40,"target":42},{"source":40,"target":39},{"source":40,"target":275},{"source":40,"target":276},{"source":275,"target":42},{"source":276,"target":39},{"source":41,"target":0},{"source":41,"target":39},{"source":41,"target":31},{"source":41,"target":277},{"source":41,"target":278},{"source":41,"target":279},{"source":277,"target":40},{"source":277,"target":280},{"source":277,"target":41},{"source":280,"target":40},{"source":278,"target":39},{"source":279,"target":31},{"source":42,"target":0},{"source":42,"target":37},{"source":42,"target":44},{"source":42,"target":281},{"source":42,"target":282},{"source":42,"target":283},{"source":281,"target":43},{"source":281,"target":284},{"source":281,"target":42},{"source":284,"target":43},{"source":282,"target":37},{"source":283,"target":44},{"source":43,"target":0},{"source":43,"target":4},{"source":43,"target":285},{"source":285,"target":4},{"source":44,"target":0},{"source":44,"target":286},{"source":44,"target":287},{"source":286,"target":45},{"source":286,"target":288},{"source":286,"target":44},{"source":288,"target":45},{"source":287,"target":51},{"source":287,"target":289},{"source":287,"target":44},{"source":289,"target":51},{"source":45,"target":0},{"source":45,"target":4},{"source":45,"target":290},{"source":290,"target":4},{"source":46,"target":0},{"source":46,"target":45},{"source":46,"target":291},{"source":291,"target":45},{"source":47,"target":0},{"source":47,"target":46},{"source":47,"target":292},{"source":292,"target":46},{"source":48,"target":0},{"source":48,"target":45},{"source":48,"target":44},{"source":48,"target":293},{"source":48,"target":294},{"source":48,"target":295},{"source":293,"target":54},{"source":293,"target":296},{"source":293,"target":48},{"source":296,"target":54},{"source":294,"target":45},{"source":295,"target":44},{"source":49,"target":0},{"source":49,"target":48},{"source":49,"target":297},{"source":297,"target":48},{"source":50,"target":0},{"source":50,"target":46},{"source":50,"target":298},{"source":298,"target":46},{"source":51,"target":0},{"source":51,"target":4},{"source":51,"target":299},{"source":51,"target":300},{"source":51,"target":301},{"source":51,"target":302},{"source":51,"target":303},{"source":51,"target":304},{"source":51,"target":305},{"source":51,"target":306},{"source":51,"target":307},{"source":299,"target":45},{"source":299,"target":308},{"source":299,"target":51},{"source":308,"target":45},{"source":300,"target":45},{"source":300,"target":309},{"source":300,"target":51},{"source":309,"target":45},{"source":301,"target":74},{"source":301,"target":310},{"source":301,"target":51},{"source":310,"target":74},{"source":302,"target":52},{"source":302,"target":311},{"source":302,"target":51},{"source":311,"target":52},{"source":303,"target":74},{"source":303,"target":312},{"source":303,"target":51},{"source":312,"target":74},{"source":304,"target":74},{"source":304,"target":313},{"source":304,"target":51},{"source":313,"target":74},{"source":305,"target":63},{"source":305,"target":314},{"source":305,"target":51},{"source":314,"target":63},{"source":306,"target":74},{"source":306,"target":315},{"source":306,"target":51},{"source":315,"target":74},{"source":307,"target":4},{"source":52,"target":0},{"source":52,"target":316},{"source":52,"target":317},{"source":52,"target":318},{"source":52,"target":319},{"source":52,"target":320},{"source":52,"target":321},{"source":52,"target":322},{"source":52,"target":323},{"source":316,"target":25},{"source":316,"target":324},{"source":316,"target":52},{"source":324,"target":25},{"source":317,"target":24},{"source":317,"target":325},{"source":317,"target":52},{"source":325,"target":24},{"source":318,"target":74},{"source":318,"target":326},{"source":318,"target":52},{"source":326,"target":74},{"source":319,"target":24},{"source":319,"target":327},{"source":319,"target":52},{"source":327,"target":24},{"source":320,"target":74},{"source":320,"target":328},{"source":320,"target":52},{"source":328,"target":74},{"source":321,"target":24},{"source":321,"target":329},{"source":321,"target":52},{"source":329,"target":24},{"source":322,"target":73},{"source":322,"target":330},{"source":322,"target":52},{"source":330,"target":73},{"source":323,"target":53},{"source":323,"target":331},{"source":323,"target":52},{"source":331,"target":53},{"source":53,"target":0},{"source":53,"target":332},{"source":53,"target":333},{"source":53,"target":334},{"source":53,"target":335},{"source":53,"target":336},{"source":332,"target":53},{"source":333,"target":53},{"source":334,"target":53},{"source":335,"target":53},{"source":336,"target":53},{"source":54,"target":0},{"source":54,"target":337},{"source":337,"target":63},{"source":337,"target":338},{"source":337,"target":54},{"source":338,"target":63},{"source":55,"target":0},{"source":55,"target":54},{"source":55,"target":339},{"source":339,"target":54},{"source":56,"target":0},{"source":56,"target":54},{"source":56,"target":340},{"source":340,"target":54},{"source":57,"target":0},{"source":57,"target":54},{"source":57,"target":341},{"source":341,"target":54},{"source":58,"target":0},{"source":58,"target":4},{"source":58,"target":134},{"source":58,"target":342},{"source":58,"target":343},{"source":342,"target":4},{"source":343,"target":134},{"source":59,"target":0},{"source":59,"target":37},{"source":59,"target":58},{"source":59,"target":344},{"source":59,"target":345},{"source":59,"target":346},{"source":59,"target":347},{"source":59,"target":348},{"source":344,"target":39},{"source":344,"target":349},{"source":344,"target":59},{"source":349,"target":39},{"source":345,"target":29},{"source":345,"target":350},{"source":345,"target":59},{"source":350,"target":29},{"source":346,"target":60},{"source":346,"target":351},{"source":346,"target":59},{"source":351,"target":60},{"source":347,"target":37},{"source":348,"target":58},{"source":60,"target":0},{"source":60,"target":352},{"source":60,"target":353},{"source":60,"target":354},{"source":60,"target":355},{"source":60,"target":356},{"source":60,"target":357},{"source":352,"target":134},{"source":352,"target":358},{"source":352,"target":60},{"source":358,"target":134},{"source":353,"target":134},{"source":353,"target":359},{"source":353,"target":60},{"source":359,"target":134},{"source":354,"target":25},{"source":354,"target":360},{"source":354,"target":60},{"source":360,"target":25},{"source":355,"target":25},{"source":355,"target":361},{"source":355,"target":60},{"source":361,"target":25},{"source":356,"target":362},{"source":356,"target":60},{"source":357,"target":363},{"source":357,"target":60},{"source":61,"target":0},{"source":61,"target":58},{"source":61,"target":364},{"source":61,"target":365},{"source":364,"target":59},{"source":364,"target":366},{"source":364,"target":61},{"source":366,"target":59},{"source":365,"target":58},{"source":62,"target":0},{"source":62,"target":4},{"source":62,"target":367},{"source":62,"target":368},{"source":62,"target":369},{"source":367,"target":60},{"source":367,"target":370},{"source":367,"target":62},{"source":370,"target":60},{"source":368,"target":134},{"source":368,"target":371},{"source":368,"target":62},{"source":371,"target":134},{"source":369,"target":4},{"source":63,"target":0},{"source":64,"target":0},{"source":64,"target":63},{"source":64,"target":372},{"source":64,"target":373},{"source":64,"target":374},{"source":64,"target":375},{"source":372,"target":74},{"source":372,"target":376},{"source":372,"target":64},{"source":376,"target":74},{"source":373,"target":63},{"source":373,"target":377},{"source":373,"target":64},{"source":377,"target":63},{"source":374,"target":74},{"source":374,"target":378},{"source":374,"target":64},{"source":378,"target":74},{"source":375,"target":63},{"source":65,"target":0},{"source":65,"target":63},{"source":65,"target":379},{"source":65,"target":380},{"source":379,"target":74},{"source":379,"target":381},{"source":379,"target":65},{"source":381,"target":74},{"source":380,"target":63},{"source":66,"target":0},{"source":66,"target":63},{"source":66,"target":382},{"source":382,"target":63},{"source":67,"target":0},{"source":67,"target":63},{"source":67,"target":383},{"source":67,"target":384},{"source":67,"target":385},{"source":67,"target":386},{"source":383,"target":74},{"source":383,"target":387},{"source":383,"target":67},{"source":387,"target":74},{"source":384,"target":63},{"source":384,"target":388},{"source":384,"target":67},{"source":388,"target":63},{"source":385,"target":63},{"source":385,"target":389},{"source":385,"target":67},{"source":389,"target":63},{"source":386,"target":63},{"source":68,"target":0},{"source":68,"target":63},{"source":68,"target":390},{"source":68,"target":391},{"source":68,"target":392},{"source":390,"target":130},{"source":390,"target":393},{"source":390,"target":68},{"source":393,"target":130},{"source":391,"target":74},{"source":391,"target":394},{"source":391,"target":68},{"source":394,"target":74},{"source":392,"target":63},{"source":69,"target":0},{"source":69,"target":63},{"source":69,"target":395},{"source":69,"target":396},{"source":395,"target":52},{"source":395,"target":397},{"source":395,"target":69},{"source":397,"target":52},{"source":396,"target":63},{"source":70,"target":0},{"source":70,"target":63},{"source":70,"target":398},{"source":70,"target":399},{"source":398,"target":63},{"source":398,"target":400},{"source":398,"target":70},{"source":400,"target":63},{"source":399,"target":63},{"source":71,"target":0},{"source":71,"target":63},{"source":71,"target":401},{"source":71,"target":402},{"source":401,"target":63},{"source":401,"target":403},{"source":401,"target":71},{"source":403,"target":63},{"source":402,"target":63},{"source":72,"target":0},{"source":72,"target":63},{"source":72,"target":404},{"source":72,"target":405},{"source":72,"target":406},{"source":404,"target":28},{"source":404,"target":407},{"source":404,"target":72},{"source":407,"target":28},{"source":405,"target":74},{"source":405,"target":408},{"source":405,"target":72},{"source":408,"target":74},{"source":406,"target":63},{"source":73,"target":0},{"source":73,"target":63},{"source":73,"target":409},{"source":73,"target":410},{"source":409,"target":43},{"source":409,"target":411},{"source":409,"target":73},{"source":411,"target":43},{"source":410,"target":63},{"source":74,"target":0},{"source":75,"target":0},{"source":75,"target":74},{"source":75,"target":412},{"source":412,"target":74},{"source":76,"target":0},{"source":76,"target":74},{"source":76,"target":413},{"source":76,"target":414},{"source":76,"target":415},{"source":413,"target":74},{"source":413,"target":416},{"source":413,"target":76},{"source":416,"target":74},{"source":414,"target":74},{"source":414,"target":417},{"source":414,"target":76},{"source":417,"target":74},{"source":415,"target":74},{"source":77,"target":0},{"source":77,"target":74},{"source":77,"target":418},{"source":77,"target":419},{"source":418,"target":43},{"source":418,"target":420},{"source":418,"target":77},{"source":420,"target":43},{"source":419,"target":74},{"source":78,"target":0},{"source":78,"target":74},{"source":78,"target":421},{"source":78,"target":422},{"source":421,"target":48},{"source":421,"target":423},{"source":421,"target":78},{"source":423,"target":48},{"source":422,"target":74},{"source":79,"target":0},{"source":79,"target":74},{"source":79,"target":424},{"source":79,"target":425},{"source":79,"target":426},{"source":424,"target":74},{"source":424,"target":427},{"source":424,"target":79},{"source":427,"target":74},{"source":425,"target":74},{"source":425,"target":428},{"source":425,"target":79},{"source":428,"target":74},{"source":426,"target":74},{"source":80,"target":0},{"source":80,"target":79},{"source":80,"target":429},{"source":429,"target":79},{"source":81,"target":0},{"source":81,"target":79},{"source":81,"target":430},{"source":430,"target":79},{"source":82,"target":0},{"source":82,"target":79},{"source":82,"target":431},{"source":431,"target":79},{"source":83,"target":0},{"source":83,"target":74},{"source":83,"target":432},{"source":83,"target":433},{"source":83,"target":434},{"source":83,"target":435},{"source":432,"target":24},{"source":432,"target":436},{"source":432,"target":83},{"source":436,"target":24},{"source":433,"target":74},{"source":433,"target":437},{"source":433,"target":83},{"source":437,"target":74},{"source":434,"target":74},{"source":434,"target":438},{"source":434,"target":83},{"source":438,"target":74},{"source":435,"target":74},{"source":84,"target":0},{"source":84,"target":83},{"source":84,"target":439},{"source":439,"target":83},{"source":85,"target":0},{"source":85,"target":83},{"source":85,"target":440},{"source":85,"target":441},{"source":440,"target":442},{"source":440,"target":85},{"source":441,"target":83},{"source":86,"target":0},{"source":86,"target":74},{"source":86,"target":443},{"source":86,"target":444},{"source":86,"target":445},{"source":86,"target":446},{"source":443,"target":24},{"source":443,"target":447},{"source":443,"target":86},{"source":447,"target":24},{"source":444,"target":74},{"source":444,"target":448},{"source":444,"target":86},{"source":448,"target":74},{"source":445,"target":74},{"source":445,"target":449},{"source":445,"target":86},{"source":449,"target":74},{"source":446,"target":74},{"source":87,"target":0},{"source":87,"target":86},{"source":87,"target":450},{"source":450,"target":86},{"source":88,"target":0},{"source":88,"target":74},{"source":88,"target":451},{"source":88,"target":452},{"source":88,"target":453},{"source":88,"target":454},{"source":451,"target":74},{"source":451,"target":455},{"source":451,"target":88},{"source":455,"target":74},{"source":452,"target":74},{"source":452,"target":456},{"source":452,"target":88},{"source":456,"target":74},{"source":453,"target":74},{"source":453,"target":457},{"source":453,"target":88},{"source":457,"target":74},{"source":454,"target":74},{"source":89,"target":0},{"source":89,"target":4},{"source":89,"target":135},{"source":89,"target":458},{"source":89,"target":459},{"source":89,"target":460},{"source":458,"target":74},{"source":458,"target":461},{"source":458,"target":89},{"source":461,"target":74},{"source":459,"target":4},{"source":460,"target":135},{"source":90,"target":0},{"source":90,"target":74},{"source":90,"target":462},{"source":90,"target":463},{"source":90,"target":464},{"source":462,"target":89},{"source":462,"target":465},{"source":462,"target":90},{"source":465,"target":89},{"source":463,"target":74},{"source":463,"target":466},{"source":463,"target":90},{"source":466,"target":74},{"source":464,"target":74},{"source":91,"target":0},{"source":91,"target":79},{"source":91,"target":467},{"source":467,"target":79},{"source":92,"target":0},{"source":92,"target":74},{"source":92,"target":468},{"source":92,"target":469},{"source":468,"target":74},{"source":468,"target":470},{"source":468,"target":92},{"source":470,"target":74},{"source":469,"target":74},{"source":93,"target":0},{"source":93,"target":74},{"source":93,"target":471},{"source":93,"target":472},{"source":93,"target":473},{"source":471,"target":74},{"source":471,"target":474},{"source":471,"target":93},{"source":474,"target":74},{"source":472,"target":74},{"source":472,"target":475},{"source":472,"target":93},{"source":475,"target":74},{"source":473,"target":74},{"source":94,"target":0},{"source":94,"target":74},{"source":94,"target":476},{"source":94,"target":477},{"source":476,"target":14},{"source":476,"target":478},{"source":476,"target":94},{"source":478,"target":14},{"source":477,"target":74},{"source":95,"target":0},{"source":95,"target":79},{"source":95,"target":479},{"source":479,"target":79},{"source":96,"target":0},{"source":96,"target":79},{"source":96,"target":480},{"source":480,"target":79},{"source":97,"target":0},{"source":97,"target":79},{"source":97,"target":481},{"source":481,"target":79},{"source":98,"target":0},{"source":98,"target":79},{"source":98,"target":482},{"source":482,"target":79},{"source":99,"target":0},{"source":99,"target":79},{"source":99,"target":483},{"source":483,"target":79},{"source":100,"target":0},{"source":100,"target":79},{"source":100,"target":484},{"source":484,"target":79},{"source":101,"target":0},{"source":101,"target":79},{"source":101,"target":485},{"source":485,"target":79},{"source":102,"target":0},{"source":102,"target":79},{"source":102,"target":486},{"source":486,"target":79},{"source":103,"target":0},{"source":103,"target":79},{"source":103,"target":487},{"source":487,"target":79},{"source":104,"target":0},{"source":104,"target":79},{"source":104,"target":488},{"source":488,"target":79},{"source":105,"target":0},{"source":105,"target":79},{"source":105,"target":489},{"source":489,"target":79},{"source":106,"target":0},{"source":106,"target":79},{"source":106,"target":490},{"source":490,"target":79},{"source":107,"target":0},{"source":107,"target":74},{"source":107,"target":491},{"source":107,"target":492},{"source":491,"target":74},{"source":491,"target":493},{"source":491,"target":107},{"source":493,"target":74},{"source":492,"target":74},{"source":108,"target":0},{"source":108,"target":74},{"source":108,"target":494},{"source":108,"target":495},{"source":108,"target":496},{"source":494,"target":74},{"source":494,"target":497},{"source":494,"target":108},{"source":497,"target":74},{"source":495,"target":10},{"source":495,"target":498},{"source":495,"target":108},{"source":498,"target":10},{"source":496,"target":74},{"source":109,"target":0},{"source":109,"target":74},{"source":109,"target":499},{"source":109,"target":500},{"source":499,"target":501},{"source":499,"target":109},{"source":500,"target":74},{"source":110,"target":0},{"source":110,"target":74},{"source":110,"target":502},{"source":110,"target":503},{"source":502,"target":504},{"source":502,"target":110},{"source":503,"target":74},{"source":111,"target":0},{"source":111,"target":74},{"source":111,"target":505},{"source":111,"target":506},{"source":505,"target":507},{"source":505,"target":111},{"source":506,"target":74},{"source":112,"target":0},{"source":112,"target":74},{"source":112,"target":508},{"source":112,"target":509},{"source":508,"target":510},{"source":508,"target":112},{"source":509,"target":74},{"source":113,"target":0},{"source":113,"target":74},{"source":113,"target":511},{"source":113,"target":512},{"source":511,"target":24},{"source":511,"target":513},{"source":511,"target":113},{"source":513,"target":24},{"source":512,"target":74},{"source":114,"target":0},{"source":114,"target":74},{"source":114,"target":514},{"source":114,"target":515},{"source":514,"target":135},{"source":514,"target":516},{"source":514,"target":114},{"source":516,"target":135},{"source":515,"target":74},{"source":115,"target":0},{"source":115,"target":74},{"source":115,"target":517},{"source":517,"target":74},{"source":116,"target":0},{"source":116,"target":74},{"source":116,"target":518},{"source":518,"target":74},{"source":117,"target":0},{"source":117,"target":74},{"source":117,"target":519},{"source":519,"target":74},{"source":118,"target":0},{"source":118,"target":74},{"source":118,"target":520},{"source":118,"target":521},{"source":118,"target":522},{"source":520,"target":74},{"source":520,"target":523},{"source":520,"target":118},{"source":523,"target":74},{"source":521,"target":14},{"source":521,"target":524},{"source":521,"target":118},{"source":524,"target":14},{"source":522,"target":74},{"source":119,"target":0},{"source":119,"target":74},{"source":119,"target":525},{"source":119,"target":526},{"source":119,"target":527},{"source":525,"target":74},{"source":525,"target":528},{"source":525,"target":119},{"source":528,"target":74},{"source":526,"target":14},{"source":526,"target":529},{"source":526,"target":119},{"source":529,"target":14},{"source":527,"target":74},{"source":120,"target":0},{"source":120,"target":74},{"source":120,"target":530},{"source":120,"target":531},{"source":120,"target":532},{"source":530,"target":11},{"source":530,"target":533},{"source":530,"target":120},{"source":533,"target":11},{"source":531,"target":12},{"source":531,"target":534},{"source":531,"target":120},{"source":534,"target":12},{"source":532,"target":74},{"source":121,"target":0},{"source":121,"target":74},{"source":121,"target":535},{"source":121,"target":536},{"source":535,"target":74},{"source":535,"target":537},{"source":535,"target":121},{"source":537,"target":74},{"source":536,"target":74},{"source":122,"target":0},{"source":122,"target":74},{"source":122,"target":538},{"source":122,"target":539},{"source":538,"target":74},{"source":538,"target":540},{"source":538,"target":122},{"source":540,"target":74},{"source":539,"target":74},{"source":123,"target":0},{"source":123,"target":74},{"source":123,"target":541},{"source":123,"target":542},{"source":541,"target":74},{"source":541,"target":543},{"source":541,"target":123},{"source":543,"target":74},{"source":542,"target":74},{"source":124,"target":0},{"source":124,"target":74},{"source":124,"target":544},{"source":124,"target":545},{"source":124,"target":546},{"source":124,"target":547},{"source":544,"target":24},{"source":544,"target":548},{"source":544,"target":124},{"source":548,"target":24},{"source":545,"target":74},{"source":545,"target":549},{"source":545,"target":124},{"source":549,"target":74},{"source":546,"target":74},{"source":546,"target":550},{"source":546,"target":124},{"source":550,"target":74},{"source":547,"target":74},{"source":125,"target":0},{"source":125,"target":74},{"source":125,"target":551},{"source":125,"target":552},{"source":125,"target":553},{"source":551,"target":74},{"source":551,"target":554},{"source":551,"target":125},{"source":554,"target":74},{"source":552,"target":74},{"source":552,"target":555},{"source":552,"target":125},{"source":555,"target":74},{"source":553,"target":74},{"source":126,"target":0},{"source":126,"target":74},{"source":126,"target":556},{"source":126,"target":557},{"source":556,"target":74},{"source":556,"target":558},{"source":556,"target":126},{"source":558,"target":74},{"source":557,"target":74},{"source":127,"target":0},{"source":127,"target":74},{"source":127,"target":559},{"source":127,"target":560},{"source":127,"target":561},{"source":127,"target":562},{"source":127,"target":563},{"source":559,"target":564},{"source":559,"target":127},{"source":560,"target":74},{"source":560,"target":565},{"source":560,"target":127},{"source":565,"target":74},{"source":561,"target":74},{"source":561,"target":566},{"source":561,"target":127},{"source":566,"target":74},{"source":562,"target":567},{"source":562,"target":127},{"source":563,"target":74},{"source":128,"target":0},{"source":128,"target":74},{"source":128,"target":568},{"source":128,"target":569},{"source":128,"target":570},{"source":568,"target":74},{"source":568,"target":571},{"source":568,"target":128},{"source":571,"target":74},{"source":569,"target":74},{"source":569,"target":572},{"source":569,"target":128},{"source":572,"target":74},{"source":570,"target":74},{"source":129,"target":0},{"source":129,"target":74},{"source":129,"target":573},{"source":573,"target":74},{"source":130,"target":0},{"source":131,"target":0},{"source":131,"target":130},{"source":131,"target":574},{"source":131,"target":575},{"source":131,"target":576},{"source":574,"target":130},{"source":574,"target":577},{"source":574,"target":131},{"source":577,"target":130},{"source":575,"target":10},{"source":575,"target":578},{"source":575,"target":131},{"source":578,"target":10},{"source":576,"target":130},{"source":132,"target":0},{"source":132,"target":130},{"source":132,"target":579},{"source":132,"target":580},{"source":132,"target":581},{"source":579,"target":130},{"source":579,"target":582},{"source":579,"target":132},{"source":582,"target":130},{"source":580,"target":74},{"source":580,"target":583},{"source":580,"target":132},{"source":583,"target":74},{"source":581,"target":130},{"source":133,"target":0},{"source":133,"target":130},{"source":133,"target":584},{"source":133,"target":585},{"source":584,"target":24},{"source":584,"target":586},{"source":584,"target":133},{"source":586,"target":24},{"source":585,"target":130},{"source":134,"target":0},{"source":135,"target":0},{"source":136,"target":0},{"source":136,"target":4},{"source":136,"target":587},{"source":136,"target":588},{"source":136,"target":589},{"source":587,"target":74},{"source":587,"target":590},{"source":587,"target":136},{"source":590,"target":74},{"source":588,"target":51},{"source":588,"target":591},{"source":588,"target":136},{"source":591,"target":51},{"source":589,"target":4},{"source":137,"target":0},{"source":137,"target":74},{"source":137,"target":592},{"source":137,"target":593},{"source":592,"target":136},{"source":592,"target":594},{"source":592,"target":137},{"source":594,"target":136},{"source":593,"target":74},{"source":138,"target":0},{"source":138,"target":14},{"source":138,"target":595},{"source":138,"target":596},{"source":138,"target":597},{"source":595,"target":14},{"source":595,"target":598},{"source":595,"target":138},{"source":598,"target":14},{"source":596,"target":599},{"source":596,"target":138},{"source":597,"target":14},{"source":139,"target":0},{"source":139,"target":14},{"source":139,"target":600},{"source":139,"target":601},{"source":139,"target":602},{"source":139,"target":603},{"source":600,"target":14},{"source":600,"target":604},{"source":600,"target":139},{"source":604,"target":14},{"source":601,"target":605},{"source":601,"target":139},{"source":602,"target":606},{"source":602,"target":139},{"source":603,"target":14}],"multigraph":true}