Files
MeanField_SERiF/docs/html/connected_8hpp__incl.svg
Emily Boudreaux 6b57738330 docs(docs): built docs
Note for now much of the docs is LLM written. This was done to save time and focus on code development. The docs have been LOOSLEY reviewed. However, the code itself has been either fully written by hand or fully reviewed. Therefore, the docs should at the moment be seen as a loose resource rather than authoratiative (and this is on top of the general ability for docs to drift)
2026-11-09 14:09:44 -05:00

1362 lines
72 KiB
XML

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 14.1.2 (20260124.0452)
-->
<!-- Title: src/include/serif/discretization/domain/schema/validation/connected.hpp Pages: 1 -->
<!--zoomable 1215 -->
<svg id="main" version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" onload="init(evt)">
<style type="text/css"><![CDATA[
.node, .edge {opacity: 0.7;}
.node.selected, .edge.selected {opacity: 1;}
.edge:hover path { stroke: red; }
.edge:hover polygon { stroke: red; fill: red; }
]]></style>
<defs>
<circle id="rim" cx="0" cy="0" r="7"/>
<circle id="rim2" cx="0" cy="0" r="3.5"/>
<g id="zoomPlus">
<use xlink:href="#rim" fill="#404040"><set attributeName="fill" to="#808080" begin="zoomplus.mouseover" end="zoomplus.mouseout"/></use>
<path d="M-4,0h8M0,-4v8" fill="none" stroke="white" stroke-width="1.5" pointer-events="none"/>
</g>
<g id="zoomMin">
<use xlink:href="#rim" fill="#404040"><set attributeName="fill" to="#808080" begin="zoomminus.mouseover" end="zoomminus.mouseout"/></use>
<path d="M-4,0h8" fill="none" stroke="white" stroke-width="1.5" pointer-events="none"/>
</g>
<g id="arrowUp" transform="translate(30 24)">
<use xlink:href="#rim"/>
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
</g>
<g id="arrowRight" transform="rotate(90) translate(36 -43)">
<use xlink:href="#rim"/>
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
</g>
<g id="arrowDown" transform="rotate(180) translate(-30 -48)">
<use xlink:href="#rim"/>
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
</g>
<g id="arrowLeft" transform="rotate(270) translate(-36 17)">
<use xlink:href="#rim"/>
<path pointer-events="none" fill="none" stroke="white" stroke-width="1.5" d="M0,-3.0v7 M-2.5,-0.5L0,-3.0L2.5,-0.5"/>
</g>
<g id="resetDef">
<use xlink:href="#rim2" fill="#404040"><set attributeName="fill" to="#808080" begin="reset.mouseover" end="reset.mouseout"/></use>
</g>
</defs>
<script type="application/ecmascript">
var viewWidth = 1512;
var viewHeight = 1215;
var sectionId = 'dynsection-0';
</script>
<script type="application/ecmascript" xlink:href="svg.min.js"/>
<svg id="graph" class="graph">
<g id="viewport">
<title>src/include/serif/discretization/domain/schema/validation/connected.hpp</title>
<!-- Node1 -->
<g id="Node000001" class="node">
<title>Node1</title>
<g id="a_Node000001"><a xlink:title="File containing the specialization of RelationValidator for FullyConnected relations....">
<polygon fill="#999999" stroke="#666666" points="1187.25,-1207 988.25,-1207 988.25,-1176.5 1187.25,-1176.5 1187.25,-1207"/>
<text xml:space="preserve" text-anchor="start" x="996.25" y="-1193.5" font-family="Helvetica,sans-Serif" font-size="10.00">src/include/serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="1087.75" y="-1182.25" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/schema/validation/connected.hpp</text>
</a>
</g>
</g>
<!-- Node2 -->
<g id="Node000002" class="node">
<title>Node2</title>
<g id="a_Node000002"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="1253.88,-19.25 1205.62,-19.25 1205.62,0 1253.88,0 1253.88,-19.25"/>
<text xml:space="preserve" text-anchor="middle" x="1229.75" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">cstddef</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node2 -->
<g id="edge1_Node000001_Node000002" class="edge">
<title>Node1&#45;&gt;Node2</title>
<g id="a_edge1_Node000001_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1187.47,-1182.29C1241.39,-1175.36 1308.29,-1162.87 1364.75,-1140.5 1434.94,-1112.7 1503.75,-1118.37 1503.75,-1042.88 1503.75,-1042.88 1503.75,-1042.88 1503.75,-141.62 1503.75,-37.02 1339.2,-15.87 1265.14,-11.65"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1265.74,-8.17 1255.58,-11.18 1265.39,-15.17 1265.74,-8.17"/>
</a>
</g>
</g>
<!-- Node3 -->
<g id="Node000003" class="node">
<title>Node3</title>
<g id="a_Node000003"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="1286.62,-896 1236.88,-896 1236.88,-876.75 1286.62,-876.75 1286.62,-896"/>
<text xml:space="preserve" text-anchor="middle" x="1261.75" y="-882.5" font-family="Helvetica,sans-Serif" font-size="10.00">optional</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node3 -->
<g id="edge2_Node000001_Node000003" class="edge">
<title>Node1&#45;&gt;Node3</title>
<g id="a_edge2_Node000001_Node000003"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1118.07,-1176C1156.32,-1155.81 1221.37,-1115.91 1256.75,-1062.75 1286.58,-1017.92 1283.79,-996.64 1276.75,-943.25 1275.15,-931.08 1271.66,-917.8 1268.45,-907.24"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1271.79,-906.21 1265.4,-897.77 1265.13,-908.36 1271.79,-906.21"/>
</a>
</g>
</g>
<!-- Node4 -->
<g id="Node000004" class="node">
<title>Node4</title>
<g id="a_Node000004"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="1424.25,-973.75 1381.25,-973.75 1381.25,-954.5 1424.25,-954.5 1424.25,-973.75"/>
<text xml:space="preserve" text-anchor="middle" x="1402.75" y="-960.25" font-family="Helvetica,sans-Serif" font-size="10.00">vector</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node4 -->
<g id="edge3_Node000001_Node000004" class="edge">
<title>Node1&#45;&gt;Node4</title>
<g id="a_edge3_Node000001_Node000004"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1187.58,-1185.24C1223.48,-1178.65 1261.93,-1165.63 1289.75,-1140.5 1331.64,-1102.67 1299.89,-1066.9 1332.75,-1021 1344.59,-1004.46 1362.61,-990.23 1377.4,-980.28"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1379.22,-983.26 1385.73,-974.91 1375.43,-977.38 1379.22,-983.26"/>
</a>
</g>
</g>
<!-- Node5 -->
<g id="Node000005" class="node">
<title>Node5</title>
<g id="a_Node000005"><a xlink:href="discretization_2domain_2concepts_8hpp.html" target="_top" xlink:title="File containing concepts for the domain module. These concepts are used to constrain template paramet...">
<polygon fill="white" stroke="#666666" points="423.75,-157.88 311.75,-157.88 311.75,-127.38 423.75,-127.38 423.75,-157.88"/>
<text xml:space="preserve" text-anchor="start" x="319.75" y="-144.38" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="367.75" y="-133.12" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node5 -->
<g id="edge4_Node000001_Node000005" class="edge">
<title>Node1&#45;&gt;Node5</title>
<g id="a_edge4_Node000001_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M988,-1190.84C830.95,-1189.69 534,-1181.88 437.75,-1140.5 378.31,-1114.94 329.75,-1107.58 329.75,-1042.88 329.75,-1042.88 329.75,-1042.88 329.75,-280.25 329.75,-239.97 345.27,-195.36 356.48,-168.42"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="359.62,-169.98 360.36,-159.41 353.19,-167.21 359.62,-169.98"/>
</a>
</g>
</g>
<!-- Node15 -->
<g id="Node000015" class="node">
<title>Node15</title>
<g id="a_Node000015"><a xlink:href="discretization_2domain_2mesh_2topology_8hpp.html" target="_top" xlink:title="This file defines the MeshTopology class, which provides a convenient interface for querying the topo...">
<polygon fill="white" stroke="#666666" points="1476,-1057.12 1341.5,-1057.12 1341.5,-1026.62 1476,-1026.62 1476,-1057.12"/>
<text xml:space="preserve" text-anchor="start" x="1349.5" y="-1043.62" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="1408.75" y="-1032.38" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/mesh/topology.hpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node15 -->
<g id="edge17_Node000001_Node000015" class="edge">
<title>Node1&#45;&gt;Node15</title>
<g id="a_edge17_Node000001_Node000015"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1187.51,-1184.85C1232.9,-1178.53 1285.73,-1165.82 1327.75,-1140.5 1357.39,-1122.64 1381.16,-1089.93 1395.1,-1067.33"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1398.09,-1069.13 1400.19,-1058.75 1392.08,-1065.56 1398.09,-1069.13"/>
</a>
</g>
</g>
<!-- Node16 -->
<g id="Node000016" class="node">
<title>Node16</title>
<g id="a_Node000016"><a xlink:href="discretization_2domain_2relation_2relations_8hpp.html" target="_top" xlink:title="This file defines compile time tags for the relations that can be declared about a mesh in the domain...">
<polygon fill="white" stroke="#666666" points="615.5,-230 472,-230 472,-199.5 615.5,-199.5 615.5,-230"/>
<text xml:space="preserve" text-anchor="start" x="480" y="-216.5" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="543.75" y="-205.25" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/relations.hpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node16 -->
<g id="edge20_Node000001_Node000016" class="edge">
<title>Node1&#45;&gt;Node16</title>
<g id="a_edge20_Node000001_Node000016"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M987.85,-1189.63C798.42,-1184.78 405.75,-1160.55 405.75,-1042.88 405.75,-1042.88 405.75,-1042.88 405.75,-652.12 405.75,-488.38 495.18,-305.49 530.05,-240.38"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="533.11,-242.08 534.81,-231.62 526.96,-238.74 533.11,-242.08"/>
</a>
</g>
</g>
<!-- Node19 -->
<g id="Node000019" class="node">
<title>Node19</title>
<g id="a_Node000019"><a xlink:href="discretization_2domain_2relation_2validation_2runtime_8hpp.html" target="_top" xlink:title="This file contains the runtime validation results for relations in the domain module.">
<polygon fill="white" stroke="#666666" points="1152.38,-985 1023.12,-985 1023.12,-943.25 1152.38,-943.25 1152.38,-985"/>
<text xml:space="preserve" text-anchor="start" x="1031.12" y="-971.5" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="1031.12" y="-960.25" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/validation</text>
<text xml:space="preserve" text-anchor="middle" x="1087.75" y="-949" font-family="Helvetica,sans-Serif" font-size="10.00">/runtime.hpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node19 -->
<g id="edge27_Node000001_Node000019" class="edge">
<title>Node1&#45;&gt;Node19</title>
<g id="a_edge27_Node000001_Node000019"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1087.75,-1176.29C1087.75,-1140.35 1087.75,-1046.29 1087.75,-996.73"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1091.25,-996.95 1087.75,-986.95 1084.25,-996.95 1091.25,-996.95"/>
</a>
</g>
</g>
<!-- Node21 -->
<g id="Node000021" class="node">
<title>Node21</title>
<g id="a_Node000021"><a xlink:href="discretization_2domain_2schema_2concepts_8hpp.html" target="_top" xlink:title="File containing the concept for a schema, which is a collection of relations that describe the relati...">
<polygon fill="white" stroke="#666666" points="583.5,-1057.12 434,-1057.12 434,-1026.62 583.5,-1026.62 583.5,-1057.12"/>
<text xml:space="preserve" text-anchor="start" x="442" y="-1043.62" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="508.75" y="-1032.38" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/schema/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node21 -->
<g id="edge30_Node000001_Node000021" class="edge">
<title>Node1&#45;&gt;Node21</title>
<g id="a_edge30_Node000001_Node000021"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1030.12,-1176.03C922.71,-1148.6 692.42,-1089.78 577.26,-1060.37"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="578.17,-1056.99 567.62,-1057.91 576.44,-1063.78 578.17,-1056.99"/>
</a>
</g>
</g>
<!-- Node41 -->
<g id="Node000041" class="node">
<title>Node41</title>
<g id="a_Node000041"><a xlink:href="validator_8hpp.html" target="_top" xlink:title="File containing the primary RelationValidator template, plus the fold that runs one validator per dec...">
<polygon fill="white" stroke="#666666" points="1059.88,-1140.5 927.62,-1140.5 927.62,-1098.75 1059.88,-1098.75 1059.88,-1140.5"/>
<text xml:space="preserve" text-anchor="start" x="935.62" y="-1127" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="935.62" y="-1115.75" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/schema/validation</text>
<text xml:space="preserve" text-anchor="middle" x="993.75" y="-1104.5" font-family="Helvetica,sans-Serif" font-size="10.00">/validator.hpp</text>
</a>
</g>
</g>
<!-- Node1&#45;&gt;Node41 -->
<g id="edge79_Node000001_Node000041" class="edge">
<title>Node1&#45;&gt;Node41</title>
<g id="a_edge79_Node000001_Node000041"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1068.27,-1176.22C1057.28,-1168.02 1043.19,-1157.51 1030.22,-1147.84"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1032.36,-1145.07 1022.26,-1141.89 1028.18,-1150.68 1032.36,-1145.07"/>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node2 -->
<g id="edge5_Node000005_Node000002" class="edge">
<title>Node5&#45;&gt;Node2</title>
<g id="a_edge5_Node000005_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M395.75,-126.91C435.6,-106.75 511.54,-71.23 580.75,-55.25 698.98,-27.95 1075.95,-15.04 1194.03,-11.6"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1193.85,-15.1 1203.75,-11.32 1193.65,-8.11 1193.85,-15.1"/>
</a>
</g>
</g>
<!-- Node6 -->
<g id="Node000006" class="node">
<title>Node6</title>
<g id="a_Node000006"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="221.5,-19.25 156,-19.25 156,0 221.5,0 221.5,-19.25"/>
<text xml:space="preserve" text-anchor="middle" x="188.75" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">string_view</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node6 -->
<g id="edge6_Node000005_Node000006" class="edge">
<title>Node5&#45;&gt;Node6</title>
<g id="a_edge6_Node000005_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M311.45,-129.42C283.34,-121 250.38,-107.32 226.75,-85.75 210.25,-70.68 199.9,-46.82 194.25,-30.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="197.67,-29.27 191.38,-20.74 190.98,-31.33 197.67,-29.27"/>
</a>
</g>
</g>
<!-- Node7 -->
<g id="Node000007" class="node">
<title>Node7</title>
<g id="a_Node000007"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="387.25,-80.12 350.25,-80.12 350.25,-60.88 387.25,-60.88 387.25,-80.12"/>
<text xml:space="preserve" text-anchor="middle" x="368.75" y="-66.62" font-family="Helvetica,sans-Serif" font-size="10.00">span</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node7 -->
<g id="edge7_Node000005_Node000007" class="edge">
<title>Node5&#45;&gt;Node7</title>
<g id="a_edge7_Node000005_Node000007"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M367.96,-127.1C368.1,-116.84 368.3,-102.95 368.46,-91.63"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="371.96,-91.82 368.6,-81.77 364.96,-91.72 371.96,-91.82"/>
</a>
</g>
</g>
<!-- Node8 -->
<g id="Node000008" class="node">
<title>Node8</title>
<g id="a_Node000008"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="751.62,-80.12 713.88,-80.12 713.88,-60.88 751.62,-60.88 751.62,-80.12"/>
<text xml:space="preserve" text-anchor="middle" x="732.75" y="-66.62" font-family="Helvetica,sans-Serif" font-size="10.00">array</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node8 -->
<g id="edge8_Node000005_Node000008" class="edge">
<title>Node5&#45;&gt;Node8</title>
<g id="a_edge8_Node000005_Node000008"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M424.08,-130.36C439.21,-127.44 455.59,-124.38 470.75,-121.75 574.43,-103.78 604.6,-118.02 704.75,-85.75 705.4,-85.54 706.05,-85.32 706.71,-85.08"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="707.97,-88.35 715.75,-81.15 705.18,-81.93 707.97,-88.35"/>
</a>
</g>
</g>
<!-- Node9 -->
<g id="Node000009" class="node">
<title>Node9</title>
<g id="a_Node000009"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="1087.62,-80.12 1043.88,-80.12 1043.88,-60.88 1087.62,-60.88 1087.62,-80.12"/>
<text xml:space="preserve" text-anchor="middle" x="1065.75" y="-66.62" font-family="Helvetica,sans-Serif" font-size="10.00">format</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node9 -->
<g id="edge9_Node000005_Node000009" class="edge">
<title>Node5&#45;&gt;Node9</title>
<g id="a_edge9_Node000005_Node000009"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M424.21,-129.39C439.27,-126.5 455.58,-123.69 470.75,-121.75 719.9,-89.89 791.22,-147.24 1034.75,-85.75 1035.96,-85.45 1037.17,-85.1 1038.39,-84.71"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1039.67,-87.97 1047.7,-81.06 1037.11,-81.45 1039.67,-87.97"/>
</a>
</g>
</g>
<!-- Node10 -->
<g id="Node000010" class="node">
<title>Node10</title>
<g id="a_Node000010"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="456,-80.12 405.5,-80.12 405.5,-60.88 456,-60.88 456,-80.12"/>
<text xml:space="preserve" text-anchor="middle" x="430.75" y="-66.62" font-family="Helvetica,sans-Serif" font-size="10.00">numeric</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node10 -->
<g id="edge10_Node000005_Node000010" class="edge">
<title>Node5&#45;&gt;Node10</title>
<g id="a_edge10_Node000005_Node000010"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M380.8,-127.1C390.81,-115.95 404.66,-100.54 415.24,-88.77"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="417.79,-91.16 421.87,-81.38 412.58,-86.48 417.79,-91.16"/>
</a>
</g>
</g>
<!-- Node11 -->
<g id="Node000011" class="node">
<title>Node11</title>
<g id="a_Node000011"><a xlink:href="discretization_2domain_2types_8hpp.html" target="_top" xlink:title="File containing the Domain and Boundary types for SERiF. These types are used to represent the differ...">
<polygon fill="white" stroke="#666666" points="331.88,-85.75 235.62,-85.75 235.62,-55.25 331.88,-55.25 331.88,-85.75"/>
<text xml:space="preserve" text-anchor="start" x="243.62" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="283.75" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/types.hpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node11 -->
<g id="edge11_Node000005_Node000011" class="edge">
<title>Node5&#45;&gt;Node11</title>
<g id="a_edge11_Node000005_Node000011"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M350.35,-127.1C338.63,-117.32 322.98,-104.25 309.79,-93.24"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="312.21,-90.7 302.29,-86.98 307.73,-96.08 312.21,-90.7"/>
</a>
</g>
</g>
<!-- Node12 -->
<g id="Node000012" class="node">
<title>Node12</title>
<g id="a_Node000012"><a xlink:href="cleaning_8hpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="695.38,-85.75 590.12,-85.75 590.12,-55.25 695.38,-55.25 695.38,-85.75"/>
<text xml:space="preserve" text-anchor="start" x="598.12" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/utils/misc/std</text>
<text xml:space="preserve" text-anchor="middle" x="642.75" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">_helper/cleaning.hpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node12 -->
<g id="edge13_Node000005_Node000012" class="edge">
<title>Node5&#45;&gt;Node12</title>
<g id="a_edge13_Node000005_Node000012"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M424.06,-127.26C469.02,-115.8 532,-99.74 578.84,-87.8"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="579.49,-91.24 588.31,-85.38 577.76,-84.46 579.49,-91.24"/>
</a>
</g>
</g>
<!-- Node14 -->
<g id="Node000014" class="node">
<title>Node14</title>
<g id="a_Node000014"><a xlink:href="variadic__cleaning_8hpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="1025.88,-85.75 881.62,-85.75 881.62,-55.25 1025.88,-55.25 1025.88,-85.75"/>
<text xml:space="preserve" text-anchor="start" x="889.62" y="-72.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/utils/misc/std</text>
<text xml:space="preserve" text-anchor="middle" x="953.75" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">_helper/variadic_cleaning.hpp</text>
</a>
</g>
</g>
<!-- Node5&#45;&gt;Node14 -->
<g id="edge15_Node000005_Node000014" class="edge">
<title>Node5&#45;&gt;Node14</title>
<g id="a_edge15_Node000005_Node000014"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M423.99,-129.8C439.12,-126.89 455.52,-123.97 470.75,-121.75 631.62,-98.32 673.15,-103.42 834.75,-85.75 846.19,-84.5 858.25,-83.12 870.11,-81.74"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="870.38,-85.23 879.9,-80.58 869.56,-78.28 870.38,-85.23"/>
</a>
</g>
</g>
<!-- Node11&#45;&gt;Node6 -->
<g id="edge12_Node000011_Node000006" class="edge">
<title>Node11&#45;&gt;Node6</title>
<g id="a_edge12_Node000011_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M260.27,-54.95C245.94,-46.07 227.66,-34.74 213.17,-25.76"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="215.03,-22.79 204.68,-20.5 211.34,-28.74 215.03,-22.79"/>
</a>
</g>
</g>
<!-- Node13 -->
<g id="Node000013" class="node">
<title>Node13</title>
<g id="a_Node000013"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="779.62,-19.25 717.88,-19.25 717.88,0 779.62,0 779.62,-19.25"/>
<text xml:space="preserve" text-anchor="middle" x="748.75" y="-5.75" font-family="Helvetica,sans-Serif" font-size="10.00">type_traits</text>
</a>
</g>
</g>
<!-- Node12&#45;&gt;Node13 -->
<g id="edge14_Node000012_Node000013" class="edge">
<title>Node12&#45;&gt;Node13</title>
<g id="a_edge14_Node000012_Node000013"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M669.22,-54.8C685.52,-45.74 706.33,-34.19 722.57,-25.16"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="724.13,-28.3 731.17,-20.39 720.73,-22.18 724.13,-28.3"/>
</a>
</g>
</g>
<!-- Node14&#45;&gt;Node2 -->
<g id="edge16_Node000014_Node000002" class="edge">
<title>Node14&#45;&gt;Node2</title>
<g id="a_edge16_Node000014_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1022.68,-54.8C1077.24,-43.16 1151.19,-27.38 1194.36,-18.17"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1194.89,-21.64 1203.94,-16.13 1193.43,-14.79 1194.89,-21.64"/>
</a>
</g>
</g>
<!-- Node15&#45;&gt;Node2 -->
<g id="edge18_Node000015_Node000002" class="edge">
<title>Node15&#45;&gt;Node2</title>
<g id="a_edge18_Node000015_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1416.27,-1026.53C1421.8,-1015.45 1429.13,-999.59 1433.75,-985 1447.09,-942.86 1452.75,-931.58 1452.75,-887.38 1452.75,-887.38 1452.75,-887.38 1452.75,-141.62 1452.75,-55.78 1328.38,-25.09 1265.4,-15.06"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1265.94,-11.6 1255.54,-13.59 1264.91,-18.52 1265.94,-11.6"/>
</a>
</g>
</g>
<!-- Node15&#45;&gt;Node4 -->
<g id="edge19_Node000015_Node000004" class="edge">
<title>Node15&#45;&gt;Node4</title>
<g id="a_edge19_Node000015_Node000004"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1407.59,-1026.27C1406.67,-1014.66 1405.38,-998.29 1404.36,-985.41"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1407.85,-985.2 1403.57,-975.51 1400.87,-985.75 1407.85,-985.2"/>
</a>
</g>
</g>
<!-- Node16&#45;&gt;Node5 -->
<g id="edge22_Node000016_Node000005" class="edge">
<title>Node16&#45;&gt;Node5</title>
<g id="a_edge22_Node000016_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M506.85,-199.05C480.22,-188.44 444.03,-174.02 415.23,-162.54"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="416.59,-159.32 406,-158.87 414,-165.82 416.59,-159.32"/>
</a>
</g>
</g>
<!-- Node16&#45;&gt;Node6 -->
<g id="edge21_Node000016_Node000006" class="edge">
<title>Node16&#45;&gt;Node6</title>
<g id="a_edge21_Node000016_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M509.97,-199.06C495.3,-190.84 479.49,-179.06 470.75,-163.5 447.16,-121.49 496.99,-91.06 464.75,-55.25 434.6,-21.76 303.01,-13.38 232.98,-11.3"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="233.48,-7.81 223.39,-11.04 233.3,-14.81 233.48,-7.81"/>
</a>
</g>
</g>
<!-- Node16&#45;&gt;Node14 -->
<g id="edge26_Node000016_Node000014" class="edge">
<title>Node16&#45;&gt;Node14</title>
<g id="a_edge26_Node000016_Node000014"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M615.73,-209.55C724.93,-202.47 922.24,-186.63 944.75,-163.5 961.4,-146.39 961.74,-118.09 959.1,-97.38"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="962.59,-97.03 957.54,-87.71 955.68,-98.14 962.59,-97.03"/>
</a>
</g>
</g>
<!-- Node17 -->
<g id="Node000017" class="node">
<title>Node17</title>
<g id="a_Node000017"><a xlink:href="numeric_8hpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="602,-157.88 479.5,-157.88 479.5,-127.38 602,-127.38 602,-157.88"/>
<text xml:space="preserve" text-anchor="start" x="487.5" y="-144.38" font-family="Helvetica,sans-Serif" font-size="10.00">serif/utils/misc/concepts</text>
<text xml:space="preserve" text-anchor="middle" x="540.75" y="-133.12" font-family="Helvetica,sans-Serif" font-size="10.00">/numeric.hpp</text>
</a>
</g>
</g>
<!-- Node16&#45;&gt;Node17 -->
<g id="edge23_Node000016_Node000017" class="edge">
<title>Node16&#45;&gt;Node17</title>
<g id="a_edge23_Node000016_Node000017"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M543.13,-199.22C542.76,-190.66 542.29,-179.59 541.86,-169.58"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="545.36,-169.49 541.44,-159.65 538.37,-169.79 545.36,-169.49"/>
</a>
</g>
</g>
<!-- Node17&#45;&gt;Node13 -->
<g id="edge25_Node000017_Node000013" class="edge">
<title>Node17&#45;&gt;Node13</title>
<g id="a_edge25_Node000017_Node000013"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M543.5,-127.07C547.92,-107.76 558.47,-73.95 580.75,-55.25 616.1,-25.57 669.18,-15.43 706.18,-12.07"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="706.37,-15.57 716.08,-11.32 705.84,-8.59 706.37,-15.57"/>
</a>
</g>
</g>
<!-- Node18 -->
<g id="Node000018" class="node">
<title>Node18</title>
<g id="a_Node000018"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="825.62,-80.12 769.88,-80.12 769.88,-60.88 825.62,-60.88 825.62,-80.12"/>
<text xml:space="preserve" text-anchor="middle" x="797.75" y="-66.62" font-family="Helvetica,sans-Serif" font-size="10.00">concepts</text>
</a>
</g>
</g>
<!-- Node17&#45;&gt;Node18 -->
<g id="edge24_Node000017_Node000018" class="edge">
<title>Node17&#45;&gt;Node18</title>
<g id="a_edge24_Node000017_Node000018"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M602.47,-128.02C646.88,-117.73 707.99,-102.54 760.75,-85.75 762.12,-85.32 763.5,-84.86 764.9,-84.38"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="765.95,-87.72 774.17,-81.04 763.58,-81.14 765.95,-87.72"/>
</a>
</g>
</g>
<!-- Node19&#45;&gt;Node3 -->
<g id="edge29_Node000019_Node000003" class="edge">
<title>Node19&#45;&gt;Node3</title>
<g id="a_edge29_Node000019_Node000003"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1134.38,-942.83C1164.81,-929.58 1203.72,-912.64 1230.48,-900.99"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1231.63,-904.3 1239.41,-897.1 1228.84,-897.88 1231.63,-904.3"/>
</a>
</g>
</g>
<!-- Node20 -->
<g id="Node000020" class="node">
<title>Node20</title>
<g id="a_Node000020"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="1110.38,-896 1065.12,-896 1065.12,-876.75 1110.38,-876.75 1110.38,-896"/>
<text xml:space="preserve" text-anchor="middle" x="1087.75" y="-882.5" font-family="Helvetica,sans-Serif" font-size="10.00">cstdint</text>
</a>
</g>
</g>
<!-- Node19&#45;&gt;Node20 -->
<g id="edge28_Node000019_Node000020" class="edge">
<title>Node19&#45;&gt;Node20</title>
<g id="a_edge28_Node000019_Node000020"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1087.75,-942.83C1087.75,-931.99 1087.75,-918.69 1087.75,-907.83"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1091.25,-908.01 1087.75,-898.01 1084.25,-908.01 1091.25,-908.01"/>
</a>
</g>
</g>
<!-- Node22 -->
<g id="Node000022" class="node">
<title>Node22</title>
<g id="a_Node000022"><a xlink:href="discretization_2domain_2schema_2traits_8hpp.html" target="_top" xlink:title="File containing the is_schema_v trait. This trait is used to determine if a type is a DomainSchema.">
<polygon fill="white" stroke="#666666" points="565.5,-979.38 434,-979.38 434,-948.88 565.5,-948.88 565.5,-979.38"/>
<text xml:space="preserve" text-anchor="start" x="442" y="-965.88" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="499.75" y="-954.62" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/schema/traits.hpp</text>
</a>
</g>
</g>
<!-- Node21&#45;&gt;Node22 -->
<g id="edge31_Node000021_Node000022" class="edge">
<title>Node21&#45;&gt;Node22</title>
<g id="a_edge31_Node000021_Node000022"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M507.01,-1026.27C505.83,-1016.31 504.23,-1002.86 502.84,-991.1"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="506.31,-990.71 501.66,-981.19 499.36,-991.53 506.31,-990.71"/>
</a>
</g>
</g>
<!-- Node23 -->
<g id="Node000023" class="node">
<title>Node23</title>
<g id="a_Node000023"><a xlink:href="domain__schema_8hpp.html" target="_top" xlink:title="File containing the DomainSchema class. The idea here is to prevent a class of bugs wherein the user ...">
<polygon fill="white" stroke="#666666" points="790,-907.25 667.5,-907.25 667.5,-865.5 790,-865.5 790,-907.25"/>
<text xml:space="preserve" text-anchor="start" x="675.5" y="-893.75" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="675.5" y="-882.5" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/schema/domain</text>
<text xml:space="preserve" text-anchor="middle" x="728.75" y="-871.25" font-family="Helvetica,sans-Serif" font-size="10.00">_schema.hpp</text>
</a>
</g>
</g>
<!-- Node22&#45;&gt;Node23 -->
<g id="edge32_Node000022_Node000023" class="edge">
<title>Node22&#45;&gt;Node23</title>
<g id="a_edge32_Node000022_Node000023"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M544.18,-948.43C576.14,-937.86 619.94,-923.37 656.85,-911.16"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="657.73,-914.55 666.13,-908.09 655.53,-907.91 657.73,-914.55"/>
</a>
</g>
</g>
<!-- Node23&#45;&gt;Node2 -->
<g id="edge33_Node000023_Node000002" class="edge">
<title>Node23&#45;&gt;Node2</title>
<g id="a_edge33_Node000023_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M790.35,-884.13C887.84,-878.53 1066.75,-851.91 1066.75,-731.88 1066.75,-731.88 1066.75,-731.88 1066.75,-652.12 1066.75,-472.48 1229.75,-461.89 1229.75,-282.25 1229.75,-282.25 1229.75,-282.25 1229.75,-141.62 1229.75,-102.32 1229.75,-56.39 1229.75,-30.69"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1233.25,-31.03 1229.75,-21.03 1226.25,-31.03 1233.25,-31.03"/>
</a>
</g>
</g>
<!-- Node23&#45;&gt;Node5 -->
<g id="edge34_Node000023_Node000005" class="edge">
<title>Node23&#45;&gt;Node5</title>
<g id="a_edge34_Node000023_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M706.98,-865.09C628.93,-791.47 367.75,-536.86 367.75,-426.5 367.75,-426.5 367.75,-426.5 367.75,-280.25 367.75,-241.58 367.75,-196.75 367.75,-169.29"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="371.25,-169.5 367.75,-159.5 364.25,-169.5 371.25,-169.5"/>
</a>
</g>
</g>
<!-- Node24 -->
<g id="Node000024" class="node">
<title>Node24</title>
<g id="a_Node000024"><a xlink:href="discretization_2domain_2ids_2lists_2concepts_8hpp.html" target="_top" xlink:title="This file defines concepts for domain ID lists in the discretization framework.">
<polygon fill="white" stroke="#666666" points="801.12,-590.62 652.38,-590.62 652.38,-560.12 801.12,-560.12 801.12,-590.62"/>
<text xml:space="preserve" text-anchor="start" x="660.38" y="-577.12" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="726.75" y="-565.88" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/lists/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node23&#45;&gt;Node24 -->
<g id="edge35_Node000023_Node000024" class="edge">
<title>Node23&#45;&gt;Node24</title>
<g id="a_edge35_Node000023_Node000024"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M728.62,-865.1C728.27,-810.95 727.31,-662.96 726.92,-602.56"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="730.42,-602.56 726.85,-592.58 723.42,-602.61 730.42,-602.56"/>
</a>
</g>
</g>
<!-- Node34 -->
<g id="Node000034" class="node">
<title>Node34</title>
<g id="a_Node000034"><a xlink:href="discretization_2domain_2relation_2lists_2concepts_8hpp.html" target="_top" xlink:title="This file defines concepts for relation lists in the discretization framework.">
<polygon fill="white" stroke="#666666" points="1038.75,-674 932.75,-674 932.75,-632.25 1038.75,-632.25 1038.75,-674"/>
<text xml:space="preserve" text-anchor="start" x="940.75" y="-660.5" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="940.75" y="-649.25" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/lists</text>
<text xml:space="preserve" text-anchor="middle" x="985.75" y="-638" font-family="Helvetica,sans-Serif" font-size="10.00">/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node23&#45;&gt;Node34 -->
<g id="edge58_Node000023_Node000034" class="edge">
<title>Node23&#45;&gt;Node34</title>
<g id="a_edge58_Node000023_Node000034"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M790.39,-876.92C825.24,-869.44 867.7,-855.46 897.75,-829.5 942.35,-790.97 966.86,-724.42 978.06,-685.32"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="981.4,-686.39 980.66,-675.82 974.65,-684.54 981.4,-686.39"/>
</a>
</g>
</g>
<!-- Node38 -->
<g id="Node000038" class="node">
<title>Node38</title>
<g id="a_Node000038"><a xlink:href="discretization_2domain_2relation_2validation_2concepts_8hpp.html" target="_top" xlink:title="This file defines concepts for relation validation in the discretization framework.">
<polygon fill="white" stroke="#666666" points="888.38,-829.5 759.12,-829.5 759.12,-787.75 888.38,-787.75 888.38,-829.5"/>
<text xml:space="preserve" text-anchor="start" x="767.12" y="-816" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="767.12" y="-804.75" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/validation</text>
<text xml:space="preserve" text-anchor="middle" x="823.75" y="-793.5" font-family="Helvetica,sans-Serif" font-size="10.00">/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node23&#45;&gt;Node38 -->
<g id="edge66_Node000023_Node000038" class="edge">
<title>Node23&#45;&gt;Node38</title>
<g id="a_edge66_Node000023_Node000038"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M754.21,-865.08C764.96,-856.5 777.66,-846.38 789.23,-837.15"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="791.4,-839.9 797.04,-830.92 787.04,-834.42 791.4,-839.9"/>
</a>
</g>
</g>
<!-- Node40 -->
<g id="Node000040" class="node">
<title>Node40</title>
<g id="a_Node000040"><a xlink:href="resolver_8hpp.html" target="_top" xlink:title="File containing the DomainIDResolver and BoundaryIDResolver structs. These structs are used to resolv...">
<polygon fill="white" stroke="#666666" points="700.75,-668.38 594.75,-668.38 594.75,-637.88 700.75,-637.88 700.75,-668.38"/>
<text xml:space="preserve" text-anchor="start" x="602.75" y="-654.88" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="647.75" y="-643.62" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/resolver.hpp</text>
</a>
</g>
</g>
<!-- Node23&#45;&gt;Node40 -->
<g id="edge78_Node000023_Node000040" class="edge">
<title>Node23&#45;&gt;Node40</title>
<g id="a_edge78_Node000023_Node000040"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M721.7,-865.26C706.94,-823.12 672.8,-725.65 656.6,-679.38"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="660,-678.5 653.39,-670.22 653.39,-680.81 660,-678.5"/>
</a>
</g>
</g>
<!-- Node25 -->
<g id="Node000025" class="node">
<title>Node25</title>
<g id="a_Node000025"><a xlink:href="discretization_2domain_2ids_2lists_2traits_8hpp.html" target="_top" xlink:title="Compile&#45;time traits for domain ID lists, used to extract types and properties from template parameter...">
<polygon fill="white" stroke="#666666" points="796.12,-512.88 665.38,-512.88 665.38,-482.38 796.12,-482.38 796.12,-512.88"/>
<text xml:space="preserve" text-anchor="start" x="673.38" y="-499.38" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="730.75" y="-488.12" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/lists/traits.hpp</text>
</a>
</g>
</g>
<!-- Node24&#45;&gt;Node25 -->
<g id="edge36_Node000024_Node000025" class="edge">
<title>Node24&#45;&gt;Node25</title>
<g id="a_edge36_Node000024_Node000025"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M727.52,-559.77C728.05,-549.81 728.76,-536.36 729.38,-524.6"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="732.87,-524.87 729.9,-514.7 725.88,-524.5 732.87,-524.87"/>
</a>
</g>
</g>
<!-- Node26 -->
<g id="Node000026" class="node">
<title>Node26</title>
<g id="a_Node000026"><a xlink:href="lists_8hpp.html" target="_top" xlink:title="This file defines the DomainIDList and BoundaryIDList types, specifically these types are used to pro...">
<polygon fill="white" stroke="#666666" points="855.25,-440.75 728.25,-440.75 728.25,-410.25 855.25,-410.25 855.25,-440.75"/>
<text xml:space="preserve" text-anchor="start" x="736.25" y="-427.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="791.75" y="-416" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/lists/lists.hpp</text>
</a>
</g>
</g>
<!-- Node25&#45;&gt;Node26 -->
<g id="edge37_Node000025_Node000026" class="edge">
<title>Node25&#45;&gt;Node26</title>
<g id="a_edge37_Node000025_Node000026"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M743.39,-482.1C751.57,-472.69 762.39,-460.25 771.73,-449.52"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="774.21,-452 778.13,-442.15 768.93,-447.4 774.21,-452"/>
</a>
</g>
</g>
<!-- Node26&#45;&gt;Node2 -->
<g id="edge39_Node000026_Node000002" class="edge">
<title>Node26&#45;&gt;Node2</title>
<g id="a_edge39_Node000026_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M855.56,-418.7C893.5,-412.59 940.86,-400.03 975.75,-374.25 1110.71,-274.51 1067.98,-182.18 1177.75,-55.25 1186.83,-44.75 1198.44,-34.55 1208.38,-26.56"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1210.34,-29.47 1216.08,-20.56 1206.04,-23.95 1210.34,-29.47"/>
</a>
</g>
</g>
<!-- Node26&#45;&gt;Node8 -->
<g id="edge38_Node000026_Node000008" class="edge">
<title>Node26&#45;&gt;Node8</title>
<g id="a_edge38_Node000026_Node000008"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M794.51,-409.88C802.32,-364.8 821.37,-224.82 778.75,-121.75 773.28,-108.53 762.71,-96.58 753.08,-87.66"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="755.66,-85.26 745.82,-81.35 751.07,-90.55 755.66,-85.26"/>
</a>
</g>
</g>
<!-- Node26&#45;&gt;Node14 -->
<g id="edge57_Node000026_Node000014" class="edge">
<title>Node26&#45;&gt;Node14</title>
<g id="a_edge57_Node000026_Node000014"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M855.61,-409.99C917.4,-391.72 1001.75,-353.7 1001.75,-282.25 1001.75,-282.25 1001.75,-282.25 1001.75,-213.75 1001.75,-170.49 981.57,-123.53 967.38,-95.86"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="970.6,-94.44 962.82,-87.24 964.41,-97.72 970.6,-94.44"/>
</a>
</g>
</g>
<!-- Node27 -->
<g id="Node000027" class="node">
<title>Node27</title>
<g id="a_Node000027"><a xlink:href="discretization_2domain_2ids_2validation_2concepts_8hpp.html" target="_top" xlink:title="This file defines concepts for domain ID lists in the discretization framework. Specifically we defin...">
<polygon fill="white" stroke="#666666" points="772,-374.25 661.5,-374.25 661.5,-332.5 772,-332.5 772,-374.25"/>
<text xml:space="preserve" text-anchor="start" x="669.5" y="-360.75" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="669.5" y="-349.5" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/validation</text>
<text xml:space="preserve" text-anchor="middle" x="716.75" y="-338.25" font-family="Helvetica,sans-Serif" font-size="10.00">/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node26&#45;&gt;Node27 -->
<g id="edge40_Node000026_Node000027" class="edge">
<title>Node26&#45;&gt;Node27</title>
<g id="a_edge40_Node000026_Node000027"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M776.21,-409.97C767.7,-402.01 756.85,-391.87 746.76,-382.43"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="749.33,-380.04 739.63,-375.77 744.55,-385.16 749.33,-380.04"/>
</a>
</g>
</g>
<!-- Node28 -->
<g id="Node000028" class="node">
<title>Node28</title>
<g id="a_Node000028"><a xlink:href="discretization_2domain_2ids_2concepts_8hpp.html" target="_top" xlink:title="This file defines concepts for domain and boundary IDs in the discretization framework....">
<polygon fill="white" stroke="#666666" points="263.62,-296.5 135.88,-296.5 135.88,-266 263.62,-266 263.62,-296.5"/>
<text xml:space="preserve" text-anchor="start" x="143.88" y="-283" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="199.75" y="-271.75" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node27&#45;&gt;Node28 -->
<g id="edge41_Node000027_Node000028" class="edge">
<title>Node27&#45;&gt;Node28</title>
<g id="a_edge41_Node000027_Node000028"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M661.42,-344.87C568.3,-332.24 380.16,-306.72 275.08,-292.47"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="275.81,-289.03 265.43,-291.16 274.87,-295.97 275.81,-289.03"/>
</a>
</g>
</g>
<!-- Node31 -->
<g id="Node000031" class="node">
<title>Node31</title>
<g id="a_Node000031"><a xlink:href="unique__ids_8hpp.html" target="_top" xlink:title="This file defines a utility function to check if a pack of values are all unique. This is used to val...">
<polygon fill="white" stroke="#666666" points="936,-163.5 825.5,-163.5 825.5,-121.75 936,-121.75 936,-163.5"/>
<text xml:space="preserve" text-anchor="start" x="833.5" y="-150" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="833.5" y="-138.75" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/validation</text>
<text xml:space="preserve" text-anchor="middle" x="880.75" y="-127.5" font-family="Helvetica,sans-Serif" font-size="10.00">/unique_ids.hpp</text>
</a>
</g>
</g>
<!-- Node27&#45;&gt;Node31 -->
<g id="edge48_Node000027_Node000031" class="edge">
<title>Node27&#45;&gt;Node31</title>
<g id="a_edge48_Node000027_Node000031"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M744.88,-332.11C757.57,-322.19 772.26,-309.59 783.75,-296.5 817.66,-257.88 847.83,-206.22 865.2,-173.94"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="868.28,-175.6 869.87,-165.12 862.1,-172.32 868.28,-175.6"/>
</a>
</g>
</g>
<!-- Node32 -->
<g id="Node000032" class="node">
<title>Node32</title>
<g id="a_Node000032"><a xlink:href="concepts_2type__uniqueness_8hpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="775,-296.5 652.5,-296.5 652.5,-266 775,-266 775,-296.5"/>
<text xml:space="preserve" text-anchor="start" x="660.5" y="-283" font-family="Helvetica,sans-Serif" font-size="10.00">serif/utils/misc/concepts</text>
<text xml:space="preserve" text-anchor="middle" x="713.75" y="-271.75" font-family="Helvetica,sans-Serif" font-size="10.00">/type_uniqueness.hpp</text>
</a>
</g>
</g>
<!-- Node27&#45;&gt;Node32 -->
<g id="edge53_Node000027_Node000032" class="edge">
<title>Node27&#45;&gt;Node32</title>
<g id="a_edge53_Node000027_Node000032"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M715.88,-332.09C715.56,-324.57 715.19,-315.94 714.85,-308"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="718.36,-308.05 714.43,-298.21 711.36,-308.35 718.36,-308.05"/>
</a>
</g>
</g>
<!-- Node29 -->
<g id="Node000029" class="node">
<title>Node29</title>
<g id="a_Node000029"><a xlink:href="ids_2boundary_8hpp.html" target="_top" xlink:title="This file defines the BoundaryID type, which is used to bind a semantic surface (a Boundary) to the i...">
<polygon fill="white" stroke="#666666" points="263.88,-230 137.62,-230 137.62,-199.5 263.88,-199.5 263.88,-230"/>
<text xml:space="preserve" text-anchor="start" x="145.62" y="-216.5" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="200.75" y="-205.25" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/boundary.hpp</text>
</a>
</g>
</g>
<!-- Node28&#45;&gt;Node29 -->
<g id="edge42_Node000028_Node000029" class="edge">
<title>Node28&#45;&gt;Node29</title>
<g id="a_edge42_Node000028_Node000029"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M199.98,-265.61C200.09,-258.52 200.22,-249.79 200.35,-241.63"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="203.84,-241.89 200.5,-231.84 196.85,-241.79 203.84,-241.89"/>
</a>
</g>
</g>
<!-- Node30 -->
<g id="Node000030" class="node">
<title>Node30</title>
<g id="a_Node000030"><a xlink:href="domain_8hpp.html" target="_top" xlink:title="This file defines the DomainID type, which is used to bind a semantic volume (a Domain) to the intege...">
<polygon fill="white" stroke="#666666" points="119.5,-230 0,-230 0,-199.5 119.5,-199.5 119.5,-230"/>
<text xml:space="preserve" text-anchor="start" x="8" y="-216.5" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="59.75" y="-205.25" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/ids/domain.hpp</text>
</a>
</g>
</g>
<!-- Node28&#45;&gt;Node30 -->
<g id="edge45_Node000028_Node000030" class="edge">
<title>Node28&#45;&gt;Node30</title>
<g id="a_edge45_Node000028_Node000030"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M167.98,-265.61C148.38,-256.58 123.01,-244.9 101.76,-235.11"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="103.31,-231.97 92.77,-230.96 100.38,-238.32 103.31,-231.97"/>
</a>
</g>
</g>
<!-- Node29&#45;&gt;Node5 -->
<g id="edge44_Node000029_Node000005" class="edge">
<title>Node29&#45;&gt;Node5</title>
<g id="a_edge44_Node000029_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M235.76,-199.05C260.92,-188.48 295.07,-174.14 322.33,-162.7"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="323.53,-165.99 331.39,-158.89 320.82,-159.54 323.53,-165.99"/>
</a>
</g>
</g>
<!-- Node29&#45;&gt;Node6 -->
<g id="edge43_Node000029_Node000006" class="edge">
<title>Node29&#45;&gt;Node6</title>
<g id="a_edge43_Node000029_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M193.8,-199.21C183.1,-175.91 163.04,-128.47 155.75,-85.75 153.47,-72.39 151.51,-68.12 155.75,-55.25 159.05,-45.23 165.57,-35.62 171.94,-27.9"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="174.36,-30.44 178.41,-20.65 169.14,-25.78 174.36,-30.44"/>
</a>
</g>
</g>
<!-- Node30&#45;&gt;Node5 -->
<g id="edge47_Node000030_Node000005" class="edge">
<title>Node30&#45;&gt;Node5</title>
<g id="a_edge47_Node000030_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M119.87,-200.06C171.68,-188.27 246.41,-171.25 300.26,-158.99"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="300.97,-162.42 309.94,-156.79 299.42,-155.59 300.97,-162.42"/>
</a>
</g>
</g>
<!-- Node30&#45;&gt;Node6 -->
<g id="edge46_Node000030_Node000006" class="edge">
<title>Node30&#45;&gt;Node6</title>
<g id="a_edge46_Node000030_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M66.78,-199.17C80.85,-170.52 114.21,-105.31 149.75,-55.25 156.43,-45.84 164.74,-36.12 171.97,-28.15"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="174.52,-30.55 178.77,-20.85 169.39,-25.78 174.52,-30.55"/>
</a>
</g>
</g>
<!-- Node31&#45;&gt;Node8 -->
<g id="edge49_Node000031_Node000008" class="edge">
<title>Node31&#45;&gt;Node8</title>
<g id="a_edge49_Node000031_Node000008"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M836.12,-121.3C813.46,-110.86 785.54,-97.83 760.75,-85.75 760.64,-85.7 760.54,-85.65 760.43,-85.59"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="762.04,-82.49 751.53,-81.16 758.92,-88.75 762.04,-82.49"/>
</a>
</g>
</g>
<!-- Node31&#45;&gt;Node13 -->
<g id="edge51_Node000031_Node000013" class="edge">
<title>Node31&#45;&gt;Node13</title>
<g id="a_edge51_Node000031_Node000013"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M873.94,-121.28C866.72,-102.25 853.71,-74.01 834.75,-55.25 821.02,-41.66 802.3,-31.29 785.83,-23.97"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="787.38,-20.83 776.81,-20.19 784.68,-27.28 787.38,-20.83"/>
</a>
</g>
</g>
<!-- Node31&#45;&gt;Node14 -->
<g id="edge52_Node000031_Node000014" class="edge">
<title>Node31&#45;&gt;Node14</title>
<g id="a_edge52_Node000031_Node000014"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M901.86,-121.34C910.89,-112.67 921.46,-102.52 930.69,-93.65"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="932.83,-96.45 937.62,-87 927.98,-91.4 932.83,-96.45"/>
</a>
</g>
</g>
<!-- Node31&#45;&gt;Node18 -->
<g id="edge50_Node000031_Node000018" class="edge">
<title>Node31&#45;&gt;Node18</title>
<g id="a_edge50_Node000031_Node000018"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M856.74,-121.34C844.05,-110.62 828.68,-97.64 816.82,-87.61"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="819.22,-85.06 809.32,-81.28 814.7,-90.41 819.22,-85.06"/>
</a>
</g>
</g>
<!-- Node33 -->
<g id="Node000033" class="node">
<title>Node33</title>
<g id="a_Node000033"><a xlink:href="traits_2type__uniqueness_8hpp.html" target="_top" xlink:title=" ">
<polygon fill="white" stroke="#666666" points="769.38,-157.88 658.12,-157.88 658.12,-127.38 769.38,-127.38 769.38,-157.88"/>
<text xml:space="preserve" text-anchor="start" x="666.12" y="-144.38" font-family="Helvetica,sans-Serif" font-size="10.00">serif/utils/misc/traits</text>
<text xml:space="preserve" text-anchor="middle" x="713.75" y="-133.12" font-family="Helvetica,sans-Serif" font-size="10.00">/type_uniqueness.hpp</text>
</a>
</g>
</g>
<!-- Node32&#45;&gt;Node33 -->
<g id="edge54_Node000032_Node000033" class="edge">
<title>Node32&#45;&gt;Node33</title>
<g id="a_edge54_Node000032_Node000033"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M713.75,-265.63C713.75,-242.72 713.75,-198.06 713.75,-169.59"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="717.25,-169.65 713.75,-159.65 710.25,-169.65 717.25,-169.65"/>
</a>
</g>
</g>
<!-- Node33&#45;&gt;Node8 -->
<g id="edge55_Node000033_Node000008" class="edge">
<title>Node33&#45;&gt;Node8</title>
<g id="a_edge55_Node000033_Node000008"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M717.69,-127.1C720.5,-116.72 724.31,-102.65 727.4,-91.26"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="730.74,-92.29 729.98,-81.72 723.99,-90.45 730.74,-92.29"/>
</a>
</g>
</g>
<!-- Node33&#45;&gt;Node12 -->
<g id="edge56_Node000033_Node000012" class="edge">
<title>Node33&#45;&gt;Node12</title>
<g id="a_edge56_Node000033_Node000012"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M699.04,-127.1C689.33,-117.5 676.41,-104.75 665.41,-93.88"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="668.09,-91.61 658.52,-87.07 663.17,-96.59 668.09,-91.61"/>
</a>
</g>
</g>
<!-- Node35 -->
<g id="Node000035" class="node">
<title>Node35</title>
<g id="a_Node000035"><a xlink:href="discretization_2domain_2relation_2lists_2traits_8hpp.html" target="_top" xlink:title="Compile&#45;time traits for relation lists, used to extract types and properties from template parameters...">
<polygon fill="white" stroke="#666666" points="1038.75,-596.25 932.75,-596.25 932.75,-554.5 1038.75,-554.5 1038.75,-596.25"/>
<text xml:space="preserve" text-anchor="start" x="940.75" y="-582.75" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="940.75" y="-571.5" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/lists</text>
<text xml:space="preserve" text-anchor="middle" x="985.75" y="-560.25" font-family="Helvetica,sans-Serif" font-size="10.00">/traits.hpp</text>
</a>
</g>
</g>
<!-- Node34&#45;&gt;Node35 -->
<g id="edge59_Node000034_Node000035" class="edge">
<title>Node34&#45;&gt;Node35</title>
<g id="a_edge59_Node000034_Node000035"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M985.75,-631.83C985.75,-624.52 985.75,-616.1 985.75,-608.06"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="989.25,-608.24 985.75,-598.24 982.25,-608.24 989.25,-608.24"/>
</a>
</g>
</g>
<!-- Node36 -->
<g id="Node000036" class="node">
<title>Node36</title>
<g id="a_Node000036"><a xlink:href="relation__list_8hpp.html" target="_top" xlink:title="Compile&#45;time list of relations, used to group relations together for operations and forms.">
<polygon fill="white" stroke="#666666" points="1069.75,-518.5 963.75,-518.5 963.75,-476.75 1069.75,-476.75 1069.75,-518.5"/>
<text xml:space="preserve" text-anchor="start" x="971.75" y="-505" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="971.75" y="-493.75" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/lists</text>
<text xml:space="preserve" text-anchor="middle" x="1016.75" y="-482.5" font-family="Helvetica,sans-Serif" font-size="10.00">/relation_list.hpp</text>
</a>
</g>
</g>
<!-- Node35&#45;&gt;Node36 -->
<g id="edge60_Node000035_Node000036" class="edge">
<title>Node35&#45;&gt;Node36</title>
<g id="a_edge60_Node000035_Node000036"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M994.06,-554.08C997.15,-546.52 1000.73,-537.76 1004.13,-529.47"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1007.3,-530.96 1007.85,-520.38 1000.82,-528.31 1007.3,-530.96"/>
</a>
</g>
</g>
<!-- Node36&#45;&gt;Node2 -->
<g id="edge61_Node000036_Node000002" class="edge">
<title>Node36&#45;&gt;Node2</title>
<g id="a_edge61_Node000036_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1057.57,-476.48C1073.63,-467.18 1091.38,-455 1104.75,-440.75 1159.73,-382.15 1191.75,-362.61 1191.75,-282.25 1191.75,-282.25 1191.75,-282.25 1191.75,-141.62 1191.75,-100.53 1209.21,-54.96 1220.46,-29.86"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1223.56,-31.49 1224.6,-20.95 1217.21,-28.54 1223.56,-31.49"/>
</a>
</g>
</g>
<!-- Node36&#45;&gt;Node14 -->
<g id="edge65_Node000036_Node000014" class="edge">
<title>Node36&#45;&gt;Node14</title>
<g id="a_edge65_Node000036_Node000014"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1022.08,-476.53C1028.88,-449.13 1039.75,-398.4 1039.75,-354.38 1039.75,-354.38 1039.75,-354.38 1039.75,-213.75 1039.75,-165.78 1003.5,-120.14 978.07,-94.02"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="980.56,-91.57 971,-87 975.63,-96.53 980.56,-91.57"/>
</a>
</g>
</g>
<!-- Node37 -->
<g id="Node000037" class="node">
<title>Node37</title>
<g id="a_Node000037"><a xlink:href="discretization_2domain_2relation_2concepts_8hpp.html" target="_top" xlink:title="This file defines concepts for relations in the domain module.">
<polygon fill="white" stroke="#666666" points="698,-440.75 551.5,-440.75 551.5,-410.25 698,-410.25 698,-440.75"/>
<text xml:space="preserve" text-anchor="start" x="559.5" y="-427.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="middle" x="624.75" y="-416" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/concepts.hpp</text>
</a>
</g>
</g>
<!-- Node36&#45;&gt;Node37 -->
<g id="edge62_Node000036_Node000037" class="edge">
<title>Node36&#45;&gt;Node37</title>
<g id="a_edge62_Node000036_Node000037"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M963.48,-487.09C898.13,-475.41 786.56,-455.45 709.42,-441.65"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="710.25,-438.24 699.79,-439.92 709.01,-445.13 710.25,-438.24"/>
</a>
</g>
</g>
<!-- Node37&#45;&gt;Node12 -->
<g id="edge64_Node000037_Node000012" class="edge">
<title>Node37&#45;&gt;Node12</title>
<g id="a_edge64_Node000037_Node000012"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M625.5,-409.78C628.27,-355.5 637.93,-166.09 641.45,-96.98"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="644.93,-97.57 641.94,-87.4 637.93,-97.21 644.93,-97.57"/>
</a>
</g>
</g>
<!-- Node37&#45;&gt;Node16 -->
<g id="edge63_Node000037_Node000016" class="edge">
<title>Node37&#45;&gt;Node16</title>
<g id="a_edge63_Node000037_Node000016"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M619.05,-409.82C605.4,-374.64 570.68,-285.15 553.58,-241.07"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="556.87,-239.88 549.99,-231.82 550.34,-242.41 556.87,-239.88"/>
</a>
</g>
</g>
<!-- Node39 -->
<g id="Node000039" class="node">
<title>Node39</title>
<g id="a_Node000039"><a xlink:href="discretization_2domain_2relation_2validation_2validation_8hpp.html" target="_top" xlink:title="Compile&#45;time validation of relations in the discretization framework. This file provides utilities to...">
<polygon fill="white" stroke="#666666" points="890.38,-751.75 761.12,-751.75 761.12,-710 890.38,-710 890.38,-751.75"/>
<text xml:space="preserve" text-anchor="start" x="769.12" y="-738.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="769.12" y="-727" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/relation/validation</text>
<text xml:space="preserve" text-anchor="middle" x="825.75" y="-715.75" font-family="Helvetica,sans-Serif" font-size="10.00">/validation.hpp</text>
</a>
</g>
</g>
<!-- Node38&#45;&gt;Node39 -->
<g id="edge67_Node000038_Node000039" class="edge">
<title>Node38&#45;&gt;Node39</title>
<g id="a_edge67_Node000038_Node000039"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M824.29,-787.33C824.48,-780.02 824.7,-771.6 824.91,-763.56"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="828.41,-763.83 825.17,-753.74 821.41,-763.65 828.41,-763.83"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node5 -->
<g id="edge69_Node000039_Node000005" class="edge">
<title>Node39&#45;&gt;Node5</title>
<g id="a_edge69_Node000039_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M760.78,-727.01C709.52,-722.01 638.17,-708.75 585.75,-674 529.07,-636.43 405.75,-494.51 405.75,-426.5 405.75,-426.5 405.75,-426.5 405.75,-280.25 405.75,-239.97 390.23,-195.36 379.02,-168.42"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="382.31,-167.21 375.14,-159.41 375.88,-169.98 382.31,-167.21"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node13 -->
<g id="edge68_Node000039_Node000013" class="edge">
<title>Node39&#45;&gt;Node13</title>
<g id="a_edge68_Node000039_Node000013"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M836.03,-709.63C841.25,-699.1 847.57,-685.96 852.75,-674 875.37,-621.78 873.78,-605.64 898.75,-554.5 1003.48,-340 1254.44,-234.45 1096.75,-55.25 1076.85,-32.63 879.82,-18.32 791.36,-12.98"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="791.82,-9.51 781.64,-12.41 791.41,-16.49 791.82,-9.51"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node24 -->
<g id="edge70_Node000039_Node000024" class="edge">
<title>Node39&#45;&gt;Node24</title>
<g id="a_edge70_Node000039_Node000024"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M812.81,-709.81C794.63,-681.62 761.6,-630.4 742.17,-600.28"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="745.33,-598.72 736.96,-592.21 739.44,-602.51 745.33,-598.72"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node34 -->
<g id="edge72_Node000039_Node000034" class="edge">
<title>Node39&#45;&gt;Node34</title>
<g id="a_edge72_Node000039_Node000034"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M868.63,-709.58C888.27,-700.28 911.74,-689.16 932.5,-679.34"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="933.85,-682.57 941.39,-675.13 930.85,-676.24 933.85,-682.57"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node36 -->
<g id="edge73_Node000039_Node000036" class="edge">
<title>Node39&#45;&gt;Node36</title>
<g id="a_edge73_Node000039_Node000036"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M849.84,-709.75C860.47,-699.87 872.42,-687.25 880.75,-674 910.8,-626.22 887.93,-598.12 923.75,-554.5 933.56,-542.55 946.64,-532.52 959.89,-524.41"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="961.3,-527.63 968.2,-519.6 957.8,-521.57 961.3,-527.63"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node37 -->
<g id="edge71_Node000039_Node000037" class="edge">
<title>Node39&#45;&gt;Node37</title>
<g id="a_edge71_Node000039_Node000037"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M831,-709.66C841.86,-662.73 861.35,-545.24 804.75,-476.75 791.97,-461.29 749.54,-449.04 709.08,-440.5"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="710,-437.12 699.51,-438.55 708.61,-443.98 710,-437.12"/>
</a>
</g>
</g>
<!-- Node39&#45;&gt;Node40 -->
<g id="edge74_Node000039_Node000040" class="edge">
<title>Node39&#45;&gt;Node40</title>
<g id="a_edge74_Node000039_Node000040"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M778.05,-709.58C751.53,-698.29 718.72,-684.33 692.67,-673.24"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="694.28,-670.12 683.71,-669.43 691.54,-676.56 694.28,-670.12"/>
</a>
</g>
</g>
<!-- Node40&#45;&gt;Node5 -->
<g id="edge75_Node000040_Node000005" class="edge">
<title>Node40&#45;&gt;Node5</title>
<g id="a_edge75_Node000040_Node000005"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M640.42,-637.43C602.17,-560.78 426.91,-209.79 419.75,-199.5 411.55,-187.72 400.99,-175.91 391.52,-166.2"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="394.2,-163.93 384.65,-159.34 389.25,-168.88 394.2,-163.93"/>
</a>
</g>
</g>
<!-- Node40&#45;&gt;Node24 -->
<g id="edge76_Node000040_Node000024" class="edge">
<title>Node40&#45;&gt;Node24</title>
<g id="a_edge76_Node000040_Node000024"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M662.98,-637.52C674.46,-626.52 690.39,-611.23 703.47,-598.7"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="705.68,-601.43 710.47,-591.98 700.83,-596.38 705.68,-601.43"/>
</a>
</g>
</g>
<!-- Node40&#45;&gt;Node26 -->
<g id="edge77_Node000040_Node000026" class="edge">
<title>Node40&#45;&gt;Node26</title>
<g id="a_edge77_Node000040_Node000026"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M643.42,-637.86C634.44,-605.17 617.74,-524.01 656.75,-476.75 671.94,-458.35 694.55,-446.69 716.95,-439.29"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="717.88,-442.67 726.44,-436.43 715.86,-435.97 717.88,-442.67"/>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node2 -->
<g id="edge80_Node000041_Node000002" class="edge">
<title>Node41&#45;&gt;Node2</title>
<g id="a_edge80_Node000041_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M993.59,-1098.39C993.86,-1065.2 996.71,-997.48 1013.75,-943.25 1025.52,-905.78 1029.82,-895 1055.75,-865.5 1073.83,-844.93 1089.08,-851.22 1105.75,-829.5 1134,-792.69 1142.75,-778.28 1142.75,-731.88 1142.75,-731.88 1142.75,-731.88 1142.75,-652.12 1142.75,-478.6 1267.75,-455.77 1267.75,-282.25 1267.75,-282.25 1267.75,-282.25 1267.75,-141.62 1267.75,-100.53 1250.29,-54.96 1239.04,-29.86"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1242.29,-28.54 1234.9,-20.95 1235.94,-31.49 1242.29,-28.54"/>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node15 -->
<g id="edge81_Node000041_Node000015" class="edge">
<title>Node41&#45;&gt;Node15</title>
<g id="a_edge81_Node000041_Node000015"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1059.97,-1106.54C1133.36,-1093.14 1251.67,-1071.55 1329.82,-1057.28"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1330.35,-1060.74 1339.56,-1055.5 1329.09,-1053.86 1330.35,-1060.74"/>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node19 -->
<g id="edge84_Node000041_Node000019" class="edge">
<title>Node41&#45;&gt;Node19</title>
<g id="a_edge84_Node000041_Node000019"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1006.04,-1098.56C1022.22,-1072.13 1050.82,-1025.43 1069.53,-994.89"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1072.43,-996.84 1074.67,-986.49 1066.46,-993.19 1072.43,-996.84"/>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node21 -->
<g id="edge85_Node000041_Node000021" class="edge">
<title>Node41&#45;&gt;Node21</title>
<g id="a_edge85_Node000041_Node000021"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M927.28,-1110.89C848.39,-1101.32 713.02,-1083.72 597.75,-1062.75 592.89,-1061.87 587.89,-1060.9 582.85,-1059.89"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="583.81,-1056.51 573.31,-1057.92 582.4,-1063.37 583.81,-1056.51"/>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node36 -->
<g id="edge83_Node000041_Node000036" class="edge">
<title>Node41&#45;&gt;Node36</title>
<g id="a_edge83_Node000041_Node000036"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M987.86,-1098.39C985.1,-1087.86 982.12,-1074.72 980.75,-1062.75 974.69,-1009.99 970.45,-995.35 980.75,-943.25 988,-906.59 987.63,-893.17 1012.75,-865.5 1035.74,-840.18 1059.72,-856.46 1080.75,-829.5 1108.23,-794.27 1104.75,-776.56 1104.75,-731.88 1104.75,-731.88 1104.75,-731.88 1104.75,-652.12 1104.75,-603.41 1070.98,-556.14 1045.28,-527.22"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1047.97,-524.98 1038.63,-519.97 1042.81,-529.71 1047.97,-524.98"/>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node37 -->
<g id="edge82_Node000041_Node000037" class="edge">
<title>Node41&#45;&gt;Node37</title>
<g id="a_edge82_Node000041_Node000037"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M927.34,-1098.99C796.89,-1055.86 519.75,-939.78 519.75,-731.88 519.75,-731.88 519.75,-731.88 519.75,-574.38 519.75,-521.36 565.17,-474.11 596.27,-447.98"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="598.28,-450.85 603.83,-441.83 593.86,-445.43 598.28,-450.85"/>
</a>
</g>
</g>
<!-- Node42 -->
<g id="Node000042" class="node">
<title>Node42</title>
<g id="a_Node000042"><a xlink:href="results_8hpp.html" target="_top" xlink:title="File containing the data structures used for representing the results of validating a schema against ...">
<polygon fill="white" stroke="#666666" points="1247.88,-1062.75 1115.62,-1062.75 1115.62,-1021 1247.88,-1021 1247.88,-1062.75"/>
<text xml:space="preserve" text-anchor="start" x="1123.62" y="-1049.25" font-family="Helvetica,sans-Serif" font-size="10.00">serif/discretization</text>
<text xml:space="preserve" text-anchor="start" x="1123.62" y="-1038" font-family="Helvetica,sans-Serif" font-size="10.00">/domain/schema/validation</text>
<text xml:space="preserve" text-anchor="middle" x="1181.75" y="-1026.75" font-family="Helvetica,sans-Serif" font-size="10.00">/results.hpp</text>
</a>
</g>
</g>
<!-- Node41&#45;&gt;Node42 -->
<g id="edge86_Node000041_Node000042" class="edge">
<title>Node41&#45;&gt;Node42</title>
<g id="a_edge86_Node000041_Node000042"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1044.13,-1098.33C1067.73,-1088.82 1096.05,-1077.41 1120.84,-1067.42"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1121.86,-1070.78 1129.83,-1063.8 1119.24,-1064.29 1121.86,-1070.78"/>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node2 -->
<g id="edge87_Node000042_Node000002" class="edge">
<title>Node42&#45;&gt;Node2</title>
<g id="a_edge87_Node000042_Node000002"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1229.79,-1020.68C1246.45,-1011.75 1264.1,-999.86 1276.75,-985 1306.93,-949.54 1314.75,-933.93 1314.75,-887.38 1314.75,-887.38 1314.75,-887.38 1314.75,-141.62 1314.75,-100.53 1305.4,-88.86 1281.75,-55.25 1273.97,-44.19 1262.84,-34.16 1252.88,-26.41"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1255.17,-23.76 1245.05,-20.63 1251.02,-29.39 1255.17,-23.76"/>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node3 -->
<g id="edge88_Node000042_Node000003" class="edge">
<title>Node42&#45;&gt;Node3</title>
<g id="a_edge88_Node000042_Node000003"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1222.65,-1020.55C1236.25,-1011.61 1249.9,-999.75 1257.75,-985 1270.61,-960.82 1268.84,-928.3 1265.78,-907.58"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1269.25,-907.13 1264.08,-897.88 1262.36,-908.33 1269.25,-907.13"/>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node4 -->
<g id="edge90_Node000042_Node000004" class="edge">
<title>Node42&#45;&gt;Node4</title>
<g id="a_edge90_Node000042_Node000004"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1240.97,-1020.58C1282.44,-1006.36 1336.29,-987.9 1370.19,-976.28"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1371.12,-979.67 1379.45,-973.11 1368.85,-973.04 1371.12,-979.67"/>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node6 -->
<g id="edge89_Node000042_Node000006" class="edge">
<title>Node42&#45;&gt;Node6</title>
<g id="a_edge89_Node000042_Node000006"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1115.22,-1032.79C908.6,-1003.62 291.75,-884.24 291.75,-498.62 291.75,-498.62 291.75,-498.62 291.75,-280.25 291.75,-243.38 286.92,-233.54 272.75,-199.5 249.84,-144.48 223,-141.43 201.75,-85.75 194.96,-67.97 191.7,-46.47 190.14,-31.04"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="193.64,-30.89 189.32,-21.22 186.67,-31.48 193.64,-30.89"/>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node9 -->
<g id="edge91_Node000042_Node000009" class="edge">
<title>Node42&#45;&gt;Node9</title>
<g id="a_edge91_Node000042_Node000009"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1181.53,-1020.51C1181.24,-991.12 1180.75,-935.08 1180.75,-887.38 1180.75,-887.38 1180.75,-887.38 1180.75,-496.62 1180.75,-334.63 1101.98,-149.58 1074.82,-90.6"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1078.16,-89.48 1070.76,-81.9 1071.82,-92.44 1078.16,-89.48"/>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node19 -->
<g id="edge93_Node000042_Node000019" class="edge">
<title>Node42&#45;&gt;Node19</title>
<g id="a_edge93_Node000042_Node000019"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1156.56,-1020.58C1145.92,-1012 1133.36,-1001.88 1121.9,-992.65"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1124.17,-989.98 1114.19,-986.43 1119.78,-995.43 1124.17,-989.98"/>
</a>
</g>
</g>
<!-- Node43 -->
<g id="Node000043" class="node">
<title>Node43</title>
<g id="a_Node000043"><a xlink:title=" ">
<polygon fill="#e0e0e0" stroke="#999999" points="1248.75,-973.75 1208.75,-973.75 1208.75,-954.5 1248.75,-954.5 1248.75,-973.75"/>
<text xml:space="preserve" text-anchor="middle" x="1228.75" y="-960.25" font-family="Helvetica,sans-Serif" font-size="10.00">string</text>
</a>
</g>
</g>
<!-- Node42&#45;&gt;Node43 -->
<g id="edge92_Node000042_Node000043" class="edge">
<title>Node42&#45;&gt;Node43</title>
<g id="a_edge92_Node000042_Node000043"><a xlink:title=" ">
<path fill="none" stroke="#63b8ff" d="M1194.35,-1020.58C1201.43,-1009.15 1210.22,-994.99 1217.14,-983.83"/>
<polygon fill="#63b8ff" stroke="#63b8ff" points="1219.99,-985.88 1222.29,-975.53 1214.05,-982.19 1219.99,-985.88"/>
</a>
</g>
</g>
</g>
</svg>
<g id="navigator" transform="translate(0 0)" fill="#404254">
<rect fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width=".5" x="0" y="0" width="60" height="60"/>
<use id="zoomplus" xlink:href="#zoomPlus" x="17" y="9" onmousedown="handleZoom(evt,'in')"/>
<use id="zoomminus" xlink:href="#zoomMin" x="42" y="9" onmousedown="handleZoom(evt,'out')"/>
<use id="reset" xlink:href="#resetDef" x="30" y="36" onmousedown="handleReset()"/>
<use id="arrowup" xlink:href="#arrowUp" x="0" y="0" onmousedown="handlePan(0,-1)"/>
<use id="arrowright" xlink:href="#arrowRight" x="0" y="0" onmousedown="handlePan(1,0)"/>
<use id="arrowdown" xlink:href="#arrowDown" x="0" y="0" onmousedown="handlePan(0,1)"/>
<use id="arrowleft" xlink:href="#arrowLeft" x="0" y="0" onmousedown="handlePan(-1,0)"/>
</g>
<svg viewBox="0 0 15 15" width="100%" height="30px" preserveAspectRatio="xMaxYMin meet">
<g id="arrow_out" transform="scale(0.3 0.3)">
<a xlink:href="connected_8hpp__incl_org.svg" target="_base">
<rect id="button" ry="5" rx="5" y="6" x="6" height="38" width="38"
fill="#f2f5e9" fill-opacity="0.5" stroke="#606060" stroke-width="1.0"/>
<path id="arrow"
d="M 11.500037,31.436501 C 11.940474,20.09759 22.043105,11.32322 32.158766,21.979434 L 37.068811,17.246167 C 37.068811,17.246167 37.088388,32 37.088388,32 L 22.160133,31.978069 C 22.160133,31.978069 26.997745,27.140456 26.997745,27.140456 C 18.528582,18.264221 13.291696,25.230495 11.500037,31.436501 z"
style="fill:#404040;"/>
</a>
</g>
</svg>
<style type='text/css'>
<![CDATA[
[data-mouse-over-selected='false'] { opacity: 0.7; }
[data-mouse-over-selected='true'] { opacity: 1.0; }
]]>
</style>
<script type="application/ecmascript"><![CDATA[
document.addEventListener('DOMContentLoaded', (event) => {
highlightEdges();
highlightAdjacentNodes();
});
]]></script>
</svg>