automata
Automaton
assignInitialValues
determineInitialState
initializeModel
args
main
states
transitions
variables
State
name
UnnamedState
initial
false
Transition
execute
source
target
guard
action
Variable
name
UnnamedVariable
StringVariable
initialValue
value
NumberVariable
initialValue
value
BooleanVariable
initialValue
value
Guard
holds
BooleanGuard
holds
value
true
operator
source
BooleanOperator
Equal
Equal
Unequal
Unequal
StringGuard
holds
value
UnnamedVariable
operator
source
StringOperator
Equal
Equal
Unequal
Unequal
NumberGuard
holds
value
-1
operator
source
NumberOperator
Equal
Equal
Unequal
Unequal
LessThan
LessThan
GreaterThan
GreaterThan
GreaterOrEqualThan
GreaterOrEqualThan
LessOrEqualThan
LessOrEqualThan
Action
execute
StringAction
execute
value
target
NumberAction
execute
value
target
BooleanAction
execute
value
target
<?xml version="1.0" encoding="ASCII"?>
<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="automata" nsURI="http://ur1.diverse.xautomata.xdsml.xautomatamt/automata/" nsPrefix="autoamta">
  <eClassifiers xsi:type="ecore:EClass" name="Automaton">
    <eOperations name="assignInitialValues">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eOperations name="determineInitialState">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eOperations name="initializeModel">
      <eAnnotations source="aspect"/>
      <eParameters name="args" upperBound="-1">
        <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      </eParameters>
    </eOperations>
    <eOperations name="main">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="states" upperBound="-1" eType="//State" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transitions" upperBound="-1" eType="//Transition" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1" eType="//Variable" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="State">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" defaultValueLiteral="UnnamedState">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="initial" lowerBound="1" defaultValueLiteral="false">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Transition">
    <eOperations name="execute">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" eType="//State"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" eType="//State"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="guard" lowerBound="1" eType="//Guard" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="action" lowerBound="1" eType="//Action" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Variable" abstract="true">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" lowerBound="1" defaultValueLiteral="UnnamedVariable">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StringVariable" eSuperTypes="//Variable">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="initialValue" lowerBound="1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" unique="false">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="NumberVariable" eSuperTypes="//Variable">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="initialValue" lowerBound="1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//ELong"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" unique="false">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//ELongObject"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanVariable" eSuperTypes="//Variable">
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="initialValue" lowerBound="1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" unique="false">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"/>
    </eStructuralFeatures>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Guard">
    <eOperations name="holds">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanGuard" eSuperTypes="//Guard">
    <eOperations name="holds">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" defaultValueLiteral="true">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="//BooleanOperator"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" eType="//BooleanVariable"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="BooleanOperator">
    <eLiterals name="Equal" value="1"/>
    <eLiterals name="Unequal"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StringGuard" eSuperTypes="//Guard">
    <eOperations name="holds">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" defaultValueLiteral="UnnamedVariable">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="//StringOperator"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" eType="//StringVariable"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="StringOperator">
    <eLiterals name="Equal" value="1"/>
    <eLiterals name="Unequal"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="NumberGuard" eSuperTypes="//Guard">
    <eOperations name="holds">
      <eAnnotations source="aspect"/>
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" defaultValueLiteral="-1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//ELong"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="operator" eType="//NumberOperator"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1" eType="//NumberVariable"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EEnum" name="NumberOperator">
    <eLiterals name="Equal"/>
    <eLiterals name="Unequal" value="1"/>
    <eLiterals name="LessThan" value="2" literal="LessThan"/>
    <eLiterals name="GreaterThan" value="3" literal="GreaterThan"/>
    <eLiterals name="GreaterOrEqualThan" value="5" literal="GreaterOrEqualThan"/>
    <eLiterals name="LessOrEqualThan" value="4" literal="LessOrEqualThan"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Action" abstract="true">
    <eOperations name="execute">
      <eAnnotations source="aspect"/>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StringAction" eSuperTypes="//Action">
    <eOperations name="execute">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" eType="//StringVariable"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="NumberAction" eSuperTypes="//Action">
    <eOperations name="execute">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//ELong"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" eType="//NumberVariable"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BooleanAction" eSuperTypes="//Action">
    <eOperations name="execute">
      <eAnnotations source="aspect"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1">
      <eType xsi:type="ecore:EDataType" href="http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eStructuralFeatures>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1" eType="//BooleanVariable"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"autoamta","nsURI":"http://ur1.diverse.xautomata.xdsml.xautomatamt/automata/","name":"automata","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Automaton","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"State","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Transition","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Variable","instanceClass":null,"abstract":true,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringVariable","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NumberVariable","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanVariable","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Guard","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanGuard","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"BooleanOperator","instanceClass":null,"id":10,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringGuard","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"StringOperator","instanceClass":null,"id":12,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NumberGuard","instanceClass":null,"abstract":false,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"instanceClassName":null,"name":"NumberOperator","instanceClass":null,"id":14,"serializable":true,"eClass":"EEnum"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Action","instanceClass":null,"abstract":true,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"StringAction","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NumberAction","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BooleanAction","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"unique":true,"name":"assignInitialValues","lowerBound":0,"id":19,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"determineInitialState","lowerBound":0,"id":20,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"initializeModel","lowerBound":0,"id":21,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"main","lowerBound":0,"id":22,"many":false,"required":false,"eClass":"EOperation"},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"states","changeable":true,"resolveProxies":true,"lowerBound":0,"id":23,"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":"transitions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":24,"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":"variables","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"ordered":true,"upperBound":-1,"unique":true,"name":"args","lowerBound":0,"id":26,"many":true,"required":false,"eClass":"EParameter"},{"id":27,"eClass":"EGenericType"},{"id":28,"eClass":"EGenericType"},{"id":29,"eClass":"EGenericType"},{"id":30,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":"UnnamedState","volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"UnnamedState","unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":31,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":false,"unique":true,"name":"initial","changeable":true,"lowerBound":1,"iD":false,"id":32,"derived":false},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"execute","lowerBound":0,"id":35,"many":false,"required":false,"eClass":"EOperation"},{"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":36,"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":37,"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":"guard","changeable":true,"resolveProxies":true,"lowerBound":1,"id":38,"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":"action","changeable":true,"resolveProxies":true,"lowerBound":1,"id":39,"derived":false},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"id":43,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":"UnnamedVariable","volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"UnnamedVariable","unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":1,"iD":false,"id":44,"derived":false},{"id":45,"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":"initialValue","changeable":true,"lowerBound":1,"iD":false,"id":46,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":47,"derived":false},{"id":48,"eClass":"EGenericType"},{"id":49,"eClass":"EGenericType"},{"id":50,"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":"initialValue","changeable":true,"lowerBound":1,"iD":false,"id":51,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":52,"derived":false},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"id":55,"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":"initialValue","changeable":true,"lowerBound":1,"iD":false,"id":56,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"value","changeable":true,"lowerBound":0,"iD":false,"id":57,"derived":false},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"id":60,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"holds","lowerBound":0,"id":61,"many":false,"required":false,"eClass":"EOperation"},{"id":62,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"holds","lowerBound":0,"id":63,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":64,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"operator","changeable":true,"lowerBound":0,"iD":false,"id":65,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":66,"derived":false},{"id":67,"eClass":"EGenericType"},{"id":68,"eClass":"EGenericType"},{"id":69,"eClass":"EGenericType"},{"id":70,"eClass":"EGenericType"},{"id":71,"eClass":"EGenericType"},{"name":"Equal","id":72,"value":1,"literal":"Equal","eClass":"EEnumLiteral"},{"name":"Unequal","id":73,"value":0,"literal":"Unequal","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"unique":true,"name":"holds","lowerBound":0,"id":74,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":"UnnamedVariable","volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"UnnamedVariable","unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":75,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"operator","changeable":true,"lowerBound":0,"iD":false,"id":76,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":77,"derived":false},{"id":78,"eClass":"EGenericType"},{"id":79,"eClass":"EGenericType"},{"id":80,"eClass":"EGenericType"},{"id":81,"eClass":"EGenericType"},{"id":82,"eClass":"EGenericType"},{"name":"Equal","id":83,"value":1,"literal":"Equal","eClass":"EEnumLiteral"},{"name":"Unequal","id":84,"value":0,"literal":"Unequal","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"unique":true,"name":"holds","lowerBound":0,"id":85,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":-1,"volatile":false,"many":false,"required":true,"eClass":"EAttribute","defaultValueLiteral":"-1","unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":1,"iD":false,"id":86,"derived":false},{"ordered":true,"upperBound":1,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"operator","changeable":true,"lowerBound":0,"iD":false,"id":87,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":1,"id":88,"derived":false},{"id":89,"eClass":"EGenericType"},{"id":90,"eClass":"EGenericType"},{"id":91,"eClass":"EGenericType"},{"id":92,"eClass":"EGenericType"},{"id":93,"eClass":"EGenericType"},{"name":"Equal","id":94,"value":0,"literal":"Equal","eClass":"EEnumLiteral"},{"name":"Unequal","id":95,"value":1,"literal":"Unequal","eClass":"EEnumLiteral"},{"name":"LessThan","id":96,"value":2,"literal":"LessThan","eClass":"EEnumLiteral"},{"name":"GreaterThan","id":97,"value":3,"literal":"GreaterThan","eClass":"EEnumLiteral"},{"name":"GreaterOrEqualThan","id":98,"value":5,"literal":"GreaterOrEqualThan","eClass":"EEnumLiteral"},{"name":"LessOrEqualThan","id":99,"value":4,"literal":"LessOrEqualThan","eClass":"EEnumLiteral"},{"ordered":true,"upperBound":1,"unique":true,"name":"execute","lowerBound":0,"id":100,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"execute","lowerBound":0,"id":101,"many":false,"required":false,"eClass":"EOperation"},{"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":102,"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":103,"derived":false},{"id":104,"eClass":"EGenericType"},{"id":105,"eClass":"EGenericType"},{"id":106,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"execute","lowerBound":0,"id":107,"many":false,"required":false,"eClass":"EOperation"},{"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":108,"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":109,"derived":false},{"id":110,"eClass":"EGenericType"},{"id":111,"eClass":"EGenericType"},{"id":112,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"execute","lowerBound":0,"id":113,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":false,"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":114,"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":115,"derived":false},{"id":116,"eClass":"EGenericType"},{"id":117,"eClass":"EGenericType"},{"id":118,"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":1,"target":0},{"source":1,"target":19},{"source":1,"target":20},{"source":1,"target":21},{"source":1,"target":22},{"source":1,"target":23},{"source":1,"target":24},{"source":1,"target":25},{"source":19,"target":1},{"source":20,"target":1},{"source":21,"target":1},{"source":21,"target":26},{"source":26,"target":27},{"source":26,"target":21},{"source":22,"target":1},{"source":23,"target":2},{"source":23,"target":28},{"source":23,"target":1},{"source":28,"target":2},{"source":24,"target":3},{"source":24,"target":29},{"source":24,"target":1},{"source":29,"target":3},{"source":25,"target":4},{"source":25,"target":30},{"source":25,"target":1},{"source":30,"target":4},{"source":2,"target":0},{"source":2,"target":31},{"source":2,"target":32},{"source":31,"target":33},{"source":31,"target":2},{"source":32,"target":34},{"source":32,"target":2},{"source":3,"target":0},{"source":3,"target":35},{"source":3,"target":36},{"source":3,"target":37},{"source":3,"target":38},{"source":3,"target":39},{"source":35,"target":3},{"source":36,"target":2},{"source":36,"target":40},{"source":36,"target":3},{"source":40,"target":2},{"source":37,"target":2},{"source":37,"target":41},{"source":37,"target":3},{"source":41,"target":2},{"source":38,"target":8},{"source":38,"target":42},{"source":38,"target":3},{"source":42,"target":8},{"source":39,"target":15},{"source":39,"target":43},{"source":39,"target":3},{"source":43,"target":15},{"source":4,"target":0},{"source":4,"target":44},{"source":44,"target":45},{"source":44,"target":4},{"source":5,"target":0},{"source":5,"target":4},{"source":5,"target":46},{"source":5,"target":47},{"source":5,"target":48},{"source":46,"target":49},{"source":46,"target":5},{"source":47,"target":50},{"source":47,"target":5},{"source":48,"target":4},{"source":6,"target":0},{"source":6,"target":4},{"source":6,"target":51},{"source":6,"target":52},{"source":6,"target":53},{"source":51,"target":54},{"source":51,"target":6},{"source":52,"target":55},{"source":52,"target":6},{"source":53,"target":4},{"source":7,"target":0},{"source":7,"target":4},{"source":7,"target":56},{"source":7,"target":57},{"source":7,"target":58},{"source":56,"target":59},{"source":56,"target":7},{"source":57,"target":60},{"source":57,"target":7},{"source":58,"target":4},{"source":8,"target":0},{"source":8,"target":61},{"source":61,"target":62},{"source":61,"target":8},{"source":9,"target":0},{"source":9,"target":8},{"source":9,"target":63},{"source":9,"target":64},{"source":9,"target":65},{"source":9,"target":66},{"source":9,"target":67},{"source":63,"target":68},{"source":63,"target":9},{"source":64,"target":69},{"source":64,"target":9},{"source":65,"target":10},{"source":65,"target":70},{"source":65,"target":9},{"source":70,"target":10},{"source":66,"target":7},{"source":66,"target":71},{"source":66,"target":9},{"source":71,"target":7},{"source":67,"target":8},{"source":10,"target":0},{"source":10,"target":72},{"source":10,"target":73},{"source":72,"target":10},{"source":73,"target":10},{"source":11,"target":0},{"source":11,"target":8},{"source":11,"target":74},{"source":11,"target":75},{"source":11,"target":76},{"source":11,"target":77},{"source":11,"target":78},{"source":74,"target":79},{"source":74,"target":11},{"source":75,"target":80},{"source":75,"target":11},{"source":76,"target":12},{"source":76,"target":81},{"source":76,"target":11},{"source":81,"target":12},{"source":77,"target":5},{"source":77,"target":82},{"source":77,"target":11},{"source":82,"target":5},{"source":78,"target":8},{"source":12,"target":0},{"source":12,"target":83},{"source":12,"target":84},{"source":83,"target":12},{"source":84,"target":12},{"source":13,"target":0},{"source":13,"target":8},{"source":13,"target":85},{"source":13,"target":86},{"source":13,"target":87},{"source":13,"target":88},{"source":13,"target":89},{"source":85,"target":90},{"source":85,"target":13},{"source":86,"target":91},{"source":86,"target":13},{"source":87,"target":14},{"source":87,"target":92},{"source":87,"target":13},{"source":92,"target":14},{"source":88,"target":6},{"source":88,"target":93},{"source":88,"target":13},{"source":93,"target":6},{"source":89,"target":8},{"source":14,"target":0},{"source":14,"target":94},{"source":14,"target":95},{"source":14,"target":96},{"source":14,"target":97},{"source":14,"target":98},{"source":14,"target":99},{"source":94,"target":14},{"source":95,"target":14},{"source":96,"target":14},{"source":97,"target":14},{"source":98,"target":14},{"source":99,"target":14},{"source":15,"target":0},{"source":15,"target":100},{"source":100,"target":15},{"source":16,"target":0},{"source":16,"target":15},{"source":16,"target":101},{"source":16,"target":102},{"source":16,"target":103},{"source":16,"target":104},{"source":101,"target":16},{"source":102,"target":105},{"source":102,"target":16},{"source":103,"target":5},{"source":103,"target":106},{"source":103,"target":16},{"source":106,"target":5},{"source":104,"target":15},{"source":17,"target":0},{"source":17,"target":15},{"source":17,"target":107},{"source":17,"target":108},{"source":17,"target":109},{"source":17,"target":110},{"source":107,"target":17},{"source":108,"target":111},{"source":108,"target":17},{"source":109,"target":6},{"source":109,"target":112},{"source":109,"target":17},{"source":112,"target":6},{"source":110,"target":15},{"source":18,"target":0},{"source":18,"target":15},{"source":18,"target":113},{"source":18,"target":114},{"source":18,"target":115},{"source":18,"target":116},{"source":113,"target":18},{"source":114,"target":117},{"source":114,"target":18},{"source":115,"target":7},{"source":115,"target":118},{"source":115,"target":18},{"source":118,"target":7},{"source":116,"target":15}],"multigraph":true}