Robin Mueller
f3ca570e53
All checks were successful
Rust/sat-rs/pipeline/pr-main This commit looks good
- Add simple graph to show how it works
349 lines
25 KiB
XML
349 lines
25 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<graphml xmlns="http://graphml.graphdrawing.org/xmlns" xmlns:java="http://www.yworks.com/xml/yfiles-common/1.0/java" xmlns:sys="http://www.yworks.com/xml/yfiles-common/markup/primitives/2.0" xmlns:x="http://www.yworks.com/xml/yfiles-common/markup/2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:y="http://www.yworks.com/xml/graphml" xmlns:yed="http://www.yworks.com/xml/yed/3" xsi:schemaLocation="http://graphml.graphdrawing.org/xmlns http://www.yworks.com/xml/schema/graphml/1.1/ygraphml.xsd">
|
|
<!--Created by yEd 3.23.2-->
|
|
<key attr.name="Description" attr.type="string" for="graph" id="d0"/>
|
|
<key for="port" id="d1" yfiles.type="portgraphics"/>
|
|
<key for="port" id="d2" yfiles.type="portgeometry"/>
|
|
<key for="port" id="d3" yfiles.type="portuserdata"/>
|
|
<key attr.name="url" attr.type="string" for="node" id="d4"/>
|
|
<key attr.name="description" attr.type="string" for="node" id="d5"/>
|
|
<key for="node" id="d6" yfiles.type="nodegraphics"/>
|
|
<key for="graphml" id="d7" yfiles.type="resources"/>
|
|
<key attr.name="url" attr.type="string" for="edge" id="d8"/>
|
|
<key attr.name="description" attr.type="string" for="edge" id="d9"/>
|
|
<key for="edge" id="d10" yfiles.type="edgegraphics"/>
|
|
<graph edgedefault="directed" id="G">
|
|
<data key="d0"/>
|
|
<node id="n0">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="174.17919999999998" width="273.1071999999999" x="1000.3040000000003" y="433.61760000000004"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="67.380859375" x="12.06892812499973" xml:space="preserve" y="7.247609374999911">Static Pool<y:LabelModel><y:SmartNodeLabelModel distance="4.0"/></y:LabelModel><y:ModelParameter><y:SmartNodeLabelModelParameter labelRatioX="-0.5" labelRatioY="-0.5" nodeRatioX="-0.45580882479480683" nodeRatioY="-0.45838992615076934" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/></y:ModelParameter></y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n1">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="120.0" x="1141.8400000000001" y="536.1087687499992"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" height="17.96875" horizontalTextPosition="center" iconTextGap="4" lineColor="#000000" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="86.142578125" x="16.9287109375" xml:space="preserve" y="21.015625">1 x 128 bytes<y:LabelModel><y:SmartNodeLabelModel distance="4.0"/></y:LabelModel><y:ModelParameter><y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/></y:ModelParameter></y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n2" yfiles.foldertype="group">
|
|
<data key="d4" xml:space="preserve"/>
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ProxyAutoBoundsNode>
|
|
<y:Realizers active="0">
|
|
<y:GroupNode>
|
|
<y:Geometry height="90.0" width="164.73919999999998" x="1113.1776" y="451.01919999999996"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle hasColor="false" type="dashed" width="1.0"/>
|
|
<y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="21.4609375" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="t" textColor="#000000" verticalTextPosition="bottom" visible="false" width="164.73919999999998" x="0.0" xml:space="preserve" y="0.0">Group 1</y:NodeLabel>
|
|
<y:Shape type="roundrectangle"/>
|
|
<y:State closed="false" closedHeight="50.0" closedWidth="50.0" innerGraphDisplayEnabled="false"/>
|
|
<y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/>
|
|
<y:BorderInsets bottom="0" bottomF="0.0" left="15" leftF="14.739199999999983" right="0" rightF="0.0" top="0" topF="0.0"/>
|
|
</y:GroupNode>
|
|
<y:GroupNode>
|
|
<y:Geometry height="50.0" width="50.0" x="0.0" y="60.0"/>
|
|
<y:Fill color="#F5F5F5" transparent="false"/>
|
|
<y:BorderStyle color="#000000" type="dashed" width="1.0"/>
|
|
<y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="21.4609375" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="t" textColor="#000000" verticalTextPosition="bottom" visible="true" width="65.201171875" x="-7.6005859375" xml:space="preserve" y="0.0">Folder 1</y:NodeLabel>
|
|
<y:Shape type="roundrectangle"/>
|
|
<y:State closed="true" closedHeight="50.0" closedWidth="50.0" innerGraphDisplayEnabled="false"/>
|
|
<y:Insets bottom="5" bottomF="5.0" left="5" leftF="5.0" right="5" rightF="5.0" top="5" topF="5.0"/>
|
|
<y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
|
|
</y:GroupNode>
|
|
</y:Realizers>
|
|
</y:ProxyAutoBoundsNode>
|
|
</data>
|
|
<graph edgedefault="directed" id="n2:">
|
|
<node id="n2::n0">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="60.0" x="1142.9168" y="466.01919999999996"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="28.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n2::n1">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="120.0" x="1142.9168" y="466.01919999999996"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" backgroundColor="#FFFFFF" fontFamily="Dialog" fontSize="12" fontStyle="plain" height="17.96875" horizontalTextPosition="center" iconTextGap="4" lineColor="#000000" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="78.5078125" x="20.746093749999773" xml:space="preserve" y="4.862813159989173">2 x 64 bytes<y:LabelModel><y:SmartNodeLabelModel distance="4.0"/></y:LabelModel><y:ModelParameter><y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="-0.5" nodeRatioX="-1.1657341758564144E-15" nodeRatioY="-0.41895311400018" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/></y:ModelParameter></y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
</graph>
|
|
</node>
|
|
<node id="n3" yfiles.foldertype="group">
|
|
<data key="d4" xml:space="preserve"/>
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ProxyAutoBoundsNode>
|
|
<y:Realizers active="0">
|
|
<y:GroupNode>
|
|
<y:Geometry height="89.99999999999994" width="150.0" x="997.9168" y="451.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle hasColor="false" type="dashed" width="1.0"/>
|
|
<y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="21.4609375" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="t" textColor="#000000" verticalTextPosition="bottom" visible="false" width="150.0" x="0.0" xml:space="preserve" y="0.0">Group 2</y:NodeLabel>
|
|
<y:Shape type="roundrectangle"/>
|
|
<y:State closed="false" closedHeight="50.0" closedWidth="50.0" innerGraphDisplayEnabled="false"/>
|
|
<y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/>
|
|
<y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
|
|
</y:GroupNode>
|
|
<y:GroupNode>
|
|
<y:Geometry height="50.0" width="50.0" x="997.9168" y="451.01919999999996"/>
|
|
<y:Fill color="#F5F5F5" transparent="false"/>
|
|
<y:BorderStyle color="#000000" type="dashed" width="1.0"/>
|
|
<y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="21.4609375" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="t" textColor="#000000" verticalTextPosition="bottom" visible="true" width="65.201171875" x="-7.6005859375" xml:space="preserve" y="0.0">Folder 2</y:NodeLabel>
|
|
<y:Shape type="roundrectangle"/>
|
|
<y:State closed="true" closedHeight="50.0" closedWidth="50.0" innerGraphDisplayEnabled="false"/>
|
|
<y:Insets bottom="5" bottomF="5.0" left="5" leftF="5.0" right="5" rightF="5.0" top="5" topF="5.0"/>
|
|
<y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
|
|
</y:GroupNode>
|
|
</y:Realizers>
|
|
</y:ProxyAutoBoundsNode>
|
|
</data>
|
|
<graph edgedefault="directed" id="n3:">
|
|
<node id="n3::n0">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="20.0" x="1092.9168" y="466.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="8.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n3::n1">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="20.0" x="1072.9168" y="466.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="8.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n3::n2">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="20.0" x="1032.9168" y="466.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="8.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n3::n3">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="20.0" x="1052.9168" y="466.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="8.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n3::n4">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="20.0" x="1012.9168" y="466.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="8.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n3::n5">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="120.0" x="1012.9168" y="466.0192"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" backgroundColor="#FFFFFF" fontFamily="Dialog" fontSize="12" fontStyle="plain" height="17.96875" horizontalTextPosition="center" iconTextGap="4" lineColor="#000000" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="78.5078125" x="14.814773932043863" xml:space="preserve" y="4.392671444094276">6 x 16 bytes<y:LabelModel><y:SmartNodeLabelModel distance="4.0"/></y:LabelModel><y:ModelParameter><y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="-0.5" nodeRatioX="-0.04942766514963404" nodeRatioY="-0.426788809265095" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/></y:ModelParameter></y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
</graph>
|
|
</node>
|
|
<node id="n4" yfiles.foldertype="group">
|
|
<data key="d4" xml:space="preserve"/>
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ProxyAutoBoundsNode>
|
|
<y:Realizers active="0">
|
|
<y:GroupNode>
|
|
<y:Geometry height="90.0" width="150.0" x="997.9168" y="521.1759843749999"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle hasColor="false" type="dashed" width="1.0"/>
|
|
<y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="21.4609375" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="t" textColor="#000000" verticalTextPosition="bottom" visible="false" width="150.0" x="0.0" xml:space="preserve" y="0.0">Group 3</y:NodeLabel>
|
|
<y:Shape type="roundrectangle"/>
|
|
<y:State closed="false" closedHeight="50.0" closedWidth="50.0" innerGraphDisplayEnabled="false"/>
|
|
<y:Insets bottom="15" bottomF="15.0" left="15" leftF="15.0" right="15" rightF="15.0" top="15" topF="15.0"/>
|
|
<y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
|
|
</y:GroupNode>
|
|
<y:GroupNode>
|
|
<y:Geometry height="50.0" width="50.0" x="0.0" y="60.0"/>
|
|
<y:Fill color="#F5F5F5" transparent="false"/>
|
|
<y:BorderStyle color="#000000" type="dashed" width="1.0"/>
|
|
<y:NodeLabel alignment="right" autoSizePolicy="node_width" backgroundColor="#EBEBEB" borderDistance="0.0" fontFamily="Dialog" fontSize="15" fontStyle="plain" hasLineColor="false" height="21.4609375" horizontalTextPosition="center" iconTextGap="4" modelName="internal" modelPosition="t" textColor="#000000" verticalTextPosition="bottom" visible="true" width="65.201171875" x="-7.6005859375" xml:space="preserve" y="0.0">Folder 3</y:NodeLabel>
|
|
<y:Shape type="roundrectangle"/>
|
|
<y:State closed="true" closedHeight="50.0" closedWidth="50.0" innerGraphDisplayEnabled="false"/>
|
|
<y:Insets bottom="5" bottomF="5.0" left="5" leftF="5.0" right="5" rightF="5.0" top="5" topF="5.0"/>
|
|
<y:BorderInsets bottom="0" bottomF="0.0" left="0" leftF="0.0" right="0" rightF="0.0" top="0" topF="0.0"/>
|
|
</y:GroupNode>
|
|
</y:Realizers>
|
|
</y:ProxyAutoBoundsNode>
|
|
</data>
|
|
<graph edgedefault="directed" id="n4:">
|
|
<node id="n4::n0">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="30.0" x="1012.9168" y="536.1759843749999"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="13.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n4::n1">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="30.0" x="1042.9168" y="536.1759843749999"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="13.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n4::n2">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="30.0" x="1072.9168" y="536.1759843749999"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" fontFamily="Dialog" fontSize="12" fontStyle="plain" hasBackgroundColor="false" hasLineColor="false" hasText="false" height="4.0" horizontalTextPosition="center" iconTextGap="4" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="4.0" x="13.0" y="28.0">
|
|
<y:LabelModel>
|
|
<y:SmartNodeLabelModel distance="4.0"/>
|
|
</y:LabelModel>
|
|
<y:ModelParameter>
|
|
<y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="0.0" nodeRatioX="0.0" nodeRatioY="0.0" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/>
|
|
</y:ModelParameter>
|
|
</y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
<node id="n4::n3">
|
|
<data key="d5"/>
|
|
<data key="d6">
|
|
<y:ShapeNode>
|
|
<y:Geometry height="60.0" width="120.0" x="1012.9168" y="536.1759843749999"/>
|
|
<y:Fill hasColor="false" transparent="false"/>
|
|
<y:BorderStyle color="#000000" raised="false" type="line" width="1.0"/>
|
|
<y:NodeLabel alignment="center" autoSizePolicy="content" backgroundColor="#FFFFFF" fontFamily="Dialog" fontSize="12" fontStyle="plain" height="17.96875" horizontalTextPosition="center" iconTextGap="4" lineColor="#000000" modelName="custom" textColor="#000000" verticalTextPosition="bottom" visible="true" width="78.5078125" x="20.74609375" xml:space="preserve" y="4.392671444094276">4 x 32 bytes<y:LabelModel><y:SmartNodeLabelModel distance="4.0"/></y:LabelModel><y:ModelParameter><y:SmartNodeLabelModelParameter labelRatioX="0.0" labelRatioY="-0.5" nodeRatioX="0.0" nodeRatioY="-0.426788809265095" offsetX="0.0" offsetY="0.0" upX="0.0" upY="-1.0"/></y:ModelParameter></y:NodeLabel>
|
|
<y:Shape type="rectangle"/>
|
|
</y:ShapeNode>
|
|
</data>
|
|
</node>
|
|
</graph>
|
|
</node>
|
|
</graph>
|
|
<data key="d7">
|
|
<y:Resources/>
|
|
</data>
|
|
</graphml>
|