tboudreaux/GridFire
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(gf_get_compiler_flags): fixed bug in getting gridfire compiler flags

Browse Source 
also added command line utilities and rebuilt docs
This commit is contained in:
Emily Boudreaux
2026-06-14 08:36:52 -04:00
parent 6f85eb6b2c
commit ac0dea2755
1608 changed files with 217130 additions and 196255 deletions
Download Patch File Download Diff File Expand all files Collapse all files

202
docs/html/partition__composite_8cpp__incl.map
View File

@@ -1,102 +1,104 @@
<map id="src/lib/partition/composite/partition_composite.cpp" name="src/lib/partition/composite/partition_composite.cpp">
<area shape="rect" id="Node000001" title=" " alt="" coords="515,5,685,46"/>
<area shape="rect" id="Node000002" href="$partition__composite_8h.html" title=" " alt="" coords="211,168,346,223"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="560,48,345,162,343,158,564,45"/>
<area shape="rect" id="Node000009" title=" " alt="" coords="27,279,84,304"/>
<area shape="poly" id="edge12_Node000001_Node000009" title=" " alt="" coords="514,48,446,69,365,96,281,129,200,170,165,193,132,220,80,269,75,265,128,216,162,189,197,165,278,124,363,91,445,64,518,45"/>
<area shape="rect" id="Node000010" title=" " alt="" coords="523,94,562,120"/>
<area shape="poly" id="edge13_Node000001_Node000010" title=" " alt="" coords="588,45,562,83,558,79,584,48"/>
<area shape="rect" id="Node000011" href="$partition__ground_8h.html" title=" " alt="" coords="489,175,617,216"/>
<area shape="poly" id="edge14_Node000001_Node000011" title=" " alt="" coords="596,44,577,120,565,162,561,159,572,119,593,49"/>
<area shape="rect" id="Node000013" href="$partition__rauscher__thielemann_8h.html" title=" " alt="" coords="704,168,832,223"/>
<area shape="poly" id="edge20_Node000001_Node000013" title=" " alt="" coords="620,44,733,157,728,157,618,49"/>
<area shape="rect" id="Node000015" href="$hashing_8h.html" title=" " alt="" coords="1288,94,1437,120"/>
<area shape="poly" id="edge27_Node000001_Node000015" title=" " alt="" coords="685,33,1275,95,1271,98,686,38"/>
<area shape="rect" id="Node000037" title=" " alt="" coords="1461,94,1584,120"/>
<area shape="poly" id="edge63_Node000001_Node000037" title=" " alt="" coords="685,29,1015,51,1228,69,1448,93,1443,94,1227,74,1015,56,686,34"/>
<area shape="rect" id="Node000003" href="$partition__abstract_8h.html" title=" " alt="" coords="210,271,347,312"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="280,222,281,257,276,255,277,226"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="1090,449,1144,474"/>
<area shape="poly" id="edge9_Node000002_Node000004" title=" " alt="" coords="208,203,134,214,96,222,61,233,33,248,14,265,8,285,17,311,34,334,51,352,69,364,88,373,133,385,190,398,270,414,377,427,637,444,894,454,1077,460,1072,460,893,459,636,450,377,432,269,419,189,403,132,390,87,378,66,369,47,356,30,338,12,313,3,286,10,262,30,243,59,228,94,217,134,208,212,199"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="202,368,270,393"/>
<area shape="poly" id="edge11_Node000002_Node000005" title=" " alt="" coords="208,224,181,245,157,273,151,291,157,311,176,337,202,359,196,359,172,340,152,313,146,291,152,270,177,241,212,220"/>
<area shape="rect" id="Node000006" href="$partition__types_8h.html" title=" " alt="" coords="371,271,492,312"/>
<area shape="poly" id="edge5_Node000002_Node000006" title=" " alt="" coords="323,221,390,263,384,263,323,227"/>
<area shape="rect" id="Node000008" title=" " alt="" coords="568,279,730,304"/>
<area shape="poly" id="edge8_Node000002_Node000008" title=" " alt="" coords="347,211,589,273,584,276,346,217"/>
<area shape="poly" id="edge10_Node000002_Node000009" title=" " alt="" coords="213,226,100,275,97,270,215,222"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="317,310,419,356,481,379,544,398,696,428,847,445,979,454,1078,460,1073,460,979,459,846,450,695,433,543,403,479,384,417,361,317,315"/>
<area shape="poly" id="edge4_Node000003_Node000005" title=" " alt="" coords="271,311,250,356,246,352,267,314"/>
<area shape="poly" id="edge7_Node000006_Node000004" title=" " alt="" coords="463,310,544,356,594,379,646,398,766,427,886,444,994,453,1077,460,1072,460,993,459,886,450,765,432,644,403,592,384,542,360,462,315"/>
<area shape="rect" id="Node000007" title=" " alt="" coords="657,368,767,393"/>
<area shape="poly" id="edge6_Node000006_Node000007" title=" " alt="" coords="493,309,661,362,655,363,493,314"/>
<area shape="poly" id="edge15_Node000011_Node000003" title=" " alt="" coords="493,218,351,268,349,263,498,215"/>
<area shape="poly" id="edge18_Node000011_Node000005" title=" " alt="" coords="486,207,315,238,239,256,213,265,201,273,193,292,196,313,205,335,218,356,213,355,200,337,190,315,188,291,196,270,211,260,237,251,313,233,491,204"/>
<area shape="poly" id="edge17_Node000011_Node000007" title=" " alt="" coords="549,214,545,263,548,288,558,311,575,329,595,344,644,367,639,366,593,349,571,333,554,313,543,289,540,263,546,218"/>
<area shape="poly" id="edge16_Node000011_Node000008" title=" " alt="" coords="574,214,629,269,624,268,572,219"/>
<area shape="rect" id="Node000012" title=" " alt="" coords="931,279,1028,304"/>
<area shape="poly" id="edge19_Node000011_Node000012" title=" " alt="" coords="618,208,919,276,914,277,618,214"/>
<area shape="poly" id="edge21_Node000013_Node000003" title=" " alt="" coords="701,210,630,226,498,249,363,273,361,268,497,243,629,221,706,209"/>
<area shape="poly" id="edge23_Node000013_Node000004" title=" " alt="" coords="832,196,883,202,939,215,994,237,1043,269,1074,308,1096,352,1109,396,1116,435,1112,432,1104,397,1091,354,1070,310,1039,273,991,241,937,220,882,207,833,201"/>
<area shape="poly" id="edge26_Node000013_Node000005" title=" " alt="" coords="772,222,768,270,759,294,744,314,710,335,660,351,600,363,532,371,396,380,286,382,285,377,396,375,532,366,599,357,659,345,708,330,741,310,755,291,763,269,768,226"/>
<area shape="poly" id="edge24_Node000013_Node000007" title=" " alt="" coords="819,221,845,240,866,263,877,287,876,300,870,313,853,333,831,349,783,369,782,364,829,344,849,330,866,311,871,299,871,288,862,265,842,244,818,226"/>
<area shape="poly" id="edge22_Node000013_Node000008" title=" " alt="" coords="736,223,677,272,675,267,731,225"/>
<area shape="rect" id="Node000014" title=" " alt="" coords="805,279,856,304"/>
<area shape="poly" id="edge25_Node000013_Node000014" title=" " alt="" coords="787,221,817,267,812,265,785,226"/>
<area shape="rect" id="Node000016" title=" " alt="" coords="1332,183,1393,208"/>
<area shape="poly" id="edge28_Node000015_Node000016" title=" " alt="" coords="1364,118,1365,169,1360,165,1361,122"/>
<area shape="rect" id="Node000017" title=" " alt="" coords="1417,183,1494,208"/>
<area shape="poly" id="edge29_Node000015_Node000017" title=" " alt="" coords="1376,118,1435,173,1430,172,1375,123"/>
<area shape="rect" id="Node000018" title=" " alt="" coords="1519,175,1688,216"/>
<area shape="poly" id="edge30_Node000015_Node000018" title=" " alt="" coords="1397,118,1537,170,1532,170,1396,123"/>
<area shape="rect" id="Node000019" href="$exceptions_8h.html" title=" " alt="" coords="2391,175,2518,216"/>
<area shape="poly" id="edge31_Node000015_Node000019" title=" " alt="" coords="1437,116,1449,117,1715,142,1978,162,2378,190,2372,190,1977,167,1715,147,1449,122,1437,121"/>
<area shape="rect" id="Node000030" href="$reaction_8h.html" title="Defines classes for representing and managing nuclear reactions." alt="" coords="1137,183,1308,208"/>
<area shape="poly" id="edge52_Node000015_Node000030" title=" " alt="" coords="1346,119,1256,177,1254,172,1341,121"/>
<area shape="rect" id="Node000020" href="$error__gridfire_8h.html" title=" " alt="" coords="2391,360,2518,401"/>
<area shape="poly" id="edge32_Node000019_Node000020" title=" " alt="" coords="2519,197,2611,205,2660,213,2705,224,2742,239,2766,258,2773,270,2775,284,2770,298,2761,314,2746,326,2724,337,2667,355,2599,367,2534,375,2534,370,2599,362,2665,350,2722,332,2743,322,2756,310,2766,296,2769,283,2768,272,2762,262,2739,244,2703,229,2659,218,2611,210,2519,202"/>
<area shape="rect" id="Node000022" href="$error__engine_8h.html" title=" " alt="" coords="2821,271,2949,312"/>
<area shape="poly" id="edge35_Node000019_Node000022" title=" " alt="" coords="2519,208,2803,269,2809,272,2804,272,2802,274,2518,213"/>
<area shape="rect" id="Node000023" href="$error__utils_8h.html" title=" " alt="" coords="2315,271,2442,312"/>
<area shape="poly" id="edge37_Node000019_Node000023" title=" " alt="" coords="2441,215,2405,262,2402,257,2436,217"/>
<area shape="rect" id="Node000024" href="$error__debug_8h.html" title=" " alt="" coords="2011,271,2138,312"/>
<area shape="poly" id="edge39_Node000019_Node000024" title=" " alt="" coords="2393,212,2154,273,2153,268,2388,213"/>
<area shape="rect" id="Node000027" href="$error__policy_8h.html" title="Defines custom exception types related to network policy construction and verification." alt="" coords="2467,271,2594,312"/>
<area shape="poly" id="edge44_Node000019_Node000027" title=" " alt="" coords="2471,214,2508,260,2503,258,2469,219"/>
<area shape="rect" id="Node000028" href="$error__reaction_8h.html" title=" " alt="" coords="2163,271,2290,312"/>
<area shape="poly" id="edge46_Node000019_Node000028" title=" " alt="" coords="2409,216,2289,268,2287,263,2404,217"/>
<area shape="rect" id="Node000029" href="$error__solver_8h.html" title=" " alt="" coords="2619,271,2746,312"/>
<area shape="poly" id="edge50_Node000019_Node000029" title=" " alt="" coords="2503,214,2624,265,2618,265,2502,219"/>
<area shape="poly" id="edge34_Node000020_Node000004" title=" " alt="" coords="2393,388,2245,403,1918,424,1600,441,1160,461,1159,456,1599,436,1918,419,2245,398,2388,388"/>
<area shape="rect" id="Node000021" title=" " alt="" coords="2416,449,2493,474"/>
<area shape="poly" id="edge33_Node000020_Node000021" title=" " alt="" coords="2456,399,2456,435,2453,431,2453,403"/>
<area shape="poly" id="edge36_Node000022_Node000020" title=" " alt="" coords="2824,308,2803,315,2534,367,2533,362,2802,309,2818,308"/>
<area shape="poly" id="edge38_Node000023_Node000020" title=" " alt="" coords="2397,310,2430,349,2425,347,2395,315"/>
<area shape="poly" id="edge41_Node000024_Node000004" title=" " alt="" coords="2013,309,1999,315,1750,363,1507,404,1159,457,1159,452,1506,399,1749,357,1998,309,2008,310"/>
<area shape="poly" id="edge43_Node000024_Node000020" title=" " alt="" coords="2139,307,2151,309,2378,362,2373,362,2150,315,2139,312"/>
<area shape="rect" id="Node000025" title=" " alt="" coords="1994,368,2107,393"/>
<area shape="poly" id="edge40_Node000024_Node000025" title=" " alt="" coords="2071,311,2060,355,2056,351,2067,314"/>
<area shape="rect" id="Node000026" title=" " alt="" coords="2131,368,2189,393"/>
<area shape="poly" id="edge42_Node000024_Node000026" title=" " alt="" coords="2095,310,2140,357,2135,355,2093,315"/>
<area shape="poly" id="edge45_Node000027_Node000020" title=" " alt="" coords="2516,311,2483,351,2480,346,2511,314"/>
<area shape="poly" id="edge47_Node000028_Node000004" title=" " alt="" coords="2230,311,2227,358,2219,383,2203,403,2186,409,2153,415,2049,426,1738,444,1159,462,1159,457,1738,438,2048,421,2152,410,2184,404,2200,399,2214,380,2222,357,2226,314"/>
<area shape="poly" id="edge49_Node000028_Node000020" title=" " alt="" coords="2279,310,2391,354,2386,354,2278,315"/>
<area shape="poly" id="edge48_Node000028_Node000026" title=" " alt="" coords="2214,311,2180,357,2177,353,2209,314"/>
<area shape="poly" id="edge51_Node000029_Node000020" title=" " alt="" coords="2633,312,2521,357,2520,352,2628,313"/>
<area shape="poly" id="edge58_Node000030_Node000007" title=" " alt="" coords="1210,208,1140,261,1093,290,1042,314,975,337,906,354,783,375,782,370,905,349,974,332,1040,310,1090,285,1137,257,1206,210"/>
<area shape="poly" id="edge56_Node000030_Node000008" title=" " alt="" coords="1146,210,739,278,738,273,1151,208"/>
<area shape="poly" id="edge59_Node000030_Node000009" title=" " alt="" coords="1136,206,199,274,101,286,99,281,198,269,1136,200"/>
<area shape="poly" id="edge57_Node000030_Node000012" title=" " alt="" coords="1194,208,1026,275,1025,270,1189,210"/>
<area shape="rect" id="Node000031" title=" " alt="" coords="1314,279,1374,304"/>
<area shape="poly" id="edge53_Node000030_Node000031" title=" " alt="" coords="1239,206,1319,270,1314,269,1237,211"/>
<area shape="rect" id="Node000032" title=" " alt="" coords="1397,279,1485,304"/>
<area shape="poly" id="edge54_Node000030_Node000032" title=" " alt="" coords="1251,206,1402,272,1396,272,1250,211"/>
<area shape="rect" id="Node000033" title=" " alt="" coords="1509,279,1714,304"/>
<area shape="poly" id="edge55_Node000030_Node000033" title=" " alt="" coords="1266,206,1320,221,1544,275,1539,275,1319,226,1265,212"/>
<area shape="rect" id="Node000034" title=" " alt="" coords="1739,279,1842,304"/>
<area shape="poly" id="edge60_Node000030_Node000034" title=" " alt="" coords="1262,206,1320,221,1434,238,1524,244,1613,251,1727,269,1741,274,1736,274,1726,274,1613,256,1523,249,1433,243,1319,226,1261,212"/>
<area shape="rect" id="Node000035" title=" " alt="" coords="1866,279,1987,304"/>
<area shape="poly" id="edge61_Node000030_Node000035" title=" " alt="" coords="1261,206,1320,221,1401,233,1470,240,1587,245,1705,250,1774,257,1855,269,1873,275,1868,274,1854,274,1773,262,1705,255,1587,250,1469,245,1400,238,1319,226,1261,212"/>
<area shape="rect" id="Node000036" title=" " alt="" coords="1155,271,1290,312"/>
<area shape="poly" id="edge62_Node000030_Node000036" title=" " alt="" coords="1224,207,1225,258,1220,254,1221,211"/>
<area shape="rect" id="Node000001" title=" " alt="" coords="528,5,698,46"/>
<area shape="rect" id="Node000002" href="$partition__composite_8h.html" title=" " alt="" coords="147,168,282,223"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="525,47,455,69,379,96,319,127,266,161,263,157,317,123,377,92,453,64,530,44"/>
<area shape="rect" id="Node000009" title=" " alt="" coords="186,279,243,304"/>
<area shape="poly" id="edge12_Node000001_Node000009" title=" " alt="" coords="585,49,247,272,244,268,583,44"/>
<area shape="rect" id="Node000010" title=" " alt="" coords="536,94,575,120"/>
<area shape="poly" id="edge13_Node000001_Node000010" title=" " alt="" coords="601,45,575,83,572,79,597,48"/>
<area shape="rect" id="Node000011" href="$partition__ground_8h.html" title=" " alt="" coords="486,175,615,216"/>
<area shape="poly" id="edge14_Node000001_Node000011" title=" " alt="" coords="611,44,590,121,570,163,566,160,585,119,607,49"/>
<area shape="rect" id="Node000013" href="$partition__rauscher__thielemann_8h.html" title=" " alt="" coords="665,168,793,223"/>
<area shape="poly" id="edge20_Node000001_Node000013" title=" " alt="" coords="627,44,705,155,699,155,625,49"/>
<area shape="rect" id="Node000015" href="$hashing_8h.html" title=" " alt="" coords="1272,94,1421,120"/>
<area shape="poly" id="edge27_Node000001_Node000015" title=" " alt="" coords="698,33,1259,94,1255,97,699,39"/>
<area shape="rect" id="Node000038" title=" " alt="" coords="1445,94,1568,120"/>
<area shape="poly" id="edge64_Node000001_Node000038" title=" " alt="" coords="699,29,1016,51,1220,69,1432,93,1427,94,1220,74,1016,57,699,35"/>
<area shape="rect" id="Node000003" href="$partition__abstract_8h.html" title=" " alt="" coords="318,271,455,312"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="264,221,340,263,335,264,264,227"/>
<area shape="rect" id="Node000004" title=" " alt="" coords="1000,449,1053,474"/>
<area shape="poly" id="edge9_Node000002_Node000004" title=" " alt="" coords="145,210,91,225,41,246,23,259,12,274,9,291,15,311,31,334,48,351,65,363,83,372,126,385,180,398,253,413,349,425,583,443,817,453,986,459,981,460,817,458,583,448,349,431,252,418,179,403,125,390,81,377,62,368,44,355,27,337,11,313,3,292,7,272,19,256,39,242,90,220,148,206"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="271,368,339,393"/>
<area shape="poly" id="edge11_Node000002_Node000005" title=" " alt="" coords="145,213,94,230,48,252,32,265,23,279,21,294,30,310,44,322,66,333,126,351,194,364,258,373,253,375,193,369,124,356,64,338,41,327,26,314,16,295,18,277,28,261,45,247,93,225,148,209"/>
<area shape="rect" id="Node000006" href="$partition__types_8h.html" title=" " alt="" coords="40,271,162,312"/>
<area shape="poly" id="edge5_Node000002_Node000006" title=" " alt="" coords="180,226,138,263,134,259,183,222"/>
<area shape="rect" id="Node000008" title=" " alt="" coords="529,279,692,304"/>
<area shape="poly" id="edge8_Node000002_Node000008" title=" " alt="" coords="283,210,546,273,542,276,282,216"/>
<area shape="poly" id="edge10_Node000002_Node000009" title=" " alt="" coords="216,221,217,264,212,263,213,226"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="426,310,525,355,586,378,647,398,740,420,834,436,987,457,981,457,833,442,739,425,646,403,584,383,523,360,425,315"/>
<area shape="poly" id="edge4_Node000003_Node000005" title=" " alt="" coords="370,311,328,358,325,354,366,314"/>
<area shape="poly" id="edge7_Node000006_Node000004" title=" " alt="" coords="122,310,181,357,219,380,259,398,323,414,409,427,619,445,830,454,987,460,981,460,830,459,619,450,409,432,322,419,257,403,217,385,178,361,121,315"/>
<area shape="rect" id="Node000007" title=" " alt="" coords="658,368,768,393"/>
<area shape="poly" id="edge6_Node000006_Node000007" title=" " alt="" coords="161,307,174,309,303,331,432,349,645,373,640,374,431,354,302,337,173,315,163,312"/>
<area shape="poly" id="edge15_Node000011_Node000003" title=" " alt="" coords="518,215,435,266,433,261,514,218"/>
<area shape="poly" id="edge18_Node000011_Node000005" title=" " alt="" coords="483,214,375,245,331,261,308,273,299,291,296,312,300,353,295,351,291,311,294,290,304,269,328,256,374,240,488,211"/>
<area shape="poly" id="edge17_Node000011_Node000007" title=" " alt="" coords="537,215,525,239,515,263,511,288,519,311,544,335,575,353,609,365,645,375,640,375,608,370,573,358,541,340,515,313,506,289,509,262,520,236,533,218"/>
<area shape="poly" id="edge16_Node000011_Node000008" title=" " alt="" coords="564,214,597,267,592,265,562,219"/>
<area shape="rect" id="Node000012" title=" " alt="" coords="840,279,938,304"/>
<area shape="poly" id="edge19_Node000011_Node000012" title=" " alt="" coords="615,211,830,269,840,274,834,274,828,274,615,216"/>
<area shape="poly" id="edge21_Node000013_Node000003" title=" " alt="" coords="662,215,470,270,469,265,667,213"/>
<area shape="poly" id="edge23_Node000013_Node000004" title=" " alt="" coords="793,197,839,204,888,217,935,238,976,269,1003,308,1019,353,1027,397,1029,435,1025,431,1021,397,1014,354,998,311,972,273,933,243,886,222,838,209,794,202"/>
<area shape="poly" id="edge26_Node000013_Node000005" title=" " alt="" coords="733,222,729,270,720,294,706,314,680,331,642,344,547,363,442,375,355,380,354,375,442,369,546,358,641,339,677,326,702,310,716,291,724,269,729,226"/>
<area shape="poly" id="edge24_Node000013_Node000007" title=" " alt="" coords="794,203,860,217,921,239,944,253,959,271,963,291,952,314,926,333,883,349,784,371,783,366,882,344,923,328,948,310,958,290,954,273,941,257,918,244,858,222,794,208"/>
<area shape="poly" id="edge22_Node000013_Node000008" title=" " alt="" coords="697,223,638,272,636,267,692,225"/>
<area shape="rect" id="Node000014" title=" " alt="" coords="767,279,817,304"/>
<area shape="poly" id="edge25_Node000013_Node000014" title=" " alt="" coords="748,221,778,267,773,265,746,226"/>
<area shape="rect" id="Node000016" title=" " alt="" coords="1316,183,1377,208"/>
<area shape="poly" id="edge28_Node000015_Node000016" title=" " alt="" coords="1348,118,1349,169,1344,165,1345,122"/>
<area shape="rect" id="Node000017" title=" " alt="" coords="1401,183,1478,208"/>
<area shape="poly" id="edge29_Node000015_Node000017" title=" " alt="" coords="1360,118,1419,173,1413,172,1359,123"/>
<area shape="rect" id="Node000018" title=" " alt="" coords="1503,175,1672,216"/>
<area shape="poly" id="edge30_Node000015_Node000018" title=" " alt="" coords="1381,118,1521,170,1516,170,1380,123"/>
<area shape="rect" id="Node000019" href="$exceptions_8h.html" title=" " alt="" coords="2441,175,2569,216"/>
<area shape="poly" id="edge31_Node000015_Node000019" title=" " alt="" coords="1421,116,1433,117,1720,143,2002,163,2429,190,2423,191,2002,168,1719,148,1433,122,1421,121"/>
<area shape="rect" id="Node000030" href="$reaction_8h.html" title="Defines classes for representing and managing nuclear reactions." alt="" coords="1121,183,1292,208"/>
<area shape="poly" id="edge52_Node000015_Node000030" title=" " alt="" coords="1329,119,1240,177,1238,172,1324,121"/>
<area shape="rect" id="Node000020" href="$error__gridfire_8h.html" title=" " alt="" coords="2441,360,2569,401"/>
<area shape="poly" id="edge32_Node000019_Node000020" title=" " alt="" coords="2569,213,2610,231,2645,253,2658,266,2665,281,2666,297,2659,313,2644,331,2626,346,2584,366,2583,361,2623,341,2641,327,2655,311,2661,296,2660,282,2653,269,2642,257,2608,235,2568,218"/>
<area shape="rect" id="Node000022" href="$error__engine_8h.html" title=" " alt="" coords="2720,271,2847,312"/>
<area shape="poly" id="edge35_Node000019_Node000022" title=" " alt="" coords="2564,214,2714,266,2708,266,2563,219"/>
<area shape="rect" id="Node000023" href="$error__utils_8h.html" title=" " alt="" coords="2872,271,2999,312"/>
<area shape="poly" id="edge37_Node000019_Node000023" title=" " alt="" coords="2569,207,2860,271,2854,271,2569,212"/>
<area shape="rect" id="Node000024" href="$error__debug_8h.html" title=" " alt="" coords="2061,271,2189,312"/>
<area shape="poly" id="edge39_Node000019_Node000024" title=" " alt="" coords="2444,212,2204,273,2203,268,2438,213"/>
<area shape="rect" id="Node000027" href="$error__policy_8h.html" title="Defines custom exception types related to network policy construction and verification." alt="" coords="2365,271,2493,312"/>
<area shape="poly" id="edge44_Node000019_Node000027" title=" " alt="" coords="2492,215,2456,262,2453,257,2487,217"/>
<area shape="rect" id="Node000028" href="$error__reaction_8h.html" title=" " alt="" coords="2213,271,2341,312"/>
<area shape="poly" id="edge46_Node000019_Node000028" title=" " alt="" coords="2460,216,2339,268,2338,263,2455,217"/>
<area shape="rect" id="Node000029" href="$error__solver_8h.html" title=" " alt="" coords="2517,271,2645,312"/>
<area shape="poly" id="edge50_Node000019_Node000029" title=" " alt="" coords="2522,214,2558,260,2553,258,2520,219"/>
<area shape="poly" id="edge34_Node000020_Node000004" title=" " alt="" coords="2444,388,2296,403,1924,426,1562,443,1069,462,1069,456,1562,438,1923,420,2296,398,2438,388"/>
<area shape="rect" id="Node000021" title=" " alt="" coords="2466,449,2544,474"/>
<area shape="poly" id="edge33_Node000020_Node000021" title=" " alt="" coords="2507,399,2507,435,2503,431,2503,403"/>
<area shape="poly" id="edge36_Node000022_Node000020" title=" " alt="" coords="2723,312,2583,358,2582,352,2717,313"/>
<area shape="poly" id="edge38_Node000023_Node000020" title=" " alt="" coords="2874,309,2860,315,2584,368,2584,363,2859,309,2869,310"/>
<area shape="poly" id="edge41_Node000024_Node000004" title=" " alt="" coords="2064,309,2050,315,1757,366,1470,409,1069,458,1068,453,1469,403,1756,361,2049,309,2058,310"/>
<area shape="poly" id="edge43_Node000024_Node000020" title=" " alt="" coords="2189,307,2202,309,2429,362,2424,362,2200,315,2189,312"/>
<area shape="rect" id="Node000025" title=" " alt="" coords="2045,368,2157,393"/>
<area shape="poly" id="edge40_Node000024_Node000025" title=" " alt="" coords="2122,311,2110,355,2107,351,2117,314"/>
<area shape="rect" id="Node000026" title=" " alt="" coords="2181,368,2240,393"/>
<area shape="poly" id="edge42_Node000024_Node000026" title=" " alt="" coords="2145,310,2190,357,2185,355,2143,315"/>
<area shape="poly" id="edge45_Node000027_Node000020" title=" " alt="" coords="2447,310,2480,349,2475,347,2445,315"/>
<area shape="poly" id="edge47_Node000028_Node000004" title=" " alt="" coords="2281,311,2278,358,2269,383,2253,403,2234,410,2197,417,2077,428,1722,446,1336,457,1069,462,1069,457,1336,452,1722,441,2077,423,2196,412,2232,405,2250,399,2265,380,2273,357,2277,314"/>
<area shape="poly" id="edge49_Node000028_Node000020" title=" " alt="" coords="2329,310,2442,354,2436,354,2328,315"/>
<area shape="poly" id="edge48_Node000028_Node000026" title=" " alt="" coords="2264,311,2230,357,2228,353,2260,314"/>
<area shape="poly" id="edge51_Node000029_Node000020" title=" " alt="" coords="2566,311,2533,351,2531,346,2561,314"/>
<area shape="poly" id="edge58_Node000030_Node000007" title=" " alt="" coords="1188,208,1097,260,1037,289,975,315,876,346,784,368,783,363,875,340,973,309,1035,284,1095,255,1183,210"/>
<area shape="poly" id="edge56_Node000030_Node000008" title=" " alt="" coords="1127,210,703,279,702,273,1132,208"/>
<area shape="poly" id="edge59_Node000030_Node000009" title=" " alt="" coords="1118,204,699,236,472,256,307,274,259,283,258,278,306,269,472,250,699,231,1123,202"/>
<area shape="poly" id="edge57_Node000030_Node000012" title=" " alt="" coords="1168,208,945,277,944,271,1163,209"/>
<area shape="rect" id="Node000031" title=" " alt="" coords="1508,279,1569,304"/>
<area shape="poly" id="edge53_Node000030_Node000031" title=" " alt="" coords="1250,206,1304,221,1402,242,1444,252,1498,269,1503,273,1498,272,1496,274,1443,257,1401,247,1303,226,1250,212"/>
<area shape="rect" id="Node000032" title=" " alt="" coords="1592,279,1679,304"/>
<area shape="poly" id="edge54_Node000030_Node000032" title=" " alt="" coords="1247,206,1304,221,1382,235,1443,243,1504,252,1582,269,1592,274,1586,273,1580,274,1503,257,1442,248,1381,241,1303,226,1247,212"/>
<area shape="rect" id="Node000033" title=" " alt="" coords="1704,279,1909,304"/>
<area shape="poly" id="edge55_Node000030_Node000033" title=" " alt="" coords="1246,206,1304,221,1412,239,1497,248,1583,255,1692,269,1724,276,1718,276,1691,274,1582,261,1497,253,1412,244,1303,226,1246,212"/>
<area shape="rect" id="Node000034" title=" " alt="" coords="1933,279,2037,304"/>
<area shape="poly" id="edge60_Node000030_Node000034" title=" " alt="" coords="1244,206,1304,221,1397,234,1477,241,1613,244,1749,247,1828,254,1922,269,1937,274,1932,274,1921,274,1828,259,1748,252,1613,249,1476,246,1397,239,1303,226,1244,212"/>
<area shape="rect" id="Node000035" title=" " alt="" coords="1115,279,1181,304"/>
<area shape="poly" id="edge61_Node000030_Node000035" title=" " alt="" coords="1201,207,1165,268,1162,263,1197,210"/>
<area shape="rect" id="Node000036" title=" " alt="" coords="1205,279,1325,304"/>
<area shape="poly" id="edge62_Node000030_Node000036" title=" " alt="" coords="1215,206,1252,267,1247,265,1213,211"/>
<area shape="rect" id="Node000037" title=" " alt="" coords="1349,271,1485,312"/>
<area shape="poly" id="edge63_Node000030_Node000037" title=" " alt="" coords="1234,206,1361,265,1356,264,1233,211"/>
</map>