graphgrammar
Grammar
derives
prev
next
vertex
rhs
name
alphabet
terminals
nonterminals
rules
initial
Rule
embed
graph
vertex
edges
unifier
pacs
apply
graph
vertex
pacs
derive
graph
vertex
id
name
lhs
rhs
embedding
pac
SymbolSymbolsPair
edgeLabel
vertexLabels
VertexToSymbolSymbolsPairMap
java.util.Map$Entry
java.util.Map$Entry
key
value
Symbol
equivalates
other
compareTo
other
name
subscript
superscript
DerivationStep
rule
vertex
previous
next
unifier
Derivation
steps
ParsingTree
derivation
zoneVertex
derivationStep
children
ResolutionStep
pac
Resolution
referenceIds
steps
Graph
neighborhood
vertices
neighborhood
vertex
isomorphicTo
other
isomorphism
other
inEdges
vertex
outEdges
vertex
edges
vertex
vertices
edges
Vertex
equivalates
other
id
label
ZoneVertex
equivalates
other
vertices
pac
Edge
compareTo
other
from
to
label
TripleGrammar
produce
tripleGraph
derivationStep
forward
resolution
resolve
tripleGraph
resolution
resolutionStep
forward
name
alphabet
terminals
nonterminals
tripleRules
initial
TripleRule
invMs
sourceVertex
invMt
targetVertex
source
corr
target
ms
mt
TripleGraph
invMs
sourceVertex
invMt
targetVertex
source
corr
target
ms
mt
VertexToVertexMap
java.util.Map$Entry
java.util.Map$Entry
key
value
VertexToStringMap
java.util.Map$Entry
java.util.Map$Entry
key
value
StringToVertexMap
java.util.Map$Entry
java.util.Map$Entry
key
value
<?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="graphgrammar" nsURI="org.wbsilva.bence.graphgrammar" nsPrefix="org.wbsilva.bence.graphgrammar">
  <eClassifiers xsi:type="ecore:EClass" name="Grammar">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="An eNCE graph grammar"/>
    </eAnnotations>
    <eOperations name="derives" eType="#//DerivationStep">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return a derivation step for the current graph prev, &#xA;when applied a rule with right hand side rhs and left hand side vertex,&#xA;resulting in the next graph next, if such derivation is possible,&#xA;Otherwise return null."/>
      </eAnnotations>
      <eParameters name="prev" eType="#//Graph"/>
      <eParameters name="next" eType="#//Graph"/>
      <eParameters name="vertex" eType="#//Vertex"/>
      <eParameters name="rhs" eType="#//Graph"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="alphabet" ordered="false"
        upperBound="-1" eType="#//Symbol" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="terminals" ordered="false"
        upperBound="-1" eType="#//Symbol"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="nonterminals" ordered="false"
        upperBound="-1" eType="#//Symbol"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rules" ordered="false"
        upperBound="-1" eType="#//Rule" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="initial" eType="#//Symbol"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Rule">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="Rule of a graph grammar"/>
    </eAnnotations>
    <eOperations name="embed" ordered="false" upperBound="-1" eType="#//Edge">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Given the graph and a list of edges (possibly not belonging to it),&#xA;and a vertex (possibly not belonging to it), return a list of edges&#xA;that should be added to it for the embedding of the application of this rule&#xA;on the vertex.&#xA;This method can be used after adding the RHS of this rule to the graph to&#xA;connect it with the rest of the graph. The unifier maps between the rule's &#xA;and the graph's vertices."/>
      </eAnnotations>
      <eParameters name="graph" eType="#//Graph"/>
      <eParameters name="vertex" eType="#//Vertex"/>
      <eParameters name="edges" ordered="false" upperBound="-1" eType="#//Edge"/>
      <eParameters name="unifier" upperBound="-1" eType="#//VertexToVertexMap"/>
      <eParameters name="pacs" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="apply" ordered="false" upperBound="-1" eType="#//VertexToVertexMap">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Apply this rule to the graph, substituting vertex by the RHS of this rule and&#xA;embedding it to the rest of the graph. The flag pacs signalizez whether to &#xA;include the pacs vertices in the resulting graph or not."/>
      </eAnnotations>
      <eParameters name="graph" eType="#//Graph"/>
      <eParameters name="vertex" eType="#//Vertex"/>
      <eParameters name="pacs" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eOperations name="derive" ordered="false" upperBound="-1" eType="#//VertexToVertexMap">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Apply this rule to the graph, substituting vertex by the RHS of this rule and&#xA;embedding it to the rest of the graph including PACs in the resulting graph"/>
      </eAnnotations>
      <eParameters name="graph" eType="#//Graph"/>
      <eParameters name="vertex" eType="#//Vertex"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        iD="true"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="lhs" eType="#//Symbol"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rhs" eType="#//Graph" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="embedding" upperBound="-1"
        eType="#//VertexToSymbolSymbolsPairMap" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="pac" ordered="false" upperBound="-1"
        eType="#//Vertex"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="SymbolSymbolsPair">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documenation" value="A pair of an edge label and a vertex labels"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="edgeLabel" eType="#//Symbol"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="vertexLabels" ordered="false"
        upperBound="-1" eType="#//Symbol" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VertexToSymbolSymbolsPairMap" instanceClassName="java.util.Map$Entry">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="An entry to map between a vertex and a pair (Symbol, Symbols), used in the embedding rules"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="key" eType="#//Vertex"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" ordered="false"
        upperBound="-1" eType="#//SymbolSymbolsPair" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Symbol">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="Symbol of a grammar"/>
    </eAnnotations>
    <eOperations name="equivalates" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return true iff this symbol is equivalent to the other"/>
      </eAnnotations>
      <eParameters name="other" eType="#//Symbol"/>
    </eOperations>
    <eOperations name="compareTo" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Compare this symbol to other, creating a total order.&#xA;If this &lt; other then return -1&#xA;if this > other then return 1&#xA;else return 0"/>
      </eAnnotations>
      <eParameters name="other" eType="#//Symbol"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="subscript" unique="false"
        upperBound="-1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="superscript" unique="false"
        upperBound="-1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="DerivationStep">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="Derivation step of the application of a rule on a vertex of the graph previous, &#xA;resulting in the graph next. The unifier propery maps the vertex of the &#xA;applied rule to the vertices of the next graph."/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="rule" eType="#//Rule" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="vertex" eType="#//Vertex"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="previous" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="next" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="unifier" ordered="false"
        upperBound="-1" eType="#//VertexToVertexMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Derivation">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="Derivation as a list of derivation steps"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="steps" upperBound="-1"
        eType="#//DerivationStep" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ParsingTree">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="The parsing tree of a graph parsed by a graph grammar"/>
    </eAnnotations>
    <eOperations name="derivation" eType="#//Derivation">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return a derivation corresponding to this parsing tree"/>
      </eAnnotations>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="zoneVertex" eType="#//ZoneVertex"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="derivationStep" eType="#//DerivationStep"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="children" ordered="false"
        upperBound="-1" eType="#//ParsingTree" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ResolutionStep">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="Resolution step for the pac vertices in the mapping pac. This map takes&#xA;from a pac vertex to a reference id, that can be resolved by another mapping&#xA;in the complete resolution."/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="pac" ordered="false" upperBound="-1"
        eType="#//VertexToStringMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Resolution">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="A complete resolution composed of a sequence of steps and a mapping&#xA;from reference ids to actual vertices that are to be used as substitutions&#xA;for the pac vertices of each resolution step."/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="referenceIds" ordered="false"
        upperBound="-1" eType="#//StringToVertexMap" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="steps" upperBound="-1"
        eType="#//ResolutionStep" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Graph">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="A directed edge and node labeled graph"/>
    </eAnnotations>
    <eOperations name="neighborhood" ordered="false" upperBound="-1" eType="#//Vertex">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return the set of vertices that are neighbors of any vertex from the set &#xA;vertices, except for vertices that are already in vertices"/>
      </eAnnotations>
      <eParameters name="vertices" ordered="false" upperBound="-1" eType="#//Vertex"/>
    </eOperations>
    <eOperations name="neighborhood" ordered="false" upperBound="-1" eType="#//Vertex">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return the set of vertices that are neighbors of the vertex"/>
      </eAnnotations>
      <eParameters name="vertex" eType="#//Vertex"/>
    </eOperations>
    <eOperations name="isomorphicTo" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return true iff this graph is isomorphic to other"/>
      </eAnnotations>
      <eParameters name="other" eType="#//Graph"/>
    </eOperations>
    <eOperations name="isomorphism" ordered="false" upperBound="-1" eType="#//VertexToVertexMap">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return an isomorphism between this and other iff this graph is isomorphic to other"/>
      </eAnnotations>
      <eParameters name="other" eType="#//Graph"/>
    </eOperations>
    <eOperations name="inEdges" ordered="false" upperBound="-1" eType="#//Edge">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The incoming edges of vertex"/>
      </eAnnotations>
      <eParameters name="vertex" eType="#//Vertex"/>
    </eOperations>
    <eOperations name="outEdges" ordered="false" upperBound="-1" eType="#//Edge">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The outgoing edges of vertex"/>
      </eAnnotations>
      <eParameters name="vertex" eType="#//Vertex"/>
    </eOperations>
    <eOperations name="edges" ordered="false" upperBound="-1" eType="#//Edge">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The adjacent edges of vertex"/>
      </eAnnotations>
      <eParameters name="vertex" eType="#//Vertex"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" ordered="false"
        upperBound="-1" eType="#//Vertex" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="edges" ordered="false"
        upperBound="-1" eType="#//Edge" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Vertex">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="A labeled vertex of a graph"/>
    </eAnnotations>
    <eOperations name="equivalates" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return true iff this vertex is equivalent to other"/>
      </eAnnotations>
      <eParameters name="other" eType="#//Vertex"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="id" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
        iD="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="label" eType="#//Symbol"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="ZoneVertex" eSuperTypes="#//Vertex">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="Zone vertex of a zone graph, containing zero or more vetices"/>
    </eAnnotations>
    <eOperations name="equivalates" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Return true iff this zone vertex is equivalent to other"/>
      </eAnnotations>
      <eParameters name="other" eType="#//ZoneVertex"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="vertices" upperBound="-1"
        eType="#//Vertex" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="pac" ordered="false" upperBound="-1"
        eType="#//Vertex" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="Edge">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="A labeled edge of a graph"/>
    </eAnnotations>
    <eOperations name="compareTo" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Compare this edge to other, creating a total order.&#xA;If this &lt; other then return -1&#xA;if this > other then return 1&#xA;else return 0"/>
      </eAnnotations>
      <eParameters name="other" eType="#//Edge"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="from" eType="#//Vertex"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="to" eType="#//Vertex"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="label" eType="#//Symbol"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TripleGrammar">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="An eNCE triple graph grammar"/>
    </eAnnotations>
    <eOperations name="produce" eType="#//ResolutionStep">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Produce the target part of the triple graph tripleGraph if forward is true,&#xA;otherwise the source part. Produce moreover, the correspondence part,&#xA;according to the derivation step derivationStep from the parsing process&#xA;of the input graph, if this is compatible with this triple grammar.&#xA;Additionally, return a resolution step for this derivation step and contributes&#xA;to the creation of the resolution sent by parameter."/>
      </eAnnotations>
      <eParameters name="tripleGraph" eType="#//TripleGraph"/>
      <eParameters name="derivationStep" eType="#//DerivationStep"/>
      <eParameters name="forward" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
      <eParameters name="resolution" eType="#//Resolution"/>
    </eOperations>
    <eOperations name="resolve">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="Resolve the occurences of the pac vertices of the resolution step in the&#xA;triple graph adding edges between them and other vertices of the triple &#xA;graph. The flag forward signalizes which part of the triple graph the &#xA;resolution step refers."/>
      </eAnnotations>
      <eParameters name="tripleGraph" eType="#//TripleGraph"/>
      <eParameters name="resolution" eType="#//Resolution"/>
      <eParameters name="resolutionStep" eType="#//ResolutionStep"/>
      <eParameters name="forward" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="alphabet" ordered="false"
        upperBound="-1" eType="#//Symbol" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="terminals" ordered="false"
        upperBound="-1" eType="#//Symbol"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="nonterminals" ordered="false"
        upperBound="-1" eType="#//Symbol"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="tripleRules" ordered="false"
        upperBound="-1" eType="#//TripleRule" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="initial" eType="#//Symbol"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TripleRule">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="A triple rule of a triple graph grammar"/>
    </eAnnotations>
    <eOperations name="invMs" eType="#//Vertex">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The image of inverse function of the morphism ms applied to sourceVertex. &#xA;As ms is bijective, this inverse exists, is unique and also bijective."/>
      </eAnnotations>
      <eParameters name="sourceVertex" eType="#//Vertex"/>
    </eOperations>
    <eOperations name="invMt" eType="#//Vertex">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The image of the inverse function of the morphism mt applied to targetVertex.&#xA;As mt is bijective, this inverse exists, is unique and bijective."/>
      </eAnnotations>
      <eParameters name="targetVertex" eType="#//Vertex"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" eType="#//Rule"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="corr" eType="#//Rule" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Rule"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="ms" ordered="false" upperBound="-1"
        eType="#//VertexToVertexMap" containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="mt" ordered="false" upperBound="-1"
        eType="#//VertexToVertexMap" containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="TripleGraph">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="A triple edge and node labeled graph"/>
    </eAnnotations>
    <eOperations name="invMs" ordered="false" upperBound="-1" eType="#//Vertex">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The image of inverse function of the morphism ms applied to sourceVertex. &#xA;As ms is bijective, this inverse exists, is unique and also bijective."/>
      </eAnnotations>
      <eParameters name="sourceVertex" eType="#//Vertex"/>
    </eOperations>
    <eOperations name="invMt" ordered="false" upperBound="-1" eType="#//Vertex">
      <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
        <details key="documentation" value="The image of the inverse function of the morphism mt applied to targetVertex.&#xA;As mt is bijective, this inverse exists, is unique and bijective."/>
      </eAnnotations>
      <eParameters name="targetVertex" eType="#//Vertex"/>
    </eOperations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="source" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="corr" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="target" eType="#//Graph"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="ms" upperBound="-1" eType="#//VertexToVertexMap"
        containment="true"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="mt" upperBound="-1" eType="#//VertexToVertexMap"
        containment="true"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VertexToVertexMap" instanceClassName="java.util.Map$Entry">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="An entry to map between two vertices. Used in the morphism of the &#xA;triple rules and triple graphs"/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="key" eType="#//Vertex"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Vertex"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="VertexToStringMap" instanceClassName="java.util.Map$Entry">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="An entry to map between a vertex and a string. Used in the resolution steps&#xA;to map between pacs and its reference ids."/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EReference" name="key" eType="#//Vertex"/>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
  </eClassifiers>
  <eClassifiers xsi:type="ecore:EClass" name="StringToVertexMap" instanceClassName="java.util.Map$Entry">
    <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
      <details key="documentation" value="An entry to map between a string and a vertex. Used in the resolution&#xA;to map from a reference id to a vertex."/>
    </eAnnotations>
    <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
    <eStructuralFeatures xsi:type="ecore:EReference" name="value" eType="#//Vertex"/>
  </eClassifiers>
</ecore:EPackage>

{"directed":true,"nodes":[{"nsPrefix":"org.wbsilva.bence.graphgrammar","nsURI":"org.wbsilva.bence.graphgrammar","name":"graphgrammar","id":0,"eClass":"EPackage"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Grammar","instanceClass":null,"abstract":false,"id":1,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Rule","instanceClass":null,"abstract":false,"id":2,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"SymbolSymbolsPair","instanceClass":null,"abstract":false,"id":3,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"VertexToSymbolSymbolsPairMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":4,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Symbol","instanceClass":null,"abstract":false,"id":5,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"DerivationStep","instanceClass":null,"abstract":false,"id":6,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Derivation","instanceClass":null,"abstract":false,"id":7,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ParsingTree","instanceClass":null,"abstract":false,"id":8,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ResolutionStep","instanceClass":null,"abstract":false,"id":9,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Resolution","instanceClass":null,"abstract":false,"id":10,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Graph","instanceClass":null,"abstract":false,"id":11,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Vertex","instanceClass":null,"abstract":false,"id":12,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"ZoneVertex","instanceClass":null,"abstract":false,"id":13,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"Edge","instanceClass":null,"abstract":false,"id":14,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TripleGrammar","instanceClass":null,"abstract":false,"id":15,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TripleRule","instanceClass":null,"abstract":false,"id":16,"interface":false,"eClass":"EClass"},{"instanceTypeName":null,"defaultValue":null,"instanceClassName":null,"name":"TripleGraph","instanceClass":null,"abstract":false,"id":17,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"VertexToVertexMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":18,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"VertexToStringMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":19,"interface":false,"eClass":"EClass"},{"instanceTypeName":"java.util.Map$Entry","defaultValue":null,"instanceClassName":"java.util.Map$Entry","name":"StringToVertexMap","instanceClass":"java.util.Map$Entry","abstract":false,"id":20,"interface":false,"eClass":"EClass"},{"ordered":true,"upperBound":1,"unique":true,"name":"derives","lowerBound":0,"id":21,"many":false,"required":false,"eClass":"EOperation"},{"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":22,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"alphabet","changeable":true,"resolveProxies":true,"lowerBound":0,"id":23,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"terminals","changeable":true,"resolveProxies":true,"lowerBound":0,"id":24,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"nonterminals","changeable":true,"resolveProxies":true,"lowerBound":0,"id":25,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"rules","changeable":true,"resolveProxies":true,"lowerBound":0,"id":26,"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":"initial","changeable":true,"resolveProxies":true,"lowerBound":0,"id":27,"derived":false},{"id":28,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"prev","lowerBound":0,"id":29,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"next","lowerBound":0,"id":30,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":31,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"rhs","lowerBound":0,"id":32,"many":false,"required":false,"eClass":"EParameter"},{"id":33,"eClass":"EGenericType"},{"id":34,"eClass":"EGenericType"},{"id":35,"eClass":"EGenericType"},{"id":36,"eClass":"EGenericType"},{"id":37,"eClass":"EGenericType"},{"id":38,"eClass":"EGenericType"},{"id":39,"eClass":"EGenericType"},{"id":40,"eClass":"EGenericType"},{"id":41,"eClass":"EGenericType"},{"id":42,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"embed","lowerBound":0,"id":43,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"apply","lowerBound":0,"id":44,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"derive","lowerBound":0,"id":45,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"id","changeable":true,"lowerBound":0,"iD":true,"id":46,"derived":false},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"name","changeable":true,"lowerBound":0,"iD":false,"id":47,"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":"lhs","changeable":true,"resolveProxies":true,"lowerBound":0,"id":48,"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":"rhs","changeable":true,"resolveProxies":true,"lowerBound":0,"id":49,"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":"embedding","changeable":true,"resolveProxies":true,"lowerBound":0,"id":50,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"pac","changeable":true,"resolveProxies":true,"lowerBound":0,"id":51,"derived":false},{"id":52,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"graph","lowerBound":0,"id":53,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":54,"many":false,"required":false,"eClass":"EParameter"},{"ordered":false,"upperBound":-1,"unique":true,"name":"edges","lowerBound":0,"id":55,"many":true,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":-1,"unique":true,"name":"unifier","lowerBound":0,"id":56,"many":true,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"pacs","lowerBound":0,"id":57,"many":false,"required":false,"eClass":"EParameter"},{"id":58,"eClass":"EGenericType"},{"id":59,"eClass":"EGenericType"},{"id":60,"eClass":"EGenericType"},{"id":61,"eClass":"EGenericType"},{"id":62,"eClass":"EGenericType"},{"id":63,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"graph","lowerBound":0,"id":64,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":65,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"pacs","lowerBound":0,"id":66,"many":false,"required":false,"eClass":"EParameter"},{"id":67,"eClass":"EGenericType"},{"id":68,"eClass":"EGenericType"},{"id":69,"eClass":"EGenericType"},{"id":70,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"graph","lowerBound":0,"id":71,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":72,"many":false,"required":false,"eClass":"EParameter"},{"id":73,"eClass":"EGenericType"},{"id":74,"eClass":"EGenericType"},{"id":75,"eClass":"EGenericType"},{"id":76,"eClass":"EGenericType"},{"id":77,"eClass":"EGenericType"},{"id":78,"eClass":"EGenericType"},{"id":79,"eClass":"EGenericType"},{"id":80,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"edgeLabel","changeable":true,"resolveProxies":true,"lowerBound":0,"id":81,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"vertexLabels","changeable":true,"resolveProxies":true,"lowerBound":0,"id":82,"derived":false},{"id":83,"eClass":"EGenericType"},{"id":84,"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":"key","changeable":true,"resolveProxies":true,"lowerBound":0,"id":85,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"value","changeable":true,"resolveProxies":true,"lowerBound":0,"id":86,"derived":false},{"id":87,"eClass":"EGenericType"},{"id":88,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"equivalates","lowerBound":0,"id":89,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"compareTo","lowerBound":0,"id":90,"many":false,"required":false,"eClass":"EOperation"},{"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":91,"derived":false},{"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"subscript","changeable":true,"lowerBound":0,"iD":false,"id":92,"derived":false},{"ordered":true,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":false,"name":"superscript","changeable":true,"lowerBound":0,"iD":false,"id":93,"derived":false},{"id":94,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":95,"many":false,"required":false,"eClass":"EParameter"},{"id":96,"eClass":"EGenericType"},{"id":97,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":98,"many":false,"required":false,"eClass":"EParameter"},{"id":99,"eClass":"EGenericType"},{"id":100,"eClass":"EGenericType"},{"id":101,"eClass":"EGenericType"},{"id":102,"eClass":"EGenericType"},{"container":false,"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"rule","changeable":true,"resolveProxies":true,"lowerBound":0,"id":103,"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":"vertex","changeable":true,"resolveProxies":true,"lowerBound":0,"id":104,"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":"previous","changeable":true,"resolveProxies":true,"lowerBound":0,"id":105,"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":"next","changeable":true,"resolveProxies":true,"lowerBound":0,"id":106,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"unifier","changeable":true,"resolveProxies":true,"lowerBound":0,"id":107,"derived":false},{"id":108,"eClass":"EGenericType"},{"id":109,"eClass":"EGenericType"},{"id":110,"eClass":"EGenericType"},{"id":111,"eClass":"EGenericType"},{"id":112,"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":"steps","changeable":true,"resolveProxies":true,"lowerBound":0,"id":113,"derived":false},{"id":114,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"derivation","lowerBound":0,"id":115,"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":"zoneVertex","changeable":true,"resolveProxies":true,"lowerBound":0,"id":116,"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":"derivationStep","changeable":true,"resolveProxies":true,"lowerBound":0,"id":117,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"children","changeable":true,"resolveProxies":true,"lowerBound":0,"id":118,"derived":false},{"id":119,"eClass":"EGenericType"},{"id":120,"eClass":"EGenericType"},{"id":121,"eClass":"EGenericType"},{"id":122,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"pac","changeable":true,"resolveProxies":true,"lowerBound":0,"id":123,"derived":false},{"id":124,"eClass":"EGenericType"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"referenceIds","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":"steps","changeable":true,"resolveProxies":true,"lowerBound":0,"id":126,"derived":false},{"id":127,"eClass":"EGenericType"},{"id":128,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"neighborhood","lowerBound":0,"id":129,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"neighborhood","lowerBound":0,"id":130,"many":true,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"isomorphicTo","lowerBound":0,"id":131,"many":false,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"isomorphism","lowerBound":0,"id":132,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"inEdges","lowerBound":0,"id":133,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"outEdges","lowerBound":0,"id":134,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"edges","lowerBound":0,"id":135,"many":true,"required":false,"eClass":"EOperation"},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"vertices","changeable":true,"resolveProxies":true,"lowerBound":0,"id":136,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"edges","changeable":true,"resolveProxies":true,"lowerBound":0,"id":137,"derived":false},{"id":138,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"vertices","lowerBound":0,"id":139,"many":true,"required":false,"eClass":"EParameter"},{"id":140,"eClass":"EGenericType"},{"id":141,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":142,"many":false,"required":false,"eClass":"EParameter"},{"id":143,"eClass":"EGenericType"},{"id":144,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":145,"many":false,"required":false,"eClass":"EParameter"},{"id":146,"eClass":"EGenericType"},{"id":147,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":148,"many":false,"required":false,"eClass":"EParameter"},{"id":149,"eClass":"EGenericType"},{"id":150,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":151,"many":false,"required":false,"eClass":"EParameter"},{"id":152,"eClass":"EGenericType"},{"id":153,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":154,"many":false,"required":false,"eClass":"EParameter"},{"id":155,"eClass":"EGenericType"},{"id":156,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"vertex","lowerBound":0,"id":157,"many":false,"required":false,"eClass":"EParameter"},{"id":158,"eClass":"EGenericType"},{"id":159,"eClass":"EGenericType"},{"id":160,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"equivalates","lowerBound":0,"id":161,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"defaultValue":null,"volatile":false,"many":false,"required":false,"eClass":"EAttribute","defaultValueLiteral":null,"unsettable":false,"transient":false,"unique":true,"name":"id","changeable":true,"lowerBound":0,"iD":true,"id":162,"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":"label","changeable":true,"resolveProxies":true,"lowerBound":0,"id":163,"derived":false},{"id":164,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":165,"many":false,"required":false,"eClass":"EParameter"},{"id":166,"eClass":"EGenericType"},{"id":167,"eClass":"EGenericType"},{"id":168,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"equivalates","lowerBound":0,"id":169,"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":"vertices","changeable":true,"resolveProxies":true,"lowerBound":0,"id":170,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"pac","changeable":true,"resolveProxies":true,"lowerBound":0,"id":171,"derived":false},{"id":172,"eClass":"EGenericType"},{"id":173,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":174,"many":false,"required":false,"eClass":"EParameter"},{"id":175,"eClass":"EGenericType"},{"id":176,"eClass":"EGenericType"},{"id":177,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"compareTo","lowerBound":0,"id":178,"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":"from","changeable":true,"resolveProxies":true,"lowerBound":0,"id":179,"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":"to","changeable":true,"resolveProxies":true,"lowerBound":0,"id":180,"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":"label","changeable":true,"resolveProxies":true,"lowerBound":0,"id":181,"derived":false},{"id":182,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"other","lowerBound":0,"id":183,"many":false,"required":false,"eClass":"EParameter"},{"id":184,"eClass":"EGenericType"},{"id":185,"eClass":"EGenericType"},{"id":186,"eClass":"EGenericType"},{"id":187,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"produce","lowerBound":0,"id":188,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"resolve","lowerBound":0,"id":189,"many":false,"required":false,"eClass":"EOperation"},{"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":190,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"alphabet","changeable":true,"resolveProxies":true,"lowerBound":0,"id":191,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"terminals","changeable":true,"resolveProxies":true,"lowerBound":0,"id":192,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":false,"unsettable":false,"transient":false,"unique":true,"name":"nonterminals","changeable":true,"resolveProxies":true,"lowerBound":0,"id":193,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"tripleRules","changeable":true,"resolveProxies":true,"lowerBound":0,"id":194,"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":"initial","changeable":true,"resolveProxies":true,"lowerBound":0,"id":195,"derived":false},{"id":196,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"tripleGraph","lowerBound":0,"id":197,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"derivationStep","lowerBound":0,"id":198,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"forward","lowerBound":0,"id":199,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"resolution","lowerBound":0,"id":200,"many":false,"required":false,"eClass":"EParameter"},{"id":201,"eClass":"EGenericType"},{"id":202,"eClass":"EGenericType"},{"id":203,"eClass":"EGenericType"},{"id":204,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"tripleGraph","lowerBound":0,"id":205,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"resolution","lowerBound":0,"id":206,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"resolutionStep","lowerBound":0,"id":207,"many":false,"required":false,"eClass":"EParameter"},{"ordered":true,"upperBound":1,"unique":true,"name":"forward","lowerBound":0,"id":208,"many":false,"required":false,"eClass":"EParameter"},{"id":209,"eClass":"EGenericType"},{"id":210,"eClass":"EGenericType"},{"id":211,"eClass":"EGenericType"},{"id":212,"eClass":"EGenericType"},{"id":213,"eClass":"EGenericType"},{"id":214,"eClass":"EGenericType"},{"id":215,"eClass":"EGenericType"},{"id":216,"eClass":"EGenericType"},{"id":217,"eClass":"EGenericType"},{"id":218,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"invMs","lowerBound":0,"id":219,"many":false,"required":false,"eClass":"EOperation"},{"ordered":true,"upperBound":1,"unique":true,"name":"invMt","lowerBound":0,"id":220,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":0,"id":221,"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":"corr","changeable":true,"resolveProxies":true,"lowerBound":0,"id":222,"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":"target","changeable":true,"resolveProxies":true,"lowerBound":0,"id":223,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"ms","changeable":true,"resolveProxies":true,"lowerBound":0,"id":224,"derived":false},{"container":false,"ordered":false,"upperBound":-1,"defaultValue":null,"volatile":false,"many":true,"required":false,"eClass":"EReference","defaultValueLiteral":null,"containment":true,"unsettable":false,"transient":false,"unique":true,"name":"mt","changeable":true,"resolveProxies":true,"lowerBound":0,"id":225,"derived":false},{"id":226,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"sourceVertex","lowerBound":0,"id":227,"many":false,"required":false,"eClass":"EParameter"},{"id":228,"eClass":"EGenericType"},{"id":229,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"targetVertex","lowerBound":0,"id":230,"many":false,"required":false,"eClass":"EParameter"},{"id":231,"eClass":"EGenericType"},{"id":232,"eClass":"EGenericType"},{"id":233,"eClass":"EGenericType"},{"id":234,"eClass":"EGenericType"},{"id":235,"eClass":"EGenericType"},{"id":236,"eClass":"EGenericType"},{"ordered":false,"upperBound":-1,"unique":true,"name":"invMs","lowerBound":0,"id":237,"many":true,"required":false,"eClass":"EOperation"},{"ordered":false,"upperBound":-1,"unique":true,"name":"invMt","lowerBound":0,"id":238,"many":true,"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":"source","changeable":true,"resolveProxies":true,"lowerBound":0,"id":239,"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":"corr","changeable":true,"resolveProxies":true,"lowerBound":0,"id":240,"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":"target","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":"ms","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":true,"unsettable":false,"transient":false,"unique":true,"name":"mt","changeable":true,"resolveProxies":true,"lowerBound":0,"id":243,"derived":false},{"id":244,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"sourceVertex","lowerBound":0,"id":245,"many":false,"required":false,"eClass":"EParameter"},{"id":246,"eClass":"EGenericType"},{"id":247,"eClass":"EGenericType"},{"ordered":true,"upperBound":1,"unique":true,"name":"targetVertex","lowerBound":0,"id":248,"many":false,"required":false,"eClass":"EParameter"},{"id":249,"eClass":"EGenericType"},{"id":250,"eClass":"EGenericType"},{"id":251,"eClass":"EGenericType"},{"id":252,"eClass":"EGenericType"},{"id":253,"eClass":"EGenericType"},{"id":254,"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":"key","changeable":true,"resolveProxies":true,"lowerBound":0,"id":255,"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":"value","changeable":true,"resolveProxies":true,"lowerBound":0,"id":256,"derived":false},{"id":257,"eClass":"EGenericType"},{"id":258,"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":"key","changeable":true,"resolveProxies":true,"lowerBound":0,"id":259,"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":260,"derived":false},{"id":261,"eClass":"EGenericType"},{"id":262,"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":"key","changeable":true,"lowerBound":0,"iD":false,"id":263,"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":"value","changeable":true,"resolveProxies":true,"lowerBound":0,"id":264,"derived":false},{"id":265,"eClass":"EGenericType"},{"id":266,"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":1,"target":0},{"source":1,"target":21},{"source":1,"target":22},{"source":1,"target":23},{"source":1,"target":24},{"source":1,"target":25},{"source":1,"target":26},{"source":1,"target":27},{"source":21,"target":6},{"source":21,"target":28},{"source":21,"target":1},{"source":21,"target":29},{"source":21,"target":30},{"source":21,"target":31},{"source":21,"target":32},{"source":28,"target":6},{"source":29,"target":11},{"source":29,"target":33},{"source":29,"target":21},{"source":33,"target":11},{"source":30,"target":11},{"source":30,"target":34},{"source":30,"target":21},{"source":34,"target":11},{"source":31,"target":12},{"source":31,"target":35},{"source":31,"target":21},{"source":35,"target":12},{"source":32,"target":11},{"source":32,"target":36},{"source":32,"target":21},{"source":36,"target":11},{"source":22,"target":37},{"source":22,"target":1},{"source":23,"target":5},{"source":23,"target":38},{"source":23,"target":1},{"source":38,"target":5},{"source":24,"target":5},{"source":24,"target":39},{"source":24,"target":1},{"source":39,"target":5},{"source":25,"target":5},{"source":25,"target":40},{"source":25,"target":1},{"source":40,"target":5},{"source":26,"target":2},{"source":26,"target":41},{"source":26,"target":1},{"source":41,"target":2},{"source":27,"target":5},{"source":27,"target":42},{"source":27,"target":1},{"source":42,"target":5},{"source":2,"target":0},{"source":2,"target":43},{"source":2,"target":44},{"source":2,"target":45},{"source":2,"target":46},{"source":2,"target":47},{"source":2,"target":48},{"source":2,"target":49},{"source":2,"target":50},{"source":2,"target":51},{"source":43,"target":14},{"source":43,"target":52},{"source":43,"target":2},{"source":43,"target":53},{"source":43,"target":54},{"source":43,"target":55},{"source":43,"target":56},{"source":43,"target":57},{"source":52,"target":14},{"source":53,"target":11},{"source":53,"target":58},{"source":53,"target":43},{"source":58,"target":11},{"source":54,"target":12},{"source":54,"target":59},{"source":54,"target":43},{"source":59,"target":12},{"source":55,"target":14},{"source":55,"target":60},{"source":55,"target":43},{"source":60,"target":14},{"source":56,"target":18},{"source":56,"target":61},{"source":56,"target":43},{"source":61,"target":18},{"source":57,"target":62},{"source":57,"target":43},{"source":44,"target":18},{"source":44,"target":63},{"source":44,"target":2},{"source":44,"target":64},{"source":44,"target":65},{"source":44,"target":66},{"source":63,"target":18},{"source":64,"target":11},{"source":64,"target":67},{"source":64,"target":44},{"source":67,"target":11},{"source":65,"target":12},{"source":65,"target":68},{"source":65,"target":44},{"source":68,"target":12},{"source":66,"target":69},{"source":66,"target":44},{"source":45,"target":18},{"source":45,"target":70},{"source":45,"target":2},{"source":45,"target":71},{"source":45,"target":72},{"source":70,"target":18},{"source":71,"target":11},{"source":71,"target":73},{"source":71,"target":45},{"source":73,"target":11},{"source":72,"target":12},{"source":72,"target":74},{"source":72,"target":45},{"source":74,"target":12},{"source":46,"target":75},{"source":46,"target":2},{"source":47,"target":76},{"source":47,"target":2},{"source":48,"target":5},{"source":48,"target":77},{"source":48,"target":2},{"source":77,"target":5},{"source":49,"target":11},{"source":49,"target":78},{"source":49,"target":2},{"source":78,"target":11},{"source":50,"target":4},{"source":50,"target":79},{"source":50,"target":2},{"source":79,"target":4},{"source":51,"target":12},{"source":51,"target":80},{"source":51,"target":2},{"source":80,"target":12},{"source":3,"target":0},{"source":3,"target":81},{"source":3,"target":82},{"source":81,"target":5},{"source":81,"target":83},{"source":81,"target":3},{"source":83,"target":5},{"source":82,"target":5},{"source":82,"target":84},{"source":82,"target":3},{"source":84,"target":5},{"source":4,"target":0},{"source":4,"target":85},{"source":4,"target":86},{"source":85,"target":12},{"source":85,"target":87},{"source":85,"target":4},{"source":87,"target":12},{"source":86,"target":3},{"source":86,"target":88},{"source":86,"target":4},{"source":88,"target":3},{"source":5,"target":0},{"source":5,"target":89},{"source":5,"target":90},{"source":5,"target":91},{"source":5,"target":92},{"source":5,"target":93},{"source":89,"target":94},{"source":89,"target":5},{"source":89,"target":95},{"source":95,"target":5},{"source":95,"target":96},{"source":95,"target":89},{"source":96,"target":5},{"source":90,"target":97},{"source":90,"target":5},{"source":90,"target":98},{"source":98,"target":5},{"source":98,"target":99},{"source":98,"target":90},{"source":99,"target":5},{"source":91,"target":100},{"source":91,"target":5},{"source":92,"target":101},{"source":92,"target":5},{"source":93,"target":102},{"source":93,"target":5},{"source":6,"target":0},{"source":6,"target":103},{"source":6,"target":104},{"source":6,"target":105},{"source":6,"target":106},{"source":6,"target":107},{"source":103,"target":2},{"source":103,"target":108},{"source":103,"target":6},{"source":108,"target":2},{"source":104,"target":12},{"source":104,"target":109},{"source":104,"target":6},{"source":109,"target":12},{"source":105,"target":11},{"source":105,"target":110},{"source":105,"target":6},{"source":110,"target":11},{"source":106,"target":11},{"source":106,"target":111},{"source":106,"target":6},{"source":111,"target":11},{"source":107,"target":18},{"source":107,"target":112},{"source":107,"target":6},{"source":112,"target":18},{"source":7,"target":0},{"source":7,"target":113},{"source":113,"target":6},{"source":113,"target":114},{"source":113,"target":7},{"source":114,"target":6},{"source":8,"target":0},{"source":8,"target":115},{"source":8,"target":116},{"source":8,"target":117},{"source":8,"target":118},{"source":115,"target":7},{"source":115,"target":119},{"source":115,"target":8},{"source":119,"target":7},{"source":116,"target":13},{"source":116,"target":120},{"source":116,"target":8},{"source":120,"target":13},{"source":117,"target":6},{"source":117,"target":121},{"source":117,"target":8},{"source":121,"target":6},{"source":118,"target":8},{"source":118,"target":122},{"source":118,"target":8},{"source":122,"target":8},{"source":9,"target":0},{"source":9,"target":123},{"source":123,"target":19},{"source":123,"target":124},{"source":123,"target":9},{"source":124,"target":19},{"source":10,"target":0},{"source":10,"target":125},{"source":10,"target":126},{"source":125,"target":20},{"source":125,"target":127},{"source":125,"target":10},{"source":127,"target":20},{"source":126,"target":9},{"source":126,"target":128},{"source":126,"target":10},{"source":128,"target":9},{"source":11,"target":0},{"source":11,"target":129},{"source":11,"target":130},{"source":11,"target":131},{"source":11,"target":132},{"source":11,"target":133},{"source":11,"target":134},{"source":11,"target":135},{"source":11,"target":136},{"source":11,"target":137},{"source":129,"target":12},{"source":129,"target":138},{"source":129,"target":11},{"source":129,"target":139},{"source":138,"target":12},{"source":139,"target":12},{"source":139,"target":140},{"source":139,"target":129},{"source":140,"target":12},{"source":130,"target":12},{"source":130,"target":141},{"source":130,"target":11},{"source":130,"target":142},{"source":141,"target":12},{"source":142,"target":12},{"source":142,"target":143},{"source":142,"target":130},{"source":143,"target":12},{"source":131,"target":144},{"source":131,"target":11},{"source":131,"target":145},{"source":145,"target":11},{"source":145,"target":146},{"source":145,"target":131},{"source":146,"target":11},{"source":132,"target":18},{"source":132,"target":147},{"source":132,"target":11},{"source":132,"target":148},{"source":147,"target":18},{"source":148,"target":11},{"source":148,"target":149},{"source":148,"target":132},{"source":149,"target":11},{"source":133,"target":14},{"source":133,"target":150},{"source":133,"target":11},{"source":133,"target":151},{"source":150,"target":14},{"source":151,"target":12},{"source":151,"target":152},{"source":151,"target":133},{"source":152,"target":12},{"source":134,"target":14},{"source":134,"target":153},{"source":134,"target":11},{"source":134,"target":154},{"source":153,"target":14},{"source":154,"target":12},{"source":154,"target":155},{"source":154,"target":134},{"source":155,"target":12},{"source":135,"target":14},{"source":135,"target":156},{"source":135,"target":11},{"source":135,"target":157},{"source":156,"target":14},{"source":157,"target":12},{"source":157,"target":158},{"source":157,"target":135},{"source":158,"target":12},{"source":136,"target":12},{"source":136,"target":159},{"source":136,"target":11},{"source":159,"target":12},{"source":137,"target":14},{"source":137,"target":160},{"source":137,"target":11},{"source":160,"target":14},{"source":12,"target":0},{"source":12,"target":161},{"source":12,"target":162},{"source":12,"target":163},{"source":161,"target":164},{"source":161,"target":12},{"source":161,"target":165},{"source":165,"target":12},{"source":165,"target":166},{"source":165,"target":161},{"source":166,"target":12},{"source":162,"target":167},{"source":162,"target":12},{"source":163,"target":5},{"source":163,"target":168},{"source":163,"target":12},{"source":168,"target":5},{"source":13,"target":0},{"source":13,"target":12},{"source":13,"target":169},{"source":13,"target":170},{"source":13,"target":171},{"source":13,"target":172},{"source":169,"target":173},{"source":169,"target":13},{"source":169,"target":174},{"source":174,"target":13},{"source":174,"target":175},{"source":174,"target":169},{"source":175,"target":13},{"source":170,"target":12},{"source":170,"target":176},{"source":170,"target":13},{"source":176,"target":12},{"source":171,"target":12},{"source":171,"target":177},{"source":171,"target":13},{"source":177,"target":12},{"source":172,"target":12},{"source":14,"target":0},{"source":14,"target":178},{"source":14,"target":179},{"source":14,"target":180},{"source":14,"target":181},{"source":178,"target":182},{"source":178,"target":14},{"source":178,"target":183},{"source":183,"target":14},{"source":183,"target":184},{"source":183,"target":178},{"source":184,"target":14},{"source":179,"target":12},{"source":179,"target":185},{"source":179,"target":14},{"source":185,"target":12},{"source":180,"target":12},{"source":180,"target":186},{"source":180,"target":14},{"source":186,"target":12},{"source":181,"target":5},{"source":181,"target":187},{"source":181,"target":14},{"source":187,"target":5},{"source":15,"target":0},{"source":15,"target":188},{"source":15,"target":189},{"source":15,"target":190},{"source":15,"target":191},{"source":15,"target":192},{"source":15,"target":193},{"source":15,"target":194},{"source":15,"target":195},{"source":188,"target":9},{"source":188,"target":196},{"source":188,"target":15},{"source":188,"target":197},{"source":188,"target":198},{"source":188,"target":199},{"source":188,"target":200},{"source":196,"target":9},{"source":197,"target":17},{"source":197,"target":201},{"source":197,"target":188},{"source":201,"target":17},{"source":198,"target":6},{"source":198,"target":202},{"source":198,"target":188},{"source":202,"target":6},{"source":199,"target":203},{"source":199,"target":188},{"source":200,"target":10},{"source":200,"target":204},{"source":200,"target":188},{"source":204,"target":10},{"source":189,"target":15},{"source":189,"target":205},{"source":189,"target":206},{"source":189,"target":207},{"source":189,"target":208},{"source":205,"target":17},{"source":205,"target":209},{"source":205,"target":189},{"source":209,"target":17},{"source":206,"target":10},{"source":206,"target":210},{"source":206,"target":189},{"source":210,"target":10},{"source":207,"target":9},{"source":207,"target":211},{"source":207,"target":189},{"source":211,"target":9},{"source":208,"target":212},{"source":208,"target":189},{"source":190,"target":213},{"source":190,"target":15},{"source":191,"target":5},{"source":191,"target":214},{"source":191,"target":15},{"source":214,"target":5},{"source":192,"target":5},{"source":192,"target":215},{"source":192,"target":15},{"source":215,"target":5},{"source":193,"target":5},{"source":193,"target":216},{"source":193,"target":15},{"source":216,"target":5},{"source":194,"target":16},{"source":194,"target":217},{"source":194,"target":15},{"source":217,"target":16},{"source":195,"target":5},{"source":195,"target":218},{"source":195,"target":15},{"source":218,"target":5},{"source":16,"target":0},{"source":16,"target":219},{"source":16,"target":220},{"source":16,"target":221},{"source":16,"target":222},{"source":16,"target":223},{"source":16,"target":224},{"source":16,"target":225},{"source":219,"target":12},{"source":219,"target":226},{"source":219,"target":16},{"source":219,"target":227},{"source":226,"target":12},{"source":227,"target":12},{"source":227,"target":228},{"source":227,"target":219},{"source":228,"target":12},{"source":220,"target":12},{"source":220,"target":229},{"source":220,"target":16},{"source":220,"target":230},{"source":229,"target":12},{"source":230,"target":12},{"source":230,"target":231},{"source":230,"target":220},{"source":231,"target":12},{"source":221,"target":2},{"source":221,"target":232},{"source":221,"target":16},{"source":232,"target":2},{"source":222,"target":2},{"source":222,"target":233},{"source":222,"target":16},{"source":233,"target":2},{"source":223,"target":2},{"source":223,"target":234},{"source":223,"target":16},{"source":234,"target":2},{"source":224,"target":18},{"source":224,"target":235},{"source":224,"target":16},{"source":235,"target":18},{"source":225,"target":18},{"source":225,"target":236},{"source":225,"target":16},{"source":236,"target":18},{"source":17,"target":0},{"source":17,"target":237},{"source":17,"target":238},{"source":17,"target":239},{"source":17,"target":240},{"source":17,"target":241},{"source":17,"target":242},{"source":17,"target":243},{"source":237,"target":12},{"source":237,"target":244},{"source":237,"target":17},{"source":237,"target":245},{"source":244,"target":12},{"source":245,"target":12},{"source":245,"target":246},{"source":245,"target":237},{"source":246,"target":12},{"source":238,"target":12},{"source":238,"target":247},{"source":238,"target":17},{"source":238,"target":248},{"source":247,"target":12},{"source":248,"target":12},{"source":248,"target":249},{"source":248,"target":238},{"source":249,"target":12},{"source":239,"target":11},{"source":239,"target":250},{"source":239,"target":17},{"source":250,"target":11},{"source":240,"target":11},{"source":240,"target":251},{"source":240,"target":17},{"source":251,"target":11},{"source":241,"target":11},{"source":241,"target":252},{"source":241,"target":17},{"source":252,"target":11},{"source":242,"target":18},{"source":242,"target":253},{"source":242,"target":17},{"source":253,"target":18},{"source":243,"target":18},{"source":243,"target":254},{"source":243,"target":17},{"source":254,"target":18},{"source":18,"target":0},{"source":18,"target":255},{"source":18,"target":256},{"source":255,"target":12},{"source":255,"target":257},{"source":255,"target":18},{"source":257,"target":12},{"source":256,"target":12},{"source":256,"target":258},{"source":256,"target":18},{"source":258,"target":12},{"source":19,"target":0},{"source":19,"target":259},{"source":19,"target":260},{"source":259,"target":12},{"source":259,"target":261},{"source":259,"target":19},{"source":261,"target":12},{"source":260,"target":262},{"source":260,"target":19},{"source":20,"target":0},{"source":20,"target":263},{"source":20,"target":264},{"source":263,"target":265},{"source":263,"target":20},{"source":264,"target":12},{"source":264,"target":266},{"source":264,"target":20},{"source":266,"target":12}],"multigraph":true}