henshin
NamedElement
name
description
GraphElement
getGraph
action
Module
getUnit
name
getSubModule
name
subModules
superModule
imports
units
instances
Unit
getModule
getSubUnits
deep
getParameter
parameter
parameters
parameterMappings
activated
true
Rule
getKernelRule
getRootRule
getMultiRule
name
getMultiRulePath
multiRule
getAllMultiRules
getAllMappings
getActionNodes
action
getActionEdges
action
getParameterNodes
isMultiRule
createNode
type
createEdge
source
target
type
canCreateEdge
source
target
type
removeEdge
edge
removeMapped
removeNode
node
removeMapped
removeAttribute
attribute
removeMapped
lhs
rhs
attributeConditions
mappings
checkDangling
true
injectiveMatching
true
multiRules
multiMappings
javaImports

Parameter
unit
type
ParameterMapping
source
target
Graph
getRule
getNode
name
getNodes
nodeType
getEdges
edgeType
getNestedConditions
getPAC
name
getNAC
name
getPACs
getNACs
isLhs
isRhs
isNestedCondition
createPAC
name
createNAC
name
removeNode
node
removeEdge
edge
removeNestedCondition
nestedCondition
nodes
edges
formula
Node
getAllEdges
getOutgoing
type
getIncoming
type
getOutgoing
type
target
getIncoming
type
source
getAttribute
type
getActionAttributes
action
getActionNode
type
attributes
graph
incoming
outgoing
Edge
getActionEdge
source
target
type
graph
index
indexConstant
Attribute
getActionAttribute
type
value
node
constant
ACED0005740000
null
false
AttributeCondition
rule
conditionText
Mapping
origin
image
UnaryUnit
subUnit
MultiUnit
subUnits
IndependentUnit
SequentialUnit
strict
true
rollback
true
ConditionalUnit
if
then
else
PriorityUnit
IteratedUnit
iterations
LoopUnit
Formula
isTrue
isFalse
NestedCondition
getHost
isPAC
isNAC
conclusion
mappings
UnaryFormula
child
BinaryFormula
left
right
And
Or
Xor
Not
Action
org.eclipse.emf.henshin.model.Action
org.eclipse.emf.henshin.model.Action
<?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">
    <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="GraphElement" abstract="true" interface="true">
    <eOperations name="getGraph" eType="#//Graph"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="action" eType="#//Action"
        volatile="true" transient="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Module" eSuperTypes="#//NamedElement">
    <eOperations name="getUnit" eType="#//Unit">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="getSubModule" eType="#//Module">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="subModules" upperBound="-1"
        eType="#//Module" containment="true" eOpposite="#//Module/superModule"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="superModule" eType="#//Module"
        eOpposite="#//Module/subModules"/>
    <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="units" upperBound="-1"
        eType="#//Unit" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="instances" upperBound="-1"
        eType="#//Graph" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Unit" abstract="true" eSuperTypes="#//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="parameterNamesUnique parameterMappingsPointToDirectSubUnit"/>
    </eAnnotations>
    <eOperations name="getModule" eType="#//Module"/>
    <eOperations name="getSubUnits" ordered="false" upperBound="-1" eType="#//Unit">
      <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: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"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="activated" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        defaultValueLiteral="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Rule" eSuperTypes="#//Unit">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="mappingsFromLeft2Right createdNodesNotAbstract createdEdgesNotDerived deletedEdgesNotDerived"/>
    </eAnnotations>
    <eOperations name="getKernelRule" eType="#//Rule"/>
    <eOperations name="getRootRule" eType="#//Rule"/>
    <eOperations name="getMultiRule" eType="#//Rule">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="getMultiRulePath" upperBound="-1" eType="#//Rule">
      <eParameters name="multiRule" eType="#//Rule"/>
    </eOperations>
    <eOperations name="getAllMultiRules" upperBound="-1" eType="#//Rule"/>
    <eOperations name="getAllMappings" upperBound="-1" eType="#//Mapping"/>
    <eOperations name="getActionNodes" upperBound="-1" eType="#//Node">
      <eParameters name="action" eType="#//Action"/>
    </eOperations>
    <eOperations name="getActionEdges" upperBound="-1" eType="#//Edge">
      <eParameters name="action" eType="#//Action"/>
    </eOperations>
    <eOperations name="getParameterNodes" upperBound="-1" eType="#//Node"/>
    <eOperations name="isMultiRule" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eOperations name="createNode" eType="#//Node">
      <eParameters name="type" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EClass"/>
    </eOperations>
    <eOperations name="createEdge" eType="#//Edge">
      <eParameters name="source" eType="#//Node"/>
      <eParameters name="target" eType="#//Node"/>
      <eParameters name="type" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    </eOperations>
    <eOperations name="canCreateEdge" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="source" eType="#//Node"/>
      <eParameters name="target" eType="#//Node"/>
      <eParameters name="type" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    </eOperations>
    <eOperations name="removeEdge" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="edge" eType="#//Edge"/>
      <eParameters name="removeMapped" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="removeNode" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="node" eType="#//Node"/>
      <eParameters name="removeMapped" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="removeAttribute" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="attribute" eType="#//Attribute"/>
      <eParameters name="removeMapped" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <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"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="javaImports" upperBound="-1"
        eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" defaultValueLiteral=""/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Parameter" eSuperTypes="#//NamedElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="nameNotEmpty nameNotTypeName"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="unit" eType="#//Unit" eOpposite="#//Unit/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="ParameterMapping">
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" lowerBound="1"
        eType="#//Parameter"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" lowerBound="1"
        eType="#//Parameter"/>
  </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>
    <eOperations name="getRule" eType="#//Rule"/>
    <eOperations name="getNode" eType="#//Node">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <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="getNestedConditions" upperBound="-1" eType="#//NestedCondition"/>
    <eOperations name="getPAC" eType="#//NestedCondition">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="getNAC" eType="#//NestedCondition">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="getPACs" upperBound="-1" eType="#//NestedCondition"/>
    <eOperations name="getNACs" upperBound="-1" eType="#//NestedCondition"/>
    <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"/>
    <eOperations name="createPAC" eType="#//NestedCondition">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="createNAC" eType="#//NestedCondition">
      <eParameters name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    </eOperations>
    <eOperations name="removeNode" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="node" eType="#//Node"/>
    </eOperations>
    <eOperations name="removeEdge" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="edge" lowerBound="1" eType="#//Edge"/>
    </eOperations>
    <eOperations name="removeNestedCondition" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eParameters name="nestedCondition" eType="#//NestedCondition"/>
    </eOperations>
    <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="Node" eSuperTypes="#//NamedElement #//GraphElement">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="uniqueAttributeTypes"/>
    </eAnnotations>
    <eOperations name="getAllEdges" upperBound="-1" eType="#//Edge"/>
    <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" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EAttribute"/>
    </eOperations>
    <eOperations name="getActionAttributes" upperBound="-1" eType="#//Attribute">
      <eParameters name="action" eType="#//Action"/>
    </eOperations>
    <eOperations name="getActionNode" eType="#//Node"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" 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" 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"/>
  </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>
    <eOperations name="getActionEdge" eType="#//Edge"/>
    <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" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EReference"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="graph" eType="#//Graph"
        eOpposite="#//Graph/edges"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="indexConstant" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"
        changeable="false" transient="true" derived="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Attribute" eSuperTypes="#//GraphElement">
    <eOperations name="getActionAttribute" eType="#//Attribute"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="type" 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" eType="#//Node" eOpposite="#//Node/attributes"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="constant" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EJavaObject"
        changeable="false" transient="true" defaultValueLiteral="ACED0005740000" derived="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="null" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
        changeable="false" transient="true" defaultValueLiteral="false" derived="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="Mapping">
    <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="UnaryUnit" abstract="true" eSuperTypes="#//Unit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnit" lowerBound="1"
        eType="#//Unit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="MultiUnit" abstract="true" eSuperTypes="#//Unit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="subUnits" unique="false"
        upperBound="-1" eType="#//Unit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="IndependentUnit" eSuperTypes="#//MultiUnit"/>
  <eClassifiers xsi:type="ecore:EClass" name="SequentialUnit" eSuperTypes="#//MultiUnit">
    <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="#//Unit">
    <eStructuralFeatures xsi:type="ecore:EReference" name="if" lowerBound="1" eType="#//Unit"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="then" lowerBound="1" eType="#//Unit"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="else" eType="#//Unit"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="PriorityUnit" eSuperTypes="#//MultiUnit"/>
  <eClassifiers xsi:type="ecore:EClass" name="IteratedUnit" eSuperTypes="#//UnaryUnit">
    <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
      <details key="constraints" value="iterationsNotEmpty"/>
    </eAnnotations>
    <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="#//UnaryUnit"/>
  <eClassifiers xsi:type="ecore:EClass" name="Formula" abstract="true" interface="true">
    <eOperations name="isTrue" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    <eOperations name="isFalse" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
  </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="getHost" eType="#//Graph"/>
    <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" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="mappings" upperBound="-1"
        eType="#//Mapping" containment="true"/>
  </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:EDataType" name="Action" instanceClassName="org.eclipse.emf.henshin.model.Action"/>
</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":"GraphElement","instanceClass":null,"abstract":true,"id":2,"interface":true,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Module","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Unit","instanceClass":null,"abstract":true,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Rule","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Parameter","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParameterMapping","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Graph","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":"Edge","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Attribute","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"AttributeCondition","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Mapping","instanceClass":null,"abstract":false,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"UnaryUnit","instanceClass":null,"abstract":true,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"MultiUnit","instanceClass":null,"abstract":true,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IndependentUnit","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SequentialUnit","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ConditionalUnit","instanceClass":null,"abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"PriorityUnit","instanceClass":null,"abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"IteratedUnit","instanceClass":null,"abstract":false,"id":20,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"LoopUnit","instanceClass":null,"abstract":false,"id":21,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Formula","instanceClass":null,"abstract":true,"id":22,"interface":true,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"NestedCondition","instanceClass":null,"abstract":false,"id":23,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"UnaryFormula","instanceClass":null,"abstract":true,"id":24,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"BinaryFormula","instanceClass":null,"abstract":true,"id":25,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"And","instanceClass":null,"abstract":false,"id":26,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Or","instanceClass":null,"abstract":false,"id":27,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Xor","instanceClass":null,"abstract":false,"id":28,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Not","instanceClass":null,"abstract":false,"id":29,"interface":false,"eClass":"EClass"},{"instanceTypeName":"org.eclipse.emf.henshin.model.Action","defaultValue":null,"instanceClassName":"org.eclipse.emf.henshin.model.Action","name":"Action","instanceClass":null,"id":30,"serializable":true,"eClass":"EDataType"},{"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":31,"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":32,"derived":false},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getGraph","lowerBound":0,"id":35,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":true,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"action","changeable":true,"lowerBound":0,"iD":false,"id":36,"derived":false},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getUnit","lowerBound":0,"id":39,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getSubModule","lowerBound":0,"id":40,"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":"subModules","changeable":true,"resolveProxies":true,"lowerBound":0,"id":41,"derived":false},{"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":"superModule","changeable":true,"resolveProxies":true,"lowerBound":0,"id":42,"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":43,"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":"units","changeable":true,"resolveProxies":true,"lowerBound":0,"id":44,"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":45,"derived":false},{"id":46,"eClass":"EGenericType"},{"id":47,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":48,"many":false,"required":false,"eClass":"EParameter"},{"id":49,"eClass":"EGenericType"},{"id":50,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":51,"many":false,"required":false,"eClass":"EParameter"},{"id":52,"eClass":"EGenericType"},{"id":53,"eClass":"EGenericType"},{"id":54,"eClass":"EGenericType"},{"id":55,"eClass":"EGenericType"},{"id":56,"eClass":"EGenericType"},{"id":57,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getModule","lowerBound":0,"id":58,"many":false,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getSubUnits","lowerBound":0,"id":59,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getParameter","lowerBound":0,"id":60,"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":"parameters","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":"parameterMappings","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":"activated","changeable":true,"lowerBound":0,"iD":false,"id":63,"derived":false},{"id":64,"eClass":"EGenericType"},{"id":65,"eClass":"EGenericType"},{"id":66,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"deep","lowerBound":0,"id":67,"many":false,"required":false,"eClass":"EParameter"},{"id":68,"eClass":"EGenericType"},{"id":69,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"parameter","lowerBound":0,"id":70,"many":false,"required":false,"eClass":"EParameter"},{"id":71,"eClass":"EGenericType"},{"id":72,"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":73,"derived":false},{"id":74,"eClass":"EGenericType"},{"id":75,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getKernelRule","lowerBound":0,"id":76,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getRootRule","lowerBound":0,"id":77,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getMultiRule","lowerBound":0,"id":78,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getMultiRulePath","lowerBound":0,"id":79,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getAllMultiRules","lowerBound":0,"id":80,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getAllMappings","lowerBound":0,"id":81,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getActionNodes","lowerBound":0,"id":82,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getActionEdges","lowerBound":0,"id":83,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getParameterNodes","lowerBound":0,"id":84,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isMultiRule","lowerBound":0,"id":85,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"createNode","lowerBound":0,"id":86,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"createEdge","lowerBound":0,"id":87,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"canCreateEdge","lowerBound":0,"id":88,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeEdge","lowerBound":0,"id":89,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeNode","lowerBound":0,"id":90,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeAttribute","lowerBound":0,"id":91,"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":"lhs","changeable":true,"resolveProxies":true,"lowerBound":1,"id":92,"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":93,"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":94,"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":95,"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":96,"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":97,"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":98,"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":99,"derived":false},{"ordered":true,"upperBound":-1,"defaultValue":"","volatile":false,"many":true,"required":false,"eClass":"EAttribute","defaultValueLiteral":"","unsettable":false,"transient":false,"unique":true,"name":"javaImports","changeable":true,"lowerBound":0,"iD":false,"id":100,"derived":false},{"id":101,"eClass":"EGenericType"},{"id":102,"eClass":"EGenericType"},{"id":103,"eClass":"EGenericType"},{"id":104,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":105,"many":false,"required":false,"eClass":"EParameter"},{"id":106,"eClass":"EGenericType"},{"id":107,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"multiRule","lowerBound":0,"id":108,"many":false,"required":false,"eClass":"EParameter"},{"id":109,"eClass":"EGenericType"},{"id":110,"eClass":"EGenericType"},{"id":111,"eClass":"EGenericType"},{"id":112,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"action","lowerBound":0,"id":113,"many":false,"required":false,"eClass":"EParameter"},{"id":114,"eClass":"EGenericType"},{"id":115,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"action","lowerBound":0,"id":116,"many":false,"required":false,"eClass":"EParameter"},{"id":117,"eClass":"EGenericType"},{"id":118,"eClass":"EGenericType"},{"id":119,"eClass":"EGenericType"},{"id":120,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":0,"id":121,"many":false,"required":false,"eClass":"EParameter"},{"id":122,"eClass":"EGenericType"},{"id":123,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"source","lowerBound":0,"id":124,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"target","lowerBound":0,"id":125,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":0,"id":126,"many":false,"required":false,"eClass":"EParameter"},{"id":127,"eClass":"EGenericType"},{"id":128,"eClass":"EGenericType"},{"id":129,"eClass":"EGenericType"},{"id":130,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"source","lowerBound":0,"id":131,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"target","lowerBound":0,"id":132,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":0,"id":133,"many":false,"required":false,"eClass":"EParameter"},{"id":134,"eClass":"EGenericType"},{"id":135,"eClass":"EGenericType"},{"id":136,"eClass":"EGenericType"},{"id":137,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"edge","lowerBound":0,"id":138,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeMapped","lowerBound":0,"id":139,"many":false,"required":false,"eClass":"EParameter"},{"id":140,"eClass":"EGenericType"},{"id":141,"eClass":"EGenericType"},{"id":142,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"node","lowerBound":0,"id":143,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeMapped","lowerBound":0,"id":144,"many":false,"required":false,"eClass":"EParameter"},{"id":145,"eClass":"EGenericType"},{"id":146,"eClass":"EGenericType"},{"id":147,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"attribute","lowerBound":0,"id":148,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeMapped","lowerBound":0,"id":149,"many":false,"required":false,"eClass":"EParameter"},{"id":150,"eClass":"EGenericType"},{"id":151,"eClass":"EGenericType"},{"id":152,"eClass":"EGenericType"},{"id":153,"eClass":"EGenericType"},{"id":154,"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":155,"derived":false},{"id":156,"eClass":"EGenericType"},{"id":157,"eClass":"EGenericType"},{"id":158,"eClass":"EGenericType"},{"id":159,"eClass":"EGenericType"},{"id":160,"eClass":"EGenericType"},{"id":161,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"type","changeable":true,"resolveProxies":true,"lowerBound":0,"id":162,"derived":false},{"id":163,"eClass":"EGenericType"},{"id":164,"eClass":"EGenericType"},{"id":165,"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":166,"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":167,"derived":false},{"id":168,"eClass":"EGenericType"},{"id":169,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getRule","lowerBound":0,"id":170,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getNode","lowerBound":0,"id":171,"many":false,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getNodes","lowerBound":0,"id":172,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getEdges","lowerBound":0,"id":173,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getNestedConditions","lowerBound":0,"id":174,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getPAC","lowerBound":0,"id":175,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getNAC","lowerBound":0,"id":176,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getPACs","lowerBound":0,"id":177,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getNACs","lowerBound":0,"id":178,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isLhs","lowerBound":0,"id":179,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isRhs","lowerBound":0,"id":180,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isNestedCondition","lowerBound":0,"id":181,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"createPAC","lowerBound":0,"id":182,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"createNAC","lowerBound":0,"id":183,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeNode","lowerBound":0,"id":184,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeEdge","lowerBound":0,"id":185,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"removeNestedCondition","lowerBound":0,"id":186,"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":187,"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":188,"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":189,"derived":false},{"id":190,"eClass":"EGenericType"},{"id":191,"eClass":"EGenericType"},{"id":192,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":193,"many":false,"required":false,"eClass":"EParameter"},{"id":194,"eClass":"EGenericType"},{"id":195,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"nodeType","lowerBound":1,"id":196,"many":false,"required":true,"eClass":"EParameter"},{"id":197,"eClass":"EGenericType"},{"id":198,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"edgeType","lowerBound":1,"id":199,"many":false,"required":true,"eClass":"EParameter"},{"id":200,"eClass":"EGenericType"},{"id":201,"eClass":"EGenericType"},{"id":202,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":203,"many":false,"required":false,"eClass":"EParameter"},{"id":204,"eClass":"EGenericType"},{"id":205,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":206,"many":false,"required":false,"eClass":"EParameter"},{"id":207,"eClass":"EGenericType"},{"id":208,"eClass":"EGenericType"},{"id":209,"eClass":"EGenericType"},{"id":210,"eClass":"EGenericType"},{"id":211,"eClass":"EGenericType"},{"id":212,"eClass":"EGenericType"},{"id":213,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":214,"many":false,"required":false,"eClass":"EParameter"},{"id":215,"eClass":"EGenericType"},{"id":216,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"name","lowerBound":0,"id":217,"many":false,"required":false,"eClass":"EParameter"},{"id":218,"eClass":"EGenericType"},{"id":219,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"node","lowerBound":0,"id":220,"many":false,"required":false,"eClass":"EParameter"},{"id":221,"eClass":"EGenericType"},{"id":222,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"edge","lowerBound":1,"id":223,"many":false,"required":true,"eClass":"EParameter"},{"id":224,"eClass":"EGenericType"},{"id":225,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"nestedCondition","lowerBound":0,"id":226,"many":false,"required":false,"eClass":"EParameter"},{"id":227,"eClass":"EGenericType"},{"id":228,"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":"graph","changeable":true,"resolveProxies":true,"lowerBound":0,"id":229,"derived":false},{"id":230,"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":"graph","changeable":true,"resolveProxies":true,"lowerBound":0,"id":231,"derived":false},{"id":232,"eClass":"EGenericType"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getAllEdges","lowerBound":0,"id":233,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getOutgoing","lowerBound":0,"id":234,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"getIncoming","lowerBound":0,"id":235,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getOutgoing","lowerBound":0,"id":236,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getIncoming","lowerBound":0,"id":237,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getAttribute","lowerBound":0,"id":238,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":-1,"unique":true,"name":"getActionAttributes","lowerBound":0,"id":239,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"getActionNode","lowerBound":0,"id":240,"many":false,"required":false,"eClass":"EOperation"},{"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":241,"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":242,"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":243,"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":244,"derived":false},{"id":245,"eClass":"EGenericType"},{"id":246,"eClass":"EGenericType"},{"id":247,"eClass":"EGenericType"},{"id":248,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":249,"many":false,"required":true,"eClass":"EParameter"},{"id":250,"eClass":"EGenericType"},{"id":251,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":252,"many":false,"required":true,"eClass":"EParameter"},{"id":253,"eClass":"EGenericType"},{"id":254,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":255,"many":false,"required":true,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"target","lowerBound":1,"id":256,"many":false,"required":true,"eClass":"EParameter"},{"id":257,"eClass":"EGenericType"},{"id":258,"eClass":"EGenericType"},{"id":259,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":1,"id":260,"many":false,"required":true,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"source","lowerBound":1,"id":261,"many":false,"required":true,"eClass":"EParameter"},{"id":262,"eClass":"EGenericType"},{"id":263,"eClass":"EGenericType"},{"id":264,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"type","lowerBound":0,"id":265,"many":false,"required":false,"eClass":"EParameter"},{"id":266,"eClass":"EGenericType"},{"id":267,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"action","lowerBound":0,"id":268,"many":false,"required":false,"eClass":"EParameter"},{"id":269,"eClass":"EGenericType"},{"id":270,"eClass":"EGenericType"},{"id":271,"eClass":"EGenericType"},{"id":272,"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":"node","changeable":true,"resolveProxies":true,"lowerBound":0,"id":273,"derived":false},{"id":274,"eClass":"EGenericType"},{"id":275,"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":276,"derived":false},{"id":277,"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":278,"derived":false},{"ordered":true,"upperBound":1,"unique":true,"name":"getActionEdge","lowerBound":0,"id":279,"many":false,"required":false,"eClass":"EOperation"},{"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":280,"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":"index","changeable":true,"lowerBound":0,"iD":false,"id":281,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":true,"unique":true,"name":"indexConstant","changeable":false,"lowerBound":0,"iD":false,"id":282,"derived":true},{"id":283,"eClass":"EGenericType"},{"id":284,"eClass":"EGenericType"},{"id":285,"eClass":"EGenericType"},{"id":286,"eClass":"EGenericType"},{"id":287,"eClass":"EGenericType"},{"id":288,"eClass":"EGenericType"},{"id":289,"eClass":"EGenericType"},{"id":290,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getActionAttribute","lowerBound":0,"id":291,"many":false,"required":false,"eClass":"EOperation"},{"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":292,"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":293,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":"","volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"ACED0005740000","unsettable":false,"transient":true,"unique":true,"name":"constant","changeable":false,"lowerBound":0,"iD":false,"id":294,"derived":true},{"ordered":true,"upperBound":1,"defaultValue":false,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":"false","unsettable":false,"transient":true,"unique":true,"name":"null","changeable":false,"lowerBound":0,"iD":false,"id":295,"derived":true},{"id":296,"eClass":"EGenericType"},{"id":297,"eClass":"EGenericType"},{"id":298,"eClass":"EGenericType"},{"id":299,"eClass":"EGenericType"},{"id":300,"eClass":"EGenericType"},{"id":301,"eClass":"EGenericType"},{"id":302,"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":303,"derived":false},{"id":304,"eClass":"EGenericType"},{"id":305,"eClass":"EGenericType"},{"id":306,"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":307,"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":308,"derived":false},{"id":309,"eClass":"EGenericType"},{"id":310,"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":311,"derived":false},{"id":312,"eClass":"EGenericType"},{"id":313,"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":314,"derived":false},{"id":315,"eClass":"EGenericType"},{"id":316,"eClass":"EGenericType"},{"id":317,"eClass":"EGenericType"},{"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":318,"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":319,"derived":false},{"id":320,"eClass":"EGenericType"},{"id":321,"eClass":"EGenericType"},{"id":322,"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":323,"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":324,"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":325,"derived":false},{"id":326,"eClass":"EGenericType"},{"id":327,"eClass":"EGenericType"},{"id":328,"eClass":"EGenericType"},{"id":329,"eClass":"EGenericType"},{"id":330,"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":"iterations","changeable":true,"lowerBound":0,"iD":false,"id":331,"derived":false},{"id":332,"eClass":"EGenericType"},{"id":333,"eClass":"EGenericType"},{"id":334,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"isTrue","lowerBound":0,"id":335,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isFalse","lowerBound":0,"id":336,"many":false,"required":false,"eClass":"EOperation"},{"id":337,"eClass":"EGenericType"},{"id":338,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"getHost","lowerBound":0,"id":339,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isPAC","lowerBound":0,"id":340,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isNAC","lowerBound":0,"id":341,"many":false,"required":false,"eClass":"EOperation"},{"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":"conclusion","changeable":true,"resolveProxies":true,"lowerBound":0,"id":342,"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":343,"derived":false},{"id":344,"eClass":"EGenericType"},{"id":345,"eClass":"EGenericType"},{"id":346,"eClass":"EGenericType"},{"id":347,"eClass":"EGenericType"},{"id":348,"eClass":"EGenericType"},{"id":349,"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":350,"derived":false},{"id":351,"eClass":"EGenericType"},{"id":352,"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":353,"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":354,"derived":false},{"id":355,"eClass":"EGenericType"},{"id":356,"eClass":"EGenericType"},{"id":357,"eClass":"EGenericType"},{"id":358,"eClass":"EGenericType"},{"id":359,"eClass":"EGenericType"},{"id":360,"eClass":"EGenericType"},{"id":361,"eClass":"EGenericType"}],"links":[{"source":0,"target":1},{"source":0,"target":2},{"source":0,"target":3},{"source":0,"target":4},{"source":0,"target":5},{"source":0,"target":6},{"source":0,"target":7},{"source":0,"target":8},{"source":0,"target":9},{"source":0,"target":10},{"source":0,"target":11},{"source":0,"target":12},{"source":0,"target":13},{"source":0,"target":14},{"source":0,"target":15},{"source":0,"target":16},{"source":0,"target":17},{"source":0,"target":18},{"source":0,"target":19},{"source":0,"target":20},{"source":0,"target":21},{"source":0,"target":22},{"source":0,"target":23},{"source":0,"target":24},{"source":0,"target":25},{"source":0,"target":26},{"source":0,"target":27},{"source":0,"target":28},{"source":0,"target":29},{"source":0,"target":30},{"source":1,"target":0},{"source":1,"target":31},{"source":1,"target":32},{"source":31,"target":33},{"source":31,"target":1},{"source":32,"target":34},{"source":32,"target":1},{"source":2,"target":0},{"source":2,"target":35},{"source":2,"target":36},{"source":35,"target":8},{"source":35,"target":37},{"source":35,"target":2},{"source":37,"target":8},{"source":36,"target":30},{"source":36,"target":38},{"source":36,"target":2},{"source":38,"target":30},{"source":3,"target":0},{"source":3,"target":1},{"source":3,"target":39},{"source":3,"target":40},{"source":3,"target":41},{"source":3,"target":42},{"source":3,"target":43},{"source":3,"target":44},{"source":3,"target":45},{"source":3,"target":46},{"source":39,"target":4},{"source":39,"target":47},{"source":39,"target":3},{"source":39,"target":48},{"source":47,"target":4},{"source":48,"target":49},{"source":48,"target":39},{"source":40,"target":3},{"source":40,"target":50},{"source":40,"target":3},{"source":40,"target":51},{"source":50,"target":3},{"source":51,"target":52},{"source":51,"target":40},{"source":41,"target":3},{"source":41,"target":53},{"source":41,"target":3},{"source":41,"target":42},{"source":53,"target":3},{"source":42,"target":3},{"source":42,"target":54},{"source":42,"target":3},{"source":42,"target":41},{"source":54,"target":3},{"source":43,"target":55},{"source":43,"target":3},{"source":44,"target":4},{"source":44,"target":56},{"source":44,"target":3},{"source":56,"target":4},{"source":45,"target":8},{"source":45,"target":57},{"source":45,"target":3},{"source":57,"target":8},{"source":46,"target":1},{"source":4,"target":0},{"source":4,"target":1},{"source":4,"target":58},{"source":4,"target":59},{"source":4,"target":60},{"source":4,"target":61},{"source":4,"target":62},{"source":4,"target":63},{"source":4,"target":64},{"source":58,"target":3},{"source":58,"target":65},{"source":58,"target":4},{"source":65,"target":3},{"source":59,"target":4},{"source":59,"target":66},{"source":59,"target":4},{"source":59,"target":67},{"source":66,"target":4},{"source":67,"target":68},{"source":67,"target":59},{"source":60,"target":6},{"source":60,"target":69},{"source":60,"target":4},{"source":60,"target":70},{"source":69,"target":6},{"source":70,"target":71},{"source":70,"target":60},{"source":61,"target":6},{"source":61,"target":72},{"source":61,"target":4},{"source":61,"target":73},{"source":72,"target":6},{"source":62,"target":7},{"source":62,"target":74},{"source":62,"target":4},{"source":74,"target":7},{"source":63,"target":75},{"source":63,"target":4},{"source":64,"target":1},{"source":5,"target":0},{"source":5,"target":4},{"source":5,"target":76},{"source":5,"target":77},{"source":5,"target":78},{"source":5,"target":79},{"source":5,"target":80},{"source":5,"target":81},{"source":5,"target":82},{"source":5,"target":83},{"source":5,"target":84},{"source":5,"target":85},{"source":5,"target":86},{"source":5,"target":87},{"source":5,"target":88},{"source":5,"target":89},{"source":5,"target":90},{"source":5,"target":91},{"source":5,"target":92},{"source":5,"target":93},{"source":5,"target":94},{"source":5,"target":95},{"source":5,"target":96},{"source":5,"target":97},{"source":5,"target":98},{"source":5,"target":99},{"source":5,"target":100},{"source":5,"target":101},{"source":76,"target":5},{"source":76,"target":102},{"source":76,"target":5},{"source":102,"target":5},{"source":77,"target":5},{"source":77,"target":103},{"source":77,"target":5},{"source":103,"target":5},{"source":78,"target":5},{"source":78,"target":104},{"source":78,"target":5},{"source":78,"target":105},{"source":104,"target":5},{"source":105,"target":106},{"source":105,"target":78},{"source":79,"target":5},{"source":79,"target":107},{"source":79,"target":5},{"source":79,"target":108},{"source":107,"target":5},{"source":108,"target":5},{"source":108,"target":109},{"source":108,"target":79},{"source":109,"target":5},{"source":80,"target":5},{"source":80,"target":110},{"source":80,"target":5},{"source":110,"target":5},{"source":81,"target":13},{"source":81,"target":111},{"source":81,"target":5},{"source":111,"target":13},{"source":82,"target":9},{"source":82,"target":112},{"source":82,"target":5},{"source":82,"target":113},{"source":112,"target":9},{"source":113,"target":30},{"source":113,"target":114},{"source":113,"target":82},{"source":114,"target":30},{"source":83,"target":10},{"source":83,"target":115},{"source":83,"target":5},{"source":83,"target":116},{"source":115,"target":10},{"source":116,"target":30},{"source":116,"target":117},{"source":116,"target":83},{"source":117,"target":30},{"source":84,"target":9},{"source":84,"target":118},{"source":84,"target":5},{"source":118,"target":9},{"source":85,"target":119},{"source":85,"target":5},{"source":86,"target":9},{"source":86,"target":120},{"source":86,"target":5},{"source":86,"target":121},{"source":120,"target":9},{"source":121,"target":122},{"source":121,"target":86},{"source":87,"target":10},{"source":87,"target":123},{"source":87,"target":5},{"source":87,"target":124},{"source":87,"target":125},{"source":87,"target":126},{"source":123,"target":10},{"source":124,"target":9},{"source":124,"target":127},{"source":124,"target":87},{"source":127,"target":9},{"source":125,"target":9},{"source":125,"target":128},{"source":125,"target":87},{"source":128,"target":9},{"source":126,"target":129},{"source":126,"target":87},{"source":88,"target":130},{"source":88,"target":5},{"source":88,"target":131},{"source":88,"target":132},{"source":88,"target":133},{"source":131,"target":9},{"source":131,"target":134},{"source":131,"target":88},{"source":134,"target":9},{"source":132,"target":9},{"source":132,"target":135},{"source":132,"target":88},{"source":135,"target":9},{"source":133,"target":136},{"source":133,"target":88},{"source":89,"target":137},{"source":89,"target":5},{"source":89,"target":138},{"source":89,"target":139},{"source":138,"target":10},{"source":138,"target":140},{"source":138,"target":89},{"source":140,"target":10},{"source":139,"target":141},{"source":139,"target":89},{"source":90,"target":142},{"source":90,"target":5},{"source":90,"target":143},{"source":90,"target":144},{"source":143,"target":9},{"source":143,"target":145},{"source":143,"target":90},{"source":145,"target":9},{"source":144,"target":146},{"source":144,"target":90},{"source":91,"target":147},{"source":91,"target":5},{"source":91,"target":148},{"source":91,"target":149},{"source":148,"target":11},{"source":148,"target":150},{"source":148,"target":91},{"source":150,"target":11},{"source":149,"target":151},{"source":149,"target":91},{"source":92,"target":8},{"source":92,"target":152},{"source":92,"target":5},{"source":152,"target":8},{"source":93,"target":8},{"source":93,"target":153},{"source":93,"target":5},{"source":153,"target":8},{"source":94,"target":12},{"source":94,"target":154},{"source":94,"target":5},{"source":94,"target":155},{"source":154,"target":12},{"source":95,"target":13},{"source":95,"target":156},{"source":95,"target":5},{"source":156,"target":13},{"source":96,"target":157},{"source":96,"target":5},{"source":97,"target":158},{"source":97,"target":5},{"source":98,"target":5},{"source":98,"target":159},{"source":98,"target":5},{"source":159,"target":5},{"source":99,"target":13},{"source":99,"target":160},{"source":99,"target":5},{"source":160,"target":13},{"source":100,"target":161},{"source":100,"target":5},{"source":101,"target":4},{"source":6,"target":0},{"source":6,"target":1},{"source":6,"target":73},{"source":6,"target":162},{"source":6,"target":163},{"source":73,"target":4},{"source":73,"target":164},{"source":73,"target":6},{"source":73,"target":61},{"source":164,"target":4},{"source":162,"target":165},{"source":162,"target":6},{"source":163,"target":1},{"source":7,"target":0},{"source":7,"target":166},{"source":7,"target":167},{"source":166,"target":6},{"source":166,"target":168},{"source":166,"target":7},{"source":168,"target":6},{"source":167,"target":6},{"source":167,"target":169},{"source":167,"target":7},{"source":169,"target":6},{"source":8,"target":0},{"source":8,"target":1},{"source":8,"target":170},{"source":8,"target":171},{"source":8,"target":172},{"source":8,"target":173},{"source":8,"target":174},{"source":8,"target":175},{"source":8,"target":176},{"source":8,"target":177},{"source":8,"target":178},{"source":8,"target":179},{"source":8,"target":180},{"source":8,"target":181},{"source":8,"target":182},{"source":8,"target":183},{"source":8,"target":184},{"source":8,"target":185},{"source":8,"target":186},{"source":8,"target":187},{"source":8,"target":188},{"source":8,"target":189},{"source":8,"target":190},{"source":170,"target":5},{"source":170,"target":191},{"source":170,"target":8},{"source":191,"target":5},{"source":171,"target":9},{"source":171,"target":192},{"source":171,"target":8},{"source":171,"target":193},{"source":192,"target":9},{"source":193,"target":194},{"source":193,"target":171},{"source":172,"target":9},{"source":172,"target":195},{"source":172,"target":8},{"source":172,"target":196},{"source":195,"target":9},{"source":196,"target":197},{"source":196,"target":172},{"source":173,"target":10},{"source":173,"target":198},{"source":173,"target":8},{"source":173,"target":199},{"source":198,"target":10},{"source":199,"target":200},{"source":199,"target":173},{"source":174,"target":23},{"source":174,"target":201},{"source":174,"target":8},{"source":201,"target":23},{"source":175,"target":23},{"source":175,"target":202},{"source":175,"target":8},{"source":175,"target":203},{"source":202,"target":23},{"source":203,"target":204},{"source":203,"target":175},{"source":176,"target":23},{"source":176,"target":205},{"source":176,"target":8},{"source":176,"target":206},{"source":205,"target":23},{"source":206,"target":207},{"source":206,"target":176},{"source":177,"target":23},{"source":177,"target":208},{"source":177,"target":8},{"source":208,"target":23},{"source":178,"target":23},{"source":178,"target":209},{"source":178,"target":8},{"source":209,"target":23},{"source":179,"target":210},{"source":179,"target":8},{"source":180,"target":211},{"source":180,"target":8},{"source":181,"target":212},{"source":181,"target":8},{"source":182,"target":23},{"source":182,"target":213},{"source":182,"target":8},{"source":182,"target":214},{"source":213,"target":23},{"source":214,"target":215},{"source":214,"target":182},{"source":183,"target":23},{"source":183,"target":216},{"source":183,"target":8},{"source":183,"target":217},{"source":216,"target":23},{"source":217,"target":218},{"source":217,"target":183},{"source":184,"target":219},{"source":184,"target":8},{"source":184,"target":220},{"source":220,"target":9},{"source":220,"target":221},{"source":220,"target":184},{"source":221,"target":9},{"source":185,"target":222},{"source":185,"target":8},{"source":185,"target":223},{"source":223,"target":10},{"source":223,"target":224},{"source":223,"target":185},{"source":224,"target":10},{"source":186,"target":225},{"source":186,"target":8},{"source":186,"target":226},{"source":226,"target":23},{"source":226,"target":227},{"source":226,"target":186},{"source":227,"target":23},{"source":187,"target":9},{"source":187,"target":228},{"source":187,"target":8},{"source":187,"target":229},{"source":228,"target":9},{"source":188,"target":10},{"source":188,"target":230},{"source":188,"target":8},{"source":188,"target":231},{"source":230,"target":10},{"source":189,"target":22},{"source":189,"target":232},{"source":189,"target":8},{"source":232,"target":22},{"source":190,"target":1},{"source":9,"target":0},{"source":9,"target":1},{"source":9,"target":2},{"source":9,"target":233},{"source":9,"target":234},{"source":9,"target":235},{"source":9,"target":236},{"source":9,"target":237},{"source":9,"target":238},{"source":9,"target":239},{"source":9,"target":240},{"source":9,"target":241},{"source":9,"target":242},{"source":9,"target":229},{"source":9,"target":243},{"source":9,"target":244},{"source":9,"target":245},{"source":9,"target":246},{"source":233,"target":10},{"source":233,"target":247},{"source":233,"target":9},{"source":247,"target":10},{"source":234,"target":10},{"source":234,"target":248},{"source":234,"target":9},{"source":234,"target":249},{"source":248,"target":10},{"source":249,"target":250},{"source":249,"target":234},{"source":235,"target":10},{"source":235,"target":251},{"source":235,"target":9},{"source":235,"target":252},{"source":251,"target":10},{"source":252,"target":253},{"source":252,"target":235},{"source":236,"target":10},{"source":236,"target":254},{"source":236,"target":9},{"source":236,"target":255},{"source":236,"target":256},{"source":254,"target":10},{"source":255,"target":257},{"source":255,"target":236},{"source":256,"target":9},{"source":256,"target":258},{"source":256,"target":236},{"source":258,"target":9},{"source":237,"target":10},{"source":237,"target":259},{"source":237,"target":9},{"source":237,"target":260},{"source":237,"target":261},{"source":259,"target":10},{"source":260,"target":262},{"source":260,"target":237},{"source":261,"target":9},{"source":261,"target":263},{"source":261,"target":237},{"source":263,"target":9},{"source":238,"target":11},{"source":238,"target":264},{"source":238,"target":9},{"source":238,"target":265},{"source":264,"target":11},{"source":265,"target":266},{"source":265,"target":238},{"source":239,"target":11},{"source":239,"target":267},{"source":239,"target":9},{"source":239,"target":268},{"source":267,"target":11},{"source":268,"target":30},{"source":268,"target":269},{"source":268,"target":239},{"source":269,"target":30},{"source":240,"target":9},{"source":240,"target":270},{"source":240,"target":9},{"source":270,"target":9},{"source":241,"target":271},{"source":241,"target":9},{"source":242,"target":11},{"source":242,"target":272},{"source":242,"target":9},{"source":242,"target":273},{"source":272,"target":11},{"source":229,"target":8},{"source":229,"target":274},{"source":229,"target":9},{"source":229,"target":187},{"source":274,"target":8},{"source":243,"target":10},{"source":243,"target":275},{"source":243,"target":9},{"source":243,"target":276},{"source":275,"target":10},{"source":244,"target":10},{"source":244,"target":277},{"source":244,"target":9},{"source":244,"target":278},{"source":277,"target":10},{"source":245,"target":1},{"source":246,"target":2},{"source":10,"target":0},{"source":10,"target":2},{"source":10,"target":279},{"source":10,"target":278},{"source":10,"target":276},{"source":10,"target":280},{"source":10,"target":231},{"source":10,"target":281},{"source":10,"target":282},{"source":10,"target":283},{"source":279,"target":10},{"source":279,"target":284},{"source":279,"target":10},{"source":284,"target":10},{"source":278,"target":9},{"source":278,"target":285},{"source":278,"target":10},{"source":278,"target":244},{"source":285,"target":9},{"source":276,"target":9},{"source":276,"target":286},{"source":276,"target":10},{"source":276,"target":243},{"source":286,"target":9},{"source":280,"target":287},{"source":280,"target":10},{"source":231,"target":8},{"source":231,"target":288},{"source":231,"target":10},{"source":231,"target":188},{"source":288,"target":8},{"source":281,"target":289},{"source":281,"target":10},{"source":282,"target":290},{"source":282,"target":10},{"source":283,"target":2},{"source":11,"target":0},{"source":11,"target":2},{"source":11,"target":291},{"source":11,"target":292},{"source":11,"target":293},{"source":11,"target":273},{"source":11,"target":294},{"source":11,"target":295},{"source":11,"target":296},{"source":291,"target":11},{"source":291,"target":297},{"source":291,"target":11},{"source":297,"target":11},{"source":292,"target":298},{"source":292,"target":11},{"source":293,"target":299},{"source":293,"target":11},{"source":273,"target":9},{"source":273,"target":300},{"source":273,"target":11},{"source":273,"target":242},{"source":300,"target":9},{"source":294,"target":301},{"source":294,"target":11},{"source":295,"target":302},{"source":295,"target":11},{"source":296,"target":2},{"source":12,"target":0},{"source":12,"target":1},{"source":12,"target":155},{"source":12,"target":303},{"source":12,"target":304},{"source":155,"target":5},{"source":155,"target":305},{"source":155,"target":12},{"source":155,"target":94},{"source":305,"target":5},{"source":303,"target":306},{"source":303,"target":12},{"source":304,"target":1},{"source":13,"target":0},{"source":13,"target":307},{"source":13,"target":308},{"source":307,"target":9},{"source":307,"target":309},{"source":307,"target":13},{"source":309,"target":9},{"source":308,"target":9},{"source":308,"target":310},{"source":308,"target":13},{"source":310,"target":9},{"source":14,"target":0},{"source":14,"target":4},{"source":14,"target":311},{"source":14,"target":312},{"source":311,"target":4},{"source":311,"target":313},{"source":311,"target":14},{"source":313,"target":4},{"source":312,"target":4},{"source":15,"target":0},{"source":15,"target":4},{"source":15,"target":314},{"source":15,"target":315},{"source":314,"target":4},{"source":314,"target":316},{"source":314,"target":15},{"source":316,"target":4},{"source":315,"target":4},{"source":16,"target":0},{"source":16,"target":15},{"source":16,"target":317},{"source":317,"target":15},{"source":17,"target":0},{"source":17,"target":15},{"source":17,"target":318},{"source":17,"target":319},{"source":17,"target":320},{"source":318,"target":321},{"source":318,"target":17},{"source":319,"target":322},{"source":319,"target":17},{"source":320,"target":15},{"source":18,"target":0},{"source":18,"target":4},{"source":18,"target":323},{"source":18,"target":324},{"source":18,"target":325},{"source":18,"target":326},{"source":323,"target":4},{"source":323,"target":327},{"source":323,"target":18},{"source":327,"target":4},{"source":324,"target":4},{"source":324,"target":328},{"source":324,"target":18},{"source":328,"target":4},{"source":325,"target":4},{"source":325,"target":329},{"source":325,"target":18},{"source":329,"target":4},{"source":326,"target":4},{"source":19,"target":0},{"source":19,"target":15},{"source":19,"target":330},{"source":330,"target":15},{"source":20,"target":0},{"source":20,"target":14},{"source":20,"target":331},{"source":20,"target":332},{"source":331,"target":333},{"source":331,"target":20},{"source":332,"target":14},{"source":21,"target":0},{"source":21,"target":14},{"source":21,"target":334},{"source":334,"target":14},{"source":22,"target":0},{"source":22,"target":335},{"source":22,"target":336},{"source":335,"target":337},{"source":335,"target":22},{"source":336,"target":338},{"source":336,"target":22},{"source":23,"target":0},{"source":23,"target":22},{"source":23,"target":339},{"source":23,"target":340},{"source":23,"target":341},{"source":23,"target":342},{"source":23,"target":343},{"source":23,"target":344},{"source":339,"target":8},{"source":339,"target":345},{"source":339,"target":23},{"source":345,"target":8},{"source":340,"target":346},{"source":340,"target":23},{"source":341,"target":347},{"source":341,"target":23},{"source":342,"target":8},{"source":342,"target":348},{"source":342,"target":23},{"source":348,"target":8},{"source":343,"target":13},{"source":343,"target":349},{"source":343,"target":23},{"source":349,"target":13},{"source":344,"target":22},{"source":24,"target":0},{"source":24,"target":22},{"source":24,"target":350},{"source":24,"target":351},{"source":350,"target":22},{"source":350,"target":352},{"source":350,"target":24},{"source":352,"target":22},{"source":351,"target":22},{"source":25,"target":0},{"source":25,"target":22},{"source":25,"target":353},{"source":25,"target":354},{"source":25,"target":355},{"source":353,"target":22},{"source":353,"target":356},{"source":353,"target":25},{"source":356,"target":22},{"source":354,"target":22},{"source":354,"target":357},{"source":354,"target":25},{"source":357,"target":22},{"source":355,"target":22},{"source":26,"target":0},{"source":26,"target":25},{"source":26,"target":358},{"source":358,"target":25},{"source":27,"target":0},{"source":27,"target":25},{"source":27,"target":359},{"source":359,"target":25},{"source":28,"target":0},{"source":28,"target":25},{"source":28,"target":360},{"source":360,"target":25},{"source":29,"target":0},{"source":29,"target":24},{"source":29,"target":361},{"source":361,"target":24},{"source":30,"target":0}],"multigraph":true}