henshin
NamedElement
name
description
TransformationSystem
getTransformationUnit
unitName
getRule
ruleName
rules
imports
transformationUnits
instances
Rule
getNode
nodename
isLhs
containsMapping
sourceNode
targetNode
containsMultiMapping
sourceNode
targetNode
getTransformationSystem
getKernelRule
getRootKernelRule
getMultiRule
name
removeEdge
edge
removeMapped
removeNode
node
removeMapped
getAllMultiRules
lhs
rhs
attributeConditions
mappings
checkDangling
true
injectiveMatching
true
multiRules
multiMappings
AttributeCondition
rule
conditionText
Parameter
unit
type
Graph
removeEdge
edge
removeNode
node
getContainerRule
getNodes
nodeType
getEdges
edgeType
isLhs
isRhs
isNestedCondition
nodes
edges
formula
GraphElement
getGraph
Mapping
origin
image
Node
getOutgoing
type
getIncoming
type
getOutgoing
type
target
getIncoming
type
source
getAttribute
type
type
attributes
graph
incoming
outgoing
allEdges
Attribute
type
value
node
Edge
source
target
type
graph
TransformationUnit
getSubUnits
deep
getParameter
parameter
activated
true
parameters
parameterMappings
IndependentUnit
subUnits
SequentialUnit
subUnits
strict
true
rollback
true
ConditionalUnit
if
then
else
PriorityUnit
subUnits
IteratedUnit
subUnit
iterations
LoopUnit
subUnit
NestedCondition
isPAC
isNAC
conclusion
mappings
Formula
stringRepresentation
recursive
UnaryFormula
child
BinaryFormula
left
right
And
Or
Xor
Not
ParameterMapping
source
target
<?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="henshin"
    nsURI="http://www.eclipse.org/emf/2011/Henshin" nsPrefix="henshin">
  <eClassifiers xsi:type="ecore:EClass" name="NamedElement" abstract="true">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="ValidName"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="ValidName" value="not self.name.oclIsUndefined() implies self.name&lt;>''"/>
      <details key="ValidName.Msg" value="_Ocl_Msg_NamedElement_ValidName"/>
      <details key="ValidName.Severity" value="Warning"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="description" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TransformationSystem" eSuperTypes="#//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueUnitNames noCyclicUnits parameterNamesNotTypeName"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="uniqueUnitNames" value="transformationUnits->forAll(unit1,unit2:TransformationUnit | unit1 &lt;> unit2 implies unit1.name &lt;> unit2.name)"/>
      <details key="uniqueUnitNames.Msg" value="_Ocl_Msg_TransformationSystem_uniqueUnitNames"/>
    </eAnnotations>
    <eOperations name="getTransformationUnit" eType="#//TransformationUnit">
      <eParameters name="unitName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="getRule" eType="#//Rule">
      <eParameters name="ruleName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rules" upperBound="-1"
        eType="#//Rule" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="imports" upperBound="-1"
        eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EPackage"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="transformationUnits" upperBound="-1"
        eType="#//TransformationUnit" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
        eType="#//Graph" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Rule" eSuperTypes="#//TransformationUnit">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="lhsAndRhsNotNull mappingsFromLeft2Right createdNodesNotAbstract createdEdgesNotDerived deletedEdgesNotDerived"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="lhsAndRhsNotNull" value="not lhs->isEmpty() and not rhs->isEmpty()"/>
      <details key="lhsAndRhsNotNull.Msg" value="_Ocl_Msg_Rule_lhsAndRhsNotNull"/>
      <details key="mappingsFromLeft2Right" value="mappings->forAll(mapping : Mapping | &#xD;&#xA;&#x9;lhs.nodes->includes(mapping.origin)&#xD;&#xA;&#x9;and&#xD;&#xA;&#x9;rhs.nodes->includes(mapping.image)&#xD;&#xA;)"/>
      <details key="mappingsFromLeft2Right.Msg" value="_Ocl_Msg_Rule_mappingsFromLeft2Right"/>
    </eAnnotations>
    <eOperations name="getNode" eType="#//Node">
      <eParameters name="nodename" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
      <eParameters name="isLhs" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="containsMapping" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="sourceNode" eType="#//Node"/>
      <eParameters name="targetNode" eType="#//Node"/>
    </eOperations>
    <eOperations name="containsMultiMapping" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="sourceNode" eType="#//Node"/>
      <eParameters name="targetNode" eType="#//Node"/>
    </eOperations>
    <eOperations name="getTransformationSystem" eType="#//TransformationSystem"/>
    <eOperations name="getKernelRule" eType="#//Rule"/>
    <eOperations name="getRootKernelRule" eType="#//Rule"/>
    <eOperations name="getMultiRule" eType="#//Rule">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="removeEdge">
      <eParameters name="edge" eType="#//Edge"/>
      <eParameters name="removeMapped" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="removeNode">
      <eParameters name="node" eType="#//Node"/>
      <eParameters name="removeMapped" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="getAllMultiRules" upperBound="-1" eType="#//Rule"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="lhs" lowerBound="1" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rhs" lowerBound="1" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="attributeConditions" upperBound="-1"
        eType="#//AttributeCondition" containment="true" eOpposite="#//AttributeCondition/rule"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="mappings" upperBound="-1"
        eType="#//Mapping" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="checkDangling" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="injectiveMatching" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="multiRules" upperBound="-1"
        eType="#//Rule" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="multiMappings" upperBound="-1"
        eType="#//Mapping" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="AttributeCondition" eSuperTypes="#//NamedElement">
    <eStructuralFeatures xsi:type="ecore:EReference" name="rule" lowerBound="1" eType="#//Rule"
        eOpposite="#//Rule/attributeConditions"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="conditionText" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="nameRequired"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="nameRequired" value="not name.oclIsUndefined() and name.size() > 0"/>
      <details key="nameRequired.Msg" value="_Ocl_Msg_Parameter_nameRequired"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="unit" eType="#//TransformationUnit"
        eOpposite="#//TransformationUnit/parameters"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EClassifier"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Graph" eSuperTypes="#//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueNodeNames"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="uniqueNodeNames" value="nodes->forAll( node1, node2 : Node | (node1 &lt;> node2 and not node1.name.oclIsUndefined() ) implies node1.name &lt;> node2.name)"/>
      <details key="uniqueNodeNames.Msg" value="_Ocl_Msg_Graph_uniqueNodeNames"/>
    </eAnnotations>
    <eOperations name="removeEdge">
      <eParameters name="edge" lowerBound="1" eType="#//Edge"/>
    </eOperations>
    <eOperations name="removeNode">
      <eParameters name="node" eType="#//Node"/>
    </eOperations>
    <eOperations name="getContainerRule" eType="#//Rule"/>
    <eOperations name="getNodes" ordered="false" upperBound="-1" eType="#//Node">
      <eParameters name="nodeType" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EClass"/>
    </eOperations>
    <eOperations name="getEdges" ordered="false" upperBound="-1" eType="#//Edge">
      <eParameters name="edgeType" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    </eOperations>
    <eOperations name="isLhs" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eOperations name="isRhs" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eOperations name="isNestedCondition" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="nodes" upperBound="-1"
        eType="#//Node" containment="true" eOpposite="#//Node/graph"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="edges" upperBound="-1"
        eType="#//Edge" containment="true" eOpposite="#//Edge/graph"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="formula" eType="#//Formula"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="GraphElement" abstract="true" interface="true">
    <eOperations name="getGraph" eType="#//Graph"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Mapping">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="ruleMapping_TypeEquality"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="ruleMapping_TypeEquality" value="Rule.allInstances()->exists(rule : Rule | rule.mappings->includes(self)) implies origin.type = image.type"/>
      <details key="ruleMapping_TypeEquality.Msg" value="_Ocl_Msg_Mapping_ruleMapping_TypeEquality"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="origin" lowerBound="1"
        eType="#//Node"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="image" lowerBound="1" eType="#//Node"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Node" eSuperTypes="#//NamedElement #//GraphElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueAttributeTypes"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="uniqueAttributeTypes" value="attributes->forAll(attr1,attr2 : Attribute| attr1&lt;>attr2 implies attr1.type &lt;> attr2.type)"/>
      <details key="uniqueAttributeTypes.Msg" value="_Ocl_Msg_Node_uniqueAttributeTypes"/>
    </eAnnotations>
    <eOperations name="getOutgoing" ordered="false" upperBound="-1" eType="#//Edge">
      <eParameters name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    </eOperations>
    <eOperations name="getIncoming" ordered="false" upperBound="-1" eType="#//Edge">
      <eParameters name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    </eOperations>
    <eOperations name="getOutgoing" eType="#//Edge">
      <eParameters name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
      <eParameters name="target" lowerBound="1" eType="#//Node"/>
    </eOperations>
    <eOperations name="getIncoming" eType="#//Edge">
      <eParameters name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
      <eParameters name="source" lowerBound="1" eType="#//Node"/>
    </eOperations>
    <eOperations name="getAttribute" eType="#//Attribute">
      <eParameters name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EAttribute"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EClass"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="attributes" upperBound="-1"
        eType="#//Attribute" containment="true" eOpposite="#//Attribute/node"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="graph" lowerBound="1" eType="#//Graph"
        eOpposite="#//Graph/nodes"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="incoming" upperBound="-1"
        eType="#//Edge" eOpposite="#//Edge/target"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="outgoing" upperBound="-1"
        eType="#//Edge" eOpposite="#//Edge/source"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="allEdges" ordered="false"
        upperBound="-1" eType="#//Edge" changeable="false" volatile="true" transient="true"
        derived="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Attribute">
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EAttribute"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="node" lowerBound="1" eType="#//Node"
        eOpposite="#//Node/attributes"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Edge" eSuperTypes="#//GraphElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="equalParentGraphs"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="equalParentGraphs" value="source.graph=target.graph"/>
      <details key="equalParentGraphs.Msg" value="_Ocl_Msg_Edge_equalParentGraphs"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
        eType="#//Node" eOpposite="#//Node/outgoing"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
        eType="#//Node" eOpposite="#//Node/incoming"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" lowerBound="1" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="graph" lowerBound="1" eType="#//Graph"
        eOpposite="#//Graph/edges"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TransformationUnit" abstract="true"
      eSuperTypes="#//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueParameterNames parameterMappingsPointToDirectSubUnit"/>
    </eAnnotations>
    <eAnnotations source="http://www.eclipse.org/emf/2010/Henshin/OCL">
      <details key="uniqueParameterNames" value="parameters->forAll( param1, param2 : Parameter | param1 &lt;> param2 implies param1.name &lt;> param2.name)"/>
      <details key="uniqueParameterNames.Msg" value="_Ocl_Msg_TransformationUnit_uniqueParameterNames"/>
    </eAnnotations>
    <eOperations name="getSubUnits" ordered="false" upperBound="-1" eType="#//TransformationUnit">
      <eParameters name="deep" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="getParameter" eType="#//Parameter">
      <eParameters name="parameter" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="activated" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameters" upperBound="-1"
        eType="#//Parameter" containment="true" eOpposite="#//Parameter/unit"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="parameterMappings" upperBound="-1"
        eType="#//ParameterMapping" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IndependentUnit" eSuperTypes="#//TransformationUnit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnits" unique="false"
        upperBound="-1" eType="#//TransformationUnit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SequentialUnit" eSuperTypes="#//TransformationUnit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnits" unique="false"
        upperBound="-1" eType="#//TransformationUnit"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="strict" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="rollback" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ConditionalUnit" eSuperTypes="#//TransformationUnit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="if" lowerBound="1" eType="#//TransformationUnit"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="then" lowerBound="1" eType="#//TransformationUnit"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="else" eType="#//TransformationUnit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="PriorityUnit" eSuperTypes="#//TransformationUnit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnits" unique="false"
        upperBound="-1" eType="#//TransformationUnit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IteratedUnit" eSuperTypes="#//TransformationUnit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnit" lowerBound="1"
        eType="#//TransformationUnit"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="iterations" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="LoopUnit" eSuperTypes="#//TransformationUnit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnit" lowerBound="1"
        eType="#//TransformationUnit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="NestedCondition" eSuperTypes="#//Formula">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="mappingOriginContainedInParentCondition mappingImageContainedInCurrent"/>
    </eAnnotations>
    <eOperations name="isPAC" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eOperations name="isNAC" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="conclusion" lowerBound="1"
        eType="#//Graph" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="mappings" upperBound="-1"
        eType="#//Mapping" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Formula" abstract="true">
    <eOperations name="stringRepresentation" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString">
      <eParameters name="recursive" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="UnaryFormula" abstract="true" eSuperTypes="#//Formula">
    <eStructuralFeatures xsi:type="ecore:EReference" name="child" lowerBound="1" eType="#//Formula"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="BinaryFormula" abstract="true" eSuperTypes="#//Formula">
    <eStructuralFeatures xsi:type="ecore:EReference" name="left" lowerBound="1" eType="#//Formula"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="right" lowerBound="1" eType="#//Formula"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="And" eSuperTypes="#//BinaryFormula"/>
  <eClassifiers xsi:type="ecore:EClass" name="Or" eSuperTypes="#//BinaryFormula"/>
  <eClassifiers xsi:type="ecore:EClass" name="Xor" eSuperTypes="#//BinaryFormula"/>
  <eClassifiers xsi:type="ecore:EClass" name="Not" eSuperTypes="#//UnaryFormula"/>
  <eClassifiers xsi:type="ecore:EClass" name="ParameterMapping">
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
        eType="#//Parameter"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
        eType="#//Parameter"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"henshin","nsURI":"http://www.eclipse.org/emf/2011/Henshin","name":"henshin","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NamedElement","instanceClass":null,"abstract":true,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TransformationSystem","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Rule","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AttributeCondition","instanceClass":null,"abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Parameter","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Graph","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"GraphElement","instanceClass":null,"abstract":true,"id":7,"interface":true,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Mapping","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Node","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Attribute","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Edge","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TransformationUnit","instanceClass":null,"abstract":true,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IndependentUnit","instanceClass":null,"abstract":false,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SequentialUnit","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ConditionalUnit","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PriorityUnit","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IteratedUnit","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LoopUnit","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NestedCondition","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Formula","instanceClass":null,"abstract":true,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"UnaryFormula","instanceClass":null,"abstract":true,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BinaryFormula","instanceClass":null,"abstract":true,"id":22,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"And","instanceClass":null,"abstract":false,"id":23,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Or","instanceClass":null,"abstract":false,"id":24,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Xor","instanceClass":null,"abstract":false,"id":25,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Not","instanceClass":null,"abstract":false,"id":26,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParameterMapping","instanceClass":null,"abstract":false,"id":27,"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":28,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"description","changeable":true,"lowerBound":0,"iD":false,"id":29,"derived":false},{"id":30,"eClass":"EGenericType"},{"id":31,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getTransformationUnit","lowerBound":0,"id":32,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getRule","lowerBound":0,"id":33,"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":"rules","changeable":true,"resolveProxies":true,"lowerBound":0,"id":34,"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":"imports","changeable":true,"resolveProxies":true,"lowerBound":0,"id":35,"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":"transformationUnits","changeable":true,"resolveProxies":true,"lowerBound":0,"id":36,"derived":false},{"container":false,"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"instances","changeable":true,"resolveProxies":true,"lowerBound":0,"id":37,"derived":false},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"unitName","lowerBound":0,"id":40,"many":false,"required":false,"eClass":"EParameter"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"ruleName","lowerBound":0,"id":43,"many":false,"required":false,"eClass":"EParameter"},{"id":44,"eClass":"EGenericType"},{"id":45,"eClass":"EGenericType"},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"id":48,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getNode","lowerBound":0,"id":49,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"containsMapping","lowerBound":0,"id":50,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"containsMultiMapping","lowerBound":0,"id":51,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getTransformationSystem","lowerBound":0,"id":52,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getKernelRule","lowerBound":0,"id":53,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getRootKernelRule","lowerBound":0,"id":54,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getMultiRule","lowerBound":0,"id":55,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeEdge","lowerBound":0,"id":56,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeNode","lowerBound":0,"id":57,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getAllMultiRules","lowerBound":0,"id":58,"many":true,"required":false,"eClass":"EOperation"},{"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":"lhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":59,"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":"rhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":60,"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":"attributeConditions","changeable":true,"resolveProxies":true,"lowerBound":0,"id":61,"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":"mappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":62,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"checkDangling","changeable":true,"lowerBound":0,"iD":false,"id":63,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"injectiveMatching","changeable":true,"lowerBound":0,"iD":false,"id":64,"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":"multiRules","changeable":true,"resolveProxies":true,"lowerBound":0,"id":65,"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":"multiMappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":66,"derived":false},{"id":67,"eClass":"EGenericType"},{"id":68,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"nodename","lowerBound":0,"id":69,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"isLhs","lowerBound":0,"id":70,"many":false,"required":false,"eClass":"EParameter"},{"id":71,"eClass":"EGenericType"},{"id":72,"eClass":"EGenericType"},{"id":73,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"sourceNode","lowerBound":0,"id":74,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"targetNode","lowerBound":0,"id":75,"many":false,"required":false,"eClass":"EParameter"},{"id":76,"eClass":"EGenericType"},{"id":77,"eClass":"EGenericType"},{"id":78,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"sourceNode","lowerBound":0,"id":79,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"targetNode","lowerBound":0,"id":80,"many":false,"required":false,"eClass":"EParameter"},{"id":81,"eClass":"EGenericType"},{"id":82,"eClass":"EGenericType"},{"id":83,"eClass":"EGenericType"},{"id":84,"eClass":"EGenericType"},{"id":85,"eClass":"EGenericType"},{"id":86,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":87,"many":false,"required":false,"eClass":"EParameter"},{"id":88,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"edge","lowerBound":0,"id":89,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeMapped","lowerBound":0,"id":90,"many":false,"required":false,"eClass":"EParameter"},{"id":91,"eClass":"EGenericType"},{"id":92,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"node","lowerBound":0,"id":93,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeMapped","lowerBound":0,"id":94,"many":false,"required":false,"eClass":"EParameter"},{"id":95,"eClass":"EGenericType"},{"id":96,"eClass":"EGenericType"},{"id":97,"eClass":"EGenericType"},{"id":98,"eClass":"EGenericType"},{"id":99,"eClass":"EGenericType"},{"id":100,"eClass":"EGenericType"},{"container":true,"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":"rule","changeable":true,"resolveProxies":true,"lowerBound":1,"id":101,"derived":false},{"id":102,"eClass":"EGenericType"},{"id":103,"eClass":"EGenericType"},{"id":104,"eClass":"EGenericType"},{"id":105,"eClass":"EGenericType"},{"id":106,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"conditionText","changeable":true,"lowerBound":0,"iD":false,"id":107,"derived":false},{"id":108,"eClass":"EGenericType"},{"id":109,"eClass":"EGenericType"},{"id":110,"eClass":"EGenericType"},{"container":true,"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":"unit","changeable":true,"resolveProxies":true,"lowerBound":0,"id":111,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":0,"id":112,"derived":false},{"id":113,"eClass":"EGenericType"},{"id":114,"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":115,"derived":false},{"id":116,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeEdge","lowerBound":0,"id":117,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeNode","lowerBound":0,"id":118,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getContainerRule","lowerBound":0,"id":119,"many":false,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getNodes","lowerBound":0,"id":120,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getEdges","lowerBound":0,"id":121,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isLhs","lowerBound":0,"id":122,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isRhs","lowerBound":0,"id":123,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isNestedCondition","lowerBound":0,"id":124,"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":"nodes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":125,"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":"edges","changeable":true,"resolveProxies":true,"lowerBound":0,"id":126,"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":"formula","changeable":true,"resolveProxies":true,"lowerBound":0,"id":127,"derived":false},{"id":128,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"edge","lowerBound":1,"id":129,"many":false,"required":true,"eClass":"EParameter"},{"id":130,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"node","lowerBound":0,"id":131,"many":false,"required":false,"eClass":"EParameter"},{"id":132,"eClass":"EGenericType"},{"id":133,"eClass":"EGenericType"},{"id":134,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"nodeType","lowerBound":1,"id":135,"many":false,"required":true,"eClass":"EParameter"},{"id":136,"eClass":"EGenericType"},{"id":137,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"edgeType","lowerBound":1,"id":138,"many":false,"required":true,"eClass":"EParameter"},{"id":139,"eClass":"EGenericType"},{"id":140,"eClass":"EGenericType"},{"id":141,"eClass":"EGenericType"},{"id":142,"eClass":"EGenericType"},{"id":143,"eClass":"EGenericType"},{"container":true,"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":"graph","changeable":true,"resolveProxies":true,"lowerBound":1,"id":144,"derived":false},{"id":145,"eClass":"EGenericType"},{"container":true,"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":"graph","changeable":true,"resolveProxies":true,"lowerBound":1,"id":146,"derived":false},{"id":147,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getGraph","lowerBound":0,"id":148,"many":false,"required":false,"eClass":"EOperation"},{"id":149,"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":"origin","changeable":true,"resolveProxies":true,"lowerBound":1,"id":150,"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":"image","changeable":true,"resolveProxies":true,"lowerBound":1,"id":151,"derived":false},{"id":152,"eClass":"EGenericType"},{"id":153,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getOutgoing","lowerBound":0,"id":154,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getIncoming","lowerBound":0,"id":155,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getOutgoing","lowerBound":0,"id":156,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getIncoming","lowerBound":0,"id":157,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getAttribute","lowerBound":0,"id":158,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":159,"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":"attributes","changeable":true,"resolveProxies":true,"lowerBound":0,"id":160,"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":"incoming","changeable":true,"resolveProxies":true,"lowerBound":0,"id":161,"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":"outgoing","changeable":true,"resolveProxies":true,"lowerBound":0,"id":162,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":true,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":true,"unique":true,"name":"allEdges","changeable":false,"resolveProxies":true,"lowerBound":0,"id":163,"derived":true},{"id":164,"eClass":"EGenericType"},{"id":165,"eClass":"EGenericType"},{"id":166,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":167,"many":false,"required":true,"eClass":"EParameter"},{"id":168,"eClass":"EGenericType"},{"id":169,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":170,"many":false,"required":true,"eClass":"EParameter"},{"id":171,"eClass":"EGenericType"},{"id":172,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":173,"many":false,"required":true,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"target","lowerBound":1,"id":174,"many":false,"required":true,"eClass":"EParameter"},{"id":175,"eClass":"EGenericType"},{"id":176,"eClass":"EGenericType"},{"id":177,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":178,"many":false,"required":true,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"source","lowerBound":1,"id":179,"many":false,"required":true,"eClass":"EParameter"},{"id":180,"eClass":"EGenericType"},{"id":181,"eClass":"EGenericType"},{"id":182,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":183,"many":false,"required":true,"eClass":"EParameter"},{"id":184,"eClass":"EGenericType"},{"id":185,"eClass":"EGenericType"},{"id":186,"eClass":"EGenericType"},{"container":true,"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":"node","changeable":true,"resolveProxies":true,"lowerBound":1,"id":187,"derived":false},{"id":188,"eClass":"EGenericType"},{"id":189,"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":"target","changeable":true,"resolveProxies":true,"lowerBound":1,"id":190,"derived":false},{"id":191,"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":192,"derived":false},{"id":193,"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":194,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"lowerBound":0,"iD":false,"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":"type","changeable":true,"resolveProxies":true,"lowerBound":1,"id":199,"derived":false},{"id":200,"eClass":"EGenericType"},{"id":201,"eClass":"EGenericType"},{"id":202,"eClass":"EGenericType"},{"id":203,"eClass":"EGenericType"},{"id":204,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getSubUnits","lowerBound":0,"id":205,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getParameter","lowerBound":0,"id":206,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"activated","changeable":true,"lowerBound":0,"iD":false,"id":207,"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":"parameterMappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":208,"derived":false},{"id":209,"eClass":"EGenericType"},{"id":210,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"deep","lowerBound":0,"id":211,"many":false,"required":false,"eClass":"EParameter"},{"id":212,"eClass":"EGenericType"},{"id":213,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"parameter","lowerBound":0,"id":214,"many":false,"required":false,"eClass":"EParameter"},{"id":215,"eClass":"EGenericType"},{"id":216,"eClass":"EGenericType"},{"id":217,"eClass":"EGenericType"},{"id":218,"eClass":"EGenericType"},{"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":false,"name":"subUnits","changeable":true,"resolveProxies":true,"lowerBound":0,"id":219,"derived":false},{"id":220,"eClass":"EGenericType"},{"id":221,"eClass":"EGenericType"},{"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":false,"name":"subUnits","changeable":true,"resolveProxies":true,"lowerBound":0,"id":222,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"strict","changeable":true,"lowerBound":0,"iD":false,"id":223,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":true,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"true","unsettable":false,"transient":false,"unique":true,"name":"rollback","changeable":true,"lowerBound":0,"iD":false,"id":224,"derived":false},{"id":225,"eClass":"EGenericType"},{"id":226,"eClass":"EGenericType"},{"id":227,"eClass":"EGenericType"},{"id":228,"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":"if","changeable":true,"resolveProxies":true,"lowerBound":1,"id":229,"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":"then","changeable":true,"resolveProxies":true,"lowerBound":1,"id":230,"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":"else","changeable":true,"resolveProxies":true,"lowerBound":0,"id":231,"derived":false},{"id":232,"eClass":"EGenericType"},{"id":233,"eClass":"EGenericType"},{"id":234,"eClass":"EGenericType"},{"id":235,"eClass":"EGenericType"},{"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":false,"name":"subUnits","changeable":true,"resolveProxies":true,"lowerBound":0,"id":236,"derived":false},{"id":237,"eClass":"EGenericType"},{"id":238,"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":"subUnit","changeable":true,"resolveProxies":true,"lowerBound":1,"id":239,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"iterations","changeable":true,"lowerBound":0,"iD":false,"id":240,"derived":false},{"id":241,"eClass":"EGenericType"},{"id":242,"eClass":"EGenericType"},{"id":243,"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":"subUnit","changeable":true,"resolveProxies":true,"lowerBound":1,"id":244,"derived":false},{"id":245,"eClass":"EGenericType"},{"id":246,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"isPAC","lowerBound":0,"id":247,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isNAC","lowerBound":0,"id":248,"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":true,"unsettable":false,"transient":false,"unique":true,"name":"conclusion","changeable":true,"resolveProxies":true,"lowerBound":1,"id":249,"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":"mappings","changeable":true,"resolveProxies":true,"lowerBound":0,"id":250,"derived":false},{"id":251,"eClass":"EGenericType"},{"id":252,"eClass":"EGenericType"},{"id":253,"eClass":"EGenericType"},{"id":254,"eClass":"EGenericType"},{"id":255,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"stringRepresentation","lowerBound":0,"id":256,"many":false,"required":false,"eClass":"EOperation"},{"id":257,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"recursive","lowerBound":0,"id":258,"many":false,"required":false,"eClass":"EParameter"},{"id":259,"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":"child","changeable":true,"resolveProxies":true,"lowerBound":1,"id":260,"derived":false},{"id":261,"eClass":"EGenericType"},{"id":262,"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":263,"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":264,"derived":false},{"id":265,"eClass":"EGenericType"},{"id":266,"eClass":"EGenericType"},{"id":267,"eClass":"EGenericType"},{"id":268,"eClass":"EGenericType"},{"id":269,"eClass":"EGenericType"},{"id":270,"eClass":"EGenericType"},{"id":271,"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":272,"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":273,"derived":false},{"id":274,"eClass":"EGenericType"},{"id":275,"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":1,"target":0},{"source":1,"target":28},{"source":1,"target":29},{"source":28,"target":30},{"source":28,"target":1},{"source":29,"target":31},{"source":29,"target":1},{"source":2,"target":0},{"source":2,"target":1},{"source":2,"target":32},{"source":2,"target":33},{"source":2,"target":34},{"source":2,"target":35},{"source":2,"target":36},{"source":2,"target":37},{"source":2,"target":38},{"source":32,"target":12},{"source":32,"target":39},{"source":32,"target":2},{"source":32,"target":40},{"source":39,"target":12},{"source":40,"target":41},{"source":40,"target":32},{"source":33,"target":3},{"source":33,"target":42},{"source":33,"target":2},{"source":33,"target":43},{"source":42,"target":3},{"source":43,"target":44},{"source":43,"target":33},{"source":34,"target":3},{"source":34,"target":45},{"source":34,"target":2},{"source":45,"target":3},{"source":35,"target":46},{"source":35,"target":2},{"source":36,"target":12},{"source":36,"target":47},{"source":36,"target":2},{"source":47,"target":12},{"source":37,"target":6},{"source":37,"target":48},{"source":37,"target":2},{"source":48,"target":6},{"source":38,"target":1},{"source":3,"target":0},{"source":3,"target":12},{"source":3,"target":49},{"source":3,"target":50},{"source":3,"target":51},{"source":3,"target":52},{"source":3,"target":53},{"source":3,"target":54},{"source":3,"target":55},{"source":3,"target":56},{"source":3,"target":57},{"source":3,"target":58},{"source":3,"target":59},{"source":3,"target":60},{"source":3,"target":61},{"source":3,"target":62},{"source":3,"target":63},{"source":3,"target":64},{"source":3,"target":65},{"source":3,"target":66},{"source":3,"target":67},{"source":49,"target":9},{"source":49,"target":68},{"source":49,"target":3},{"source":49,"target":69},{"source":49,"target":70},{"source":68,"target":9},{"source":69,"target":71},{"source":69,"target":49},{"source":70,"target":72},{"source":70,"target":49},{"source":50,"target":73},{"source":50,"target":3},{"source":50,"target":74},{"source":50,"target":75},{"source":74,"target":9},{"source":74,"target":76},{"source":74,"target":50},{"source":76,"target":9},{"source":75,"target":9},{"source":75,"target":77},{"source":75,"target":50},{"source":77,"target":9},{"source":51,"target":78},{"source":51,"target":3},{"source":51,"target":79},{"source":51,"target":80},{"source":79,"target":9},{"source":79,"target":81},{"source":79,"target":51},{"source":81,"target":9},{"source":80,"target":9},{"source":80,"target":82},{"source":80,"target":51},{"source":82,"target":9},{"source":52,"target":2},{"source":52,"target":83},{"source":52,"target":3},{"source":83,"target":2},{"source":53,"target":3},{"source":53,"target":84},{"source":53,"target":3},{"source":84,"target":3},{"source":54,"target":3},{"source":54,"target":85},{"source":54,"target":3},{"source":85,"target":3},{"source":55,"target":3},{"source":55,"target":86},{"source":55,"target":3},{"source":55,"target":87},{"source":86,"target":3},{"source":87,"target":88},{"source":87,"target":55},{"source":56,"target":3},{"source":56,"target":89},{"source":56,"target":90},{"source":89,"target":11},{"source":89,"target":91},{"source":89,"target":56},{"source":91,"target":11},{"source":90,"target":92},{"source":90,"target":56},{"source":57,"target":3},{"source":57,"target":93},{"source":57,"target":94},{"source":93,"target":9},{"source":93,"target":95},{"source":93,"target":57},{"source":95,"target":9},{"source":94,"target":96},{"source":94,"target":57},{"source":58,"target":3},{"source":58,"target":97},{"source":58,"target":3},{"source":97,"target":3},{"source":59,"target":6},{"source":59,"target":98},{"source":59,"target":3},{"source":98,"target":6},{"source":60,"target":6},{"source":60,"target":99},{"source":60,"target":3},{"source":99,"target":6},{"source":61,"target":4},{"source":61,"target":100},{"source":61,"target":3},{"source":61,"target":101},{"source":100,"target":4},{"source":62,"target":8},{"source":62,"target":102},{"source":62,"target":3},{"source":102,"target":8},{"source":63,"target":103},{"source":63,"target":3},{"source":64,"target":104},{"source":64,"target":3},{"source":65,"target":3},{"source":65,"target":105},{"source":65,"target":3},{"source":105,"target":3},{"source":66,"target":8},{"source":66,"target":106},{"source":66,"target":3},{"source":106,"target":8},{"source":67,"target":12},{"source":4,"target":0},{"source":4,"target":1},{"source":4,"target":101},{"source":4,"target":107},{"source":4,"target":108},{"source":101,"target":3},{"source":101,"target":109},{"source":101,"target":4},{"source":101,"target":61},{"source":109,"target":3},{"source":107,"target":110},{"source":107,"target":4},{"source":108,"target":1},{"source":5,"target":0},{"source":5,"target":1},{"source":5,"target":111},{"source":5,"target":112},{"source":5,"target":113},{"source":111,"target":12},{"source":111,"target":114},{"source":111,"target":5},{"source":111,"target":115},{"source":114,"target":12},{"source":112,"target":116},{"source":112,"target":5},{"source":113,"target":1},{"source":6,"target":0},{"source":6,"target":1},{"source":6,"target":117},{"source":6,"target":118},{"source":6,"target":119},{"source":6,"target":120},{"source":6,"target":121},{"source":6,"target":122},{"source":6,"target":123},{"source":6,"target":124},{"source":6,"target":125},{"source":6,"target":126},{"source":6,"target":127},{"source":6,"target":128},{"source":117,"target":6},{"source":117,"target":129},{"source":129,"target":11},{"source":129,"target":130},{"source":129,"target":117},{"source":130,"target":11},{"source":118,"target":6},{"source":118,"target":131},{"source":131,"target":9},{"source":131,"target":132},{"source":131,"target":118},{"source":132,"target":9},{"source":119,"target":3},{"source":119,"target":133},{"source":119,"target":6},{"source":133,"target":3},{"source":120,"target":9},{"source":120,"target":134},{"source":120,"target":6},{"source":120,"target":135},{"source":134,"target":9},{"source":135,"target":136},{"source":135,"target":120},{"source":121,"target":11},{"source":121,"target":137},{"source":121,"target":6},{"source":121,"target":138},{"source":137,"target":11},{"source":138,"target":139},{"source":138,"target":121},{"source":122,"target":140},{"source":122,"target":6},{"source":123,"target":141},{"source":123,"target":6},{"source":124,"target":142},{"source":124,"target":6},{"source":125,"target":9},{"source":125,"target":143},{"source":125,"target":6},{"source":125,"target":144},{"source":143,"target":9},{"source":126,"target":11},{"source":126,"target":145},{"source":126,"target":6},{"source":126,"target":146},{"source":145,"target":11},{"source":127,"target":20},{"source":127,"target":147},{"source":127,"target":6},{"source":147,"target":20},{"source":128,"target":1},{"source":7,"target":0},{"source":7,"target":148},{"source":148,"target":6},{"source":148,"target":149},{"source":148,"target":7},{"source":149,"target":6},{"source":8,"target":0},{"source":8,"target":150},{"source":8,"target":151},{"source":150,"target":9},{"source":150,"target":152},{"source":150,"target":8},{"source":152,"target":9},{"source":151,"target":9},{"source":151,"target":153},{"source":151,"target":8},{"source":153,"target":9},{"source":9,"target":0},{"source":9,"target":1},{"source":9,"target":7},{"source":9,"target":154},{"source":9,"target":155},{"source":9,"target":156},{"source":9,"target":157},{"source":9,"target":158},{"source":9,"target":159},{"source":9,"target":160},{"source":9,"target":144},{"source":9,"target":161},{"source":9,"target":162},{"source":9,"target":163},{"source":9,"target":164},{"source":9,"target":165},{"source":154,"target":11},{"source":154,"target":166},{"source":154,"target":9},{"source":154,"target":167},{"source":166,"target":11},{"source":167,"target":168},{"source":167,"target":154},{"source":155,"target":11},{"source":155,"target":169},{"source":155,"target":9},{"source":155,"target":170},{"source":169,"target":11},{"source":170,"target":171},{"source":170,"target":155},{"source":156,"target":11},{"source":156,"target":172},{"source":156,"target":9},{"source":156,"target":173},{"source":156,"target":174},{"source":172,"target":11},{"source":173,"target":175},{"source":173,"target":156},{"source":174,"target":9},{"source":174,"target":176},{"source":174,"target":156},{"source":176,"target":9},{"source":157,"target":11},{"source":157,"target":177},{"source":157,"target":9},{"source":157,"target":178},{"source":157,"target":179},{"source":177,"target":11},{"source":178,"target":180},{"source":178,"target":157},{"source":179,"target":9},{"source":179,"target":181},{"source":179,"target":157},{"source":181,"target":9},{"source":158,"target":10},{"source":158,"target":182},{"source":158,"target":9},{"source":158,"target":183},{"source":182,"target":10},{"source":183,"target":184},{"source":183,"target":158},{"source":159,"target":185},{"source":159,"target":9},{"source":160,"target":10},{"source":160,"target":186},{"source":160,"target":9},{"source":160,"target":187},{"source":186,"target":10},{"source":144,"target":6},{"source":144,"target":188},{"source":144,"target":9},{"source":144,"target":125},{"source":188,"target":6},{"source":161,"target":11},{"source":161,"target":189},{"source":161,"target":9},{"source":161,"target":190},{"source":189,"target":11},{"source":162,"target":11},{"source":162,"target":191},{"source":162,"target":9},{"source":162,"target":192},{"source":191,"target":11},{"source":163,"target":11},{"source":163,"target":193},{"source":163,"target":9},{"source":193,"target":11},{"source":164,"target":1},{"source":165,"target":7},{"source":10,"target":0},{"source":10,"target":194},{"source":10,"target":195},{"source":10,"target":187},{"source":194,"target":196},{"source":194,"target":10},{"source":195,"target":197},{"source":195,"target":10},{"source":187,"target":9},{"source":187,"target":198},{"source":187,"target":10},{"source":187,"target":160},{"source":198,"target":9},{"source":11,"target":0},{"source":11,"target":7},{"source":11,"target":192},{"source":11,"target":190},{"source":11,"target":199},{"source":11,"target":146},{"source":11,"target":200},{"source":192,"target":9},{"source":192,"target":201},{"source":192,"target":11},{"source":192,"target":162},{"source":201,"target":9},{"source":190,"target":9},{"source":190,"target":202},{"source":190,"target":11},{"source":190,"target":161},{"source":202,"target":9},{"source":199,"target":203},{"source":199,"target":11},{"source":146,"target":6},{"source":146,"target":204},{"source":146,"target":11},{"source":146,"target":126},{"source":204,"target":6},{"source":200,"target":7},{"source":12,"target":0},{"source":12,"target":1},{"source":12,"target":205},{"source":12,"target":206},{"source":12,"target":207},{"source":12,"target":115},{"source":12,"target":208},{"source":12,"target":209},{"source":205,"target":12},{"source":205,"target":210},{"source":205,"target":12},{"source":205,"target":211},{"source":210,"target":12},{"source":211,"target":212},{"source":211,"target":205},{"source":206,"target":5},{"source":206,"target":213},{"source":206,"target":12},{"source":206,"target":214},{"source":213,"target":5},{"source":214,"target":215},{"source":214,"target":206},{"source":207,"target":216},{"source":207,"target":12},{"source":115,"target":5},{"source":115,"target":217},{"source":115,"target":12},{"source":115,"target":111},{"source":217,"target":5},{"source":208,"target":27},{"source":208,"target":218},{"source":208,"target":12},{"source":218,"target":27},{"source":209,"target":1},{"source":13,"target":0},{"source":13,"target":12},{"source":13,"target":219},{"source":13,"target":220},{"source":219,"target":12},{"source":219,"target":221},{"source":219,"target":13},{"source":221,"target":12},{"source":220,"target":12},{"source":14,"target":0},{"source":14,"target":12},{"source":14,"target":222},{"source":14,"target":223},{"source":14,"target":224},{"source":14,"target":225},{"source":222,"target":12},{"source":222,"target":226},{"source":222,"target":14},{"source":226,"target":12},{"source":223,"target":227},{"source":223,"target":14},{"source":224,"target":228},{"source":224,"target":14},{"source":225,"target":12},{"source":15,"target":0},{"source":15,"target":12},{"source":15,"target":229},{"source":15,"target":230},{"source":15,"target":231},{"source":15,"target":232},{"source":229,"target":12},{"source":229,"target":233},{"source":229,"target":15},{"source":233,"target":12},{"source":230,"target":12},{"source":230,"target":234},{"source":230,"target":15},{"source":234,"target":12},{"source":231,"target":12},{"source":231,"target":235},{"source":231,"target":15},{"source":235,"target":12},{"source":232,"target":12},{"source":16,"target":0},{"source":16,"target":12},{"source":16,"target":236},{"source":16,"target":237},{"source":236,"target":12},{"source":236,"target":238},{"source":236,"target":16},{"source":238,"target":12},{"source":237,"target":12},{"source":17,"target":0},{"source":17,"target":12},{"source":17,"target":239},{"source":17,"target":240},{"source":17,"target":241},{"source":239,"target":12},{"source":239,"target":242},{"source":239,"target":17},{"source":242,"target":12},{"source":240,"target":243},{"source":240,"target":17},{"source":241,"target":12},{"source":18,"target":0},{"source":18,"target":12},{"source":18,"target":244},{"source":18,"target":245},{"source":244,"target":12},{"source":244,"target":246},{"source":244,"target":18},{"source":246,"target":12},{"source":245,"target":12},{"source":19,"target":0},{"source":19,"target":20},{"source":19,"target":247},{"source":19,"target":248},{"source":19,"target":249},{"source":19,"target":250},{"source":19,"target":251},{"source":247,"target":252},{"source":247,"target":19},{"source":248,"target":253},{"source":248,"target":19},{"source":249,"target":6},{"source":249,"target":254},{"source":249,"target":19},{"source":254,"target":6},{"source":250,"target":8},{"source":250,"target":255},{"source":250,"target":19},{"source":255,"target":8},{"source":251,"target":20},{"source":20,"target":0},{"source":20,"target":256},{"source":256,"target":257},{"source":256,"target":20},{"source":256,"target":258},{"source":258,"target":259},{"source":258,"target":256},{"source":21,"target":0},{"source":21,"target":20},{"source":21,"target":260},{"source":21,"target":261},{"source":260,"target":20},{"source":260,"target":262},{"source":260,"target":21},{"source":262,"target":20},{"source":261,"target":20},{"source":22,"target":0},{"source":22,"target":20},{"source":22,"target":263},{"source":22,"target":264},{"source":22,"target":265},{"source":263,"target":20},{"source":263,"target":266},{"source":263,"target":22},{"source":266,"target":20},{"source":264,"target":20},{"source":264,"target":267},{"source":264,"target":22},{"source":267,"target":20},{"source":265,"target":20},{"source":23,"target":0},{"source":23,"target":22},{"source":23,"target":268},{"source":268,"target":22},{"source":24,"target":0},{"source":24,"target":22},{"source":24,"target":269},{"source":269,"target":22},{"source":25,"target":0},{"source":25,"target":22},{"source":25,"target":270},{"source":270,"target":22},{"source":26,"target":0},{"source":26,"target":21},{"source":26,"target":271},{"source":271,"target":21},{"source":27,"target":0},{"source":27,"target":272},{"source":27,"target":273},{"source":272,"target":5},{"source":272,"target":274},{"source":272,"target":27},{"source":274,"target":5},{"source":273,"target":5},{"source":273,"target":275},{"source":273,"target":27},{"source":275,"target":5}],"multigraph":true}