GridFire/docs/html/policy__logical_8cpp__incl.map

<map id="src/lib/policy/policy_logical.cpp" name="src/lib/policy/policy_logical.cpp">
<area shape="rect" id="Node000001" title=" " alt="" coords="2218,5,2350,46"/>
<area shape="rect" id="Node000002" href="$policy__abstract_8h.html" title="Abstract policy interfaces used to construct reaction networks (DynamicEngine) from seed compositions..." alt="" coords="2485,183,2621,223"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="2315,44,2512,172,2509,176,2312,49"/>
<area shape="rect" id="Node000045" href="$policy__logical_8h.html" title=" " alt="" coords="2068,94,2204,135"/>
<area shape="poly" id="edge77_Node000001_Node000045" title=" " alt="" coords="2251,49,2184,88,2181,84,2249,44"/>
<area shape="rect" id="Node000046" title=" " alt="" coords="2281,102,2369,127"/>
<area shape="poly" id="edge81_Node000001_Node000046" title=" " alt="" coords="2295,45,2315,86,2310,89,2291,48"/>
<area shape="rect" id="Node000047" href="$hashing_8h.html" title=" " alt="" coords="2170,279,2318,304"/>
<area shape="poly" id="edge82_Node000001_Node000047" title=" " alt="" coords="2282,47,2272,94,2249,264,2244,263,2266,94,2276,46"/>
<area shape="rect" id="Node000003" title=" " alt="" coords="3036,648,3241,674"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="2622,204,2789,210,2993,222,3175,241,3239,254,3275,269,3295,294,3302,318,3301,379,3301,478,3298,506,3288,532,3274,556,3256,578,3215,615,3176,642,3173,638,3212,611,3252,574,3269,553,3283,530,3292,504,3296,478,3296,379,3297,319,3290,296,3271,273,3237,259,3174,247,2993,228,2788,215,2621,209"/>
<area shape="rect" id="Node000004" href="$reaction_8h.html" title="Defines classes for representing and managing nuclear reactions." alt="" coords="2703,560,2875,586"/>
<area shape="poly" id="edge3_Node000002_Node000004" title=" " alt="" coords="2622,208,2726,224,2858,251,2929,271,3000,295,3070,324,3136,358,3167,376,3190,394,3209,416,3225,448,3235,478,3233,492,3224,506,3202,523,3170,537,3084,557,2985,568,2890,573,2890,568,2984,563,3083,552,3168,532,3199,519,3220,503,3228,490,3229,478,3220,450,3204,419,3187,397,3164,381,3133,362,3067,329,2998,300,2927,276,2857,257,2725,229,2621,214"/>
<area shape="rect" id="Node000014" href="$engine__abstract_8h.html" title="Abstract interfaces for reaction network engines in GridFire." alt="" coords="2481,271,2625,312"/>
<area shape="poly" id="edge14_Node000002_Node000014" title=" " alt="" coords="2556,224,2556,256,2550,256,2550,224"/>
<area shape="rect" id="Node000021" title=" " alt="" coords="1141,648,1194,674"/>
<area shape="poly" id="edge73_Node000002_Node000021" title=" " alt="" coords="2485,207,2275,212,2131,220,1970,234,1797,253,1618,280,1438,316,1264,363,1175,391,1138,406,1106,424,1078,446,1054,473,1033,509,1016,553,1010,573,1015,592,1038,616,1066,633,1097,645,1127,652,1125,657,1096,650,1064,638,1034,620,1011,594,1004,573,1010,551,1029,506,1050,470,1075,442,1103,419,1136,401,1173,386,1263,357,1437,311,1617,275,1796,248,1970,228,2131,215,2275,207,2484,202"/>
<area shape="rect" id="Node000034" href="$partition_8h.html" title=" " alt="" coords="1558,360,1668,401"/>
<area shape="poly" id="edge45_Node000002_Node000034" title=" " alt="" coords="2523,226,2439,272,2386,296,2331,315,2275,327,2201,338,2021,356,1684,378,1684,373,2020,351,2200,332,2274,321,2330,309,2384,291,2436,267,2521,221"/>
<area shape="rect" id="Node000043" title=" " alt="" coords="3221,279,3261,304"/>
<area shape="poly" id="edge74_Node000002_Node000043" title=" " alt="" coords="2622,201,2734,203,2880,213,3042,233,3124,249,3203,269,3208,270,3206,275,3202,274,3123,254,3041,239,2880,218,2734,209,2622,206"/>
<area shape="rect" id="Node000044" href="$engine__types_8h.html" title=" " alt="" coords="3336,271,3474,312"/>
<area shape="poly" id="edge75_Node000002_Node000044" title=" " alt="" coords="2622,205,2924,225,3120,243,3317,269,3321,269,3320,274,3317,274,3119,249,2924,230,2622,210"/>
<area shape="poly" id="edge6_Node000004_Node000003" title=" " alt="" coords="2839,584,3075,642,3074,647,2838,589"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="2703,648,2763,674"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="2783,587,2751,637,2747,634,2779,585"/>
<area shape="rect" id="Node000006" title=" " alt="" coords="3289,648,3377,674"/>
<area shape="poly" id="edge5_Node000004_Node000006" title=" " alt="" coords="2876,581,3051,605,3253,638,3275,643,3274,648,3253,644,3050,610,2875,587"/>
<area shape="rect" id="Node000007" title=" " alt="" coords="1645,648,1808,674"/>
<area shape="poly" id="edge7_Node000004_Node000007" title=" " alt="" coords="2703,589,2641,596,2437,613,2279,621,2120,629,1916,644,1823,652,1823,647,1915,638,2119,624,2278,616,2437,607,2641,590,2703,583"/>
<area shape="rect" id="Node000008" title=" " alt="" coords="2914,648,3011,674"/>
<area shape="poly" id="edge8_Node000004_Node000008" title=" " alt="" coords="2815,584,2926,639,2923,644,2812,589"/>
<area shape="rect" id="Node000009" title=" " alt="" coords="1927,648,2038,674"/>
<area shape="poly" id="edge9_Node000004_Node000009" title=" " alt="" coords="2703,588,2641,596,2475,608,2346,613,2216,621,2052,644,2037,647,2036,642,2051,638,2216,615,2345,608,2475,603,2641,590,2703,583"/>
<area shape="rect" id="Node000010" title=" " alt="" coords="2318,648,2375,674"/>
<area shape="poly" id="edge10_Node000004_Node000010" title=" " alt="" coords="2703,588,2529,614,2447,629,2387,644,2383,645,2382,640,2386,638,2445,624,2528,609,2703,583"/>
<area shape="rect" id="Node000011" title=" " alt="" coords="2787,648,2890,674"/>
<area shape="poly" id="edge11_Node000004_Node000011" title=" " alt="" coords="2798,585,2826,634,2822,637,2794,587"/>
<area shape="rect" id="Node000012" title=" " alt="" coords="2558,648,2678,674"/>
<area shape="poly" id="edge12_Node000004_Node000012" title=" " alt="" coords="2766,589,2657,643,2655,639,2764,584"/>
<area shape="rect" id="Node000013" title=" " alt="" coords="2399,641,2534,682"/>
<area shape="poly" id="edge13_Node000004_Node000013" title=" " alt="" coords="2744,589,2549,641,2548,635,2743,584"/>
<area shape="poly" id="edge15_Node000014_Node000004" title=" " alt="" coords="2561,312,2577,355,2590,378,2606,399,2626,415,2645,424,2666,432,2689,447,2738,497,2775,545,2771,548,2734,500,2686,451,2664,436,2643,429,2623,420,2602,403,2585,381,2572,357,2556,314"/>
<area shape="poly" id="edge42_Node000014_Node000009" title=" " alt="" coords="2481,305,2243,338,2096,362,2067,391,2043,425,2025,463,2011,501,1993,576,1986,634,1981,633,1988,575,2006,500,2020,461,2039,423,2063,388,2093,358,2242,333,2480,300"/>
<area shape="poly" id="edge41_Node000014_Node000010" title=" " alt="" coords="2525,315,2499,336,2475,362,2446,414,2413,491,2358,634,2353,632,2408,489,2441,412,2471,358,2495,332,2522,310"/>
<area shape="rect" id="Node000015" href="$types_8h.html" title=" " alt="" coords="2485,560,2629,586"/>
<area shape="poly" id="edge16_Node000014_Node000015" title=" " alt="" coords="2537,314,2510,350,2482,398,2472,424,2467,451,2468,478,2475,503,2495,529,2521,550,2517,554,2491,533,2471,506,2462,478,2462,450,2467,423,2477,395,2505,347,2533,310"/>
<area shape="rect" id="Node000016" href="$screening__abstract_8h.html" title=" " alt="" coords="2485,456,2632,497"/>
<area shape="poly" id="edge19_Node000014_Node000016" title=" " alt="" coords="2556,312,2560,440,2555,441,2551,313"/>
<area shape="rect" id="Node000017" href="$screening__types_8h.html" title=" " alt="" coords="2106,360,2237,401"/>
<area shape="poly" id="edge24_Node000014_Node000017" title=" " alt="" coords="2481,312,2256,363,2253,363,2252,358,2255,357,2480,307"/>
<area shape="rect" id="Node000019" href="$reporting_8h.html" title=" " alt="" coords="2120,552,2258,593"/>
<area shape="poly" id="edge27_Node000014_Node000019" title=" " alt="" coords="2501,315,2455,336,2409,362,2352,407,2298,456,2217,543,2213,539,2294,452,2348,403,2406,358,2452,331,2499,310"/>
<area shape="rect" id="Node000024" href="$building_8h.html" title="Defines types related to building reaction networks in the GridFire engine." alt="" coords="2714,360,2853,401"/>
<area shape="poly" id="edge33_Node000014_Node000024" title=" " alt="" coords="2606,310,2718,352,2716,357,2604,315"/>
<area shape="rect" id="Node000026" href="$jacobian_8h.html" title="Wrapper for handling the network Jacobian matrix in GridFire. Currently uses Eigen&#39;s SparseMatrix." alt="" coords="2954,360,3093,401"/>
<area shape="poly" id="edge34_Node000014_Node000026" title=" " alt="" coords="2626,302,2767,325,2940,357,2939,362,2766,330,2625,307"/>
<area shape="rect" id="Node000027" title=" " alt="" coords="3050,456,3210,497"/>
<area shape="poly" id="edge40_Node000014_Node000027" title=" " alt="" coords="2625,289,2747,291,2890,300,2959,308,3020,320,3071,337,3107,358,3121,376,3129,397,3135,440,3130,441,3124,399,3116,379,3103,362,3069,342,3019,325,2958,313,2889,305,2747,296,2625,294"/>
<area shape="rect" id="Node000032" title=" " alt="" coords="2878,368,2930,393"/>
<area shape="poly" id="edge43_Node000014_Node000032" title=" " alt="" coords="2626,301,2740,323,2804,338,2866,357,2869,358,2867,363,2864,363,2802,344,2739,328,2625,306"/>
<area shape="rect" id="Node000033" title=" " alt="" coords="2616,368,2690,393"/>
<area shape="poly" id="edge44_Node000014_Node000033" title=" " alt="" coords="2577,310,2630,356,2626,360,2574,315"/>
<area shape="poly" id="edge18_Node000015_Node000012" title=" " alt="" coords="2568,584,2603,634,2599,637,2563,588"/>
<area shape="poly" id="edge17_Node000015_Node000013" title=" " alt="" coords="2546,588,2500,632,2496,628,2543,584"/>
<area shape="poly" id="edge21_Node000016_Node000003" title=" " alt="" coords="2632,484,2773,507,2853,526,2931,550,2981,570,3030,594,3108,638,3106,643,3027,598,2979,575,2929,555,2851,531,2772,513,2632,489"/>
<area shape="poly" id="edge20_Node000016_Node000004" title=" " alt="" coords="2608,495,2746,551,2744,556,2606,500"/>
<area shape="poly" id="edge23_Node000016_Node000010" title=" " alt="" coords="2537,499,2373,640,2370,636,2534,495"/>
<area shape="poly" id="edge22_Node000016_Node000012" title=" " alt="" coords="2593,495,2621,519,2643,551,2649,573,2648,596,2635,635,2630,634,2642,595,2643,574,2639,553,2617,523,2589,499"/>
<area shape="poly" id="edge25_Node000017_Node000016" title=" " alt="" coords="2238,395,2471,451,2469,456,2237,400"/>
<area shape="rect" id="Node000018" title=" " alt="" coords="1494,648,1562,674"/>
<area shape="poly" id="edge26_Node000017_Node000018" title=" " alt="" coords="2141,404,2065,451,2001,494,1953,530,1902,562,1833,595,1784,611,1716,627,1578,654,1577,649,1714,621,1782,605,1831,591,1900,558,1950,525,1998,490,2062,446,2139,399"/>
<area shape="poly" id="edge32_Node000019_Node000013" title=" " alt="" coords="2253,591,2390,634,2388,639,2251,596"/>
<area shape="rect" id="Node000020" title=" " alt="" coords="2063,648,2110,674"/>
<area shape="poly" id="edge28_Node000019_Node000020" title=" " alt="" coords="2167,596,2114,641,2110,637,2164,591"/>
<area shape="poly" id="edge29_Node000019_Node000021" title=" " alt="" coords="2119,583,1210,659,1210,654,2119,577"/>
<area shape="rect" id="Node000022" title=" " alt="" coords="2134,648,2202,674"/>
<area shape="poly" id="edge30_Node000019_Node000022" title=" " alt="" coords="2187,594,2177,634,2172,633,2182,593"/>
<area shape="rect" id="Node000023" title=" " alt="" coords="2226,648,2294,674"/>
<area shape="poly" id="edge31_Node000019_Node000023" title=" " alt="" coords="2207,592,2242,635,2238,638,2203,595"/>
<area shape="poly" id="edge35_Node000026_Node000003" title=" " alt="" coords="3026,401,3029,448,3041,504,3058,541,3079,577,3120,635,3116,638,3074,580,3053,544,3036,505,3024,449,3021,401"/>
<area shape="poly" id="edge37_Node000026_Node000008" title=" " alt="" coords="3016,402,2997,449,2976,550,2967,633,2962,633,2971,549,2992,448,3011,400"/>
<area shape="poly" id="edge39_Node000026_Node000009" title=" " alt="" coords="2955,401,2943,403,2814,420,2702,428,2510,436,2420,445,2327,465,2225,500,2109,555,2061,591,2008,640,2004,636,2058,587,2106,550,2223,495,2325,460,2419,440,2510,430,2702,423,2813,415,2942,398,2954,396"/>
<area shape="poly" id="edge36_Node000026_Node000027" title=" " alt="" coords="3048,399,3099,444,3095,448,3044,403"/>
<area shape="rect" id="Node000030" title=" " alt="" coords="2802,464,2880,489"/>
<area shape="poly" id="edge38_Node000026_Node000030" title=" " alt="" coords="2987,404,2879,459,2877,454,2984,399"/>
<area shape="rect" id="Node000035" href="$partition__types_8h.html" title=" " alt="" coords="1670,552,1791,593"/>
<area shape="poly" id="edge46_Node000034_Node000035" title=" " alt="" coords="1646,399,1672,420,1695,447,1716,492,1728,536,1723,538,1711,494,1691,450,1668,424,1643,403"/>
<area shape="rect" id="Node000036" href="$partition__abstract_8h.html" title=" " alt="" coords="1408,552,1544,593"/>
<area shape="poly" id="edge49_Node000034_Node000036" title=" " alt="" coords="1586,403,1559,424,1535,450,1508,495,1489,539,1484,537,1503,492,1531,447,1556,421,1582,399"/>
<area shape="rect" id="Node000037" href="$partition__ground_8h.html" title=" " alt="" coords="1768,456,1896,497"/>
<area shape="poly" id="edge52_Node000034_Node000037" title=" " alt="" coords="1660,399,1773,447,1771,452,1658,404"/>
<area shape="rect" id="Node000038" href="$partition__rauscher__thielemann_8h.html" title=" " alt="" coords="1314,449,1442,504"/>
<area shape="poly" id="edge58_Node000034_Node000038" title=" " alt="" coords="1565,404,1458,446,1456,441,1563,399"/>
<area shape="rect" id="Node000040" href="$rauscher__thielemann__partition__data__record_8h.html" title=" " alt="" coords="1130,449,1290,504"/>
<area shape="poly" id="edge64_Node000034_Node000040" title=" " alt="" coords="1558,395,1306,451,1305,445,1557,390"/>
<area shape="rect" id="Node000042" href="$partition__composite_8h.html" title=" " alt="" coords="1545,449,1681,504"/>
<area shape="poly" id="edge66_Node000034_Node000042" title=" " alt="" coords="1616,401,1616,433,1610,433,1610,401"/>
<area shape="poly" id="edge47_Node000035_Node000009" title=" " alt="" coords="1788,591,1933,640,1931,645,1787,596"/>
<area shape="poly" id="edge48_Node000035_Node000021" title=" " alt="" coords="1669,586,1210,656,1209,651,1669,581"/>
<area shape="poly" id="edge51_Node000036_Node000018" title=" " alt="" coords="1490,592,1515,634,1510,637,1485,595"/>
<area shape="poly" id="edge50_Node000036_Node000021" title=" " alt="" coords="1408,596,1210,651,1209,646,1406,591"/>
<area shape="poly" id="edge54_Node000037_Node000007" title=" " alt="" coords="1844,496,1858,543,1858,569,1850,594,1837,611,1822,625,1786,645,1784,640,1819,620,1833,607,1845,592,1853,568,1853,543,1839,498"/>
<area shape="poly" id="edge57_Node000037_Node000008" title=" " alt="" coords="1896,478,2459,509,2745,530,2841,540,2887,550,2910,567,2929,589,2954,633,2950,636,2925,592,2907,571,2885,555,2840,545,2744,535,2458,514,1896,484"/>
<area shape="poly" id="edge55_Node000037_Node000009" title=" " alt="" coords="1850,496,1965,635,1961,638,1846,499"/>
<area shape="poly" id="edge56_Node000037_Node000018" title=" " alt="" coords="1835,498,1830,546,1820,572,1804,595,1772,609,1712,625,1577,653,1576,648,1711,620,1770,604,1801,591,1815,570,1824,545,1830,497"/>
<area shape="poly" id="edge53_Node000037_Node000036" title=" " alt="" coords="1768,497,1559,552,1558,547,1767,492"/>
<area shape="poly" id="edge60_Node000038_Node000007" title=" " alt="" coords="1363,506,1352,527,1345,549,1345,572,1353,591,1384,601,1454,615,1630,643,1630,649,1453,620,1383,606,1350,595,1340,573,1340,549,1348,525,1358,503"/>
<area shape="poly" id="edge62_Node000038_Node000009" title=" " alt="" coords="1377,505,1378,550,1384,572,1397,591,1431,611,1478,624,1535,632,1598,635,1723,636,1820,638,1912,649,1911,654,1819,644,1723,641,1598,640,1535,637,1477,629,1429,616,1394,595,1380,575,1373,551,1371,505"/>
<area shape="poly" id="edge63_Node000038_Node000018" title=" " alt="" coords="1341,507,1320,526,1304,548,1296,570,1298,581,1303,591,1314,601,1330,610,1376,627,1479,650,1478,655,1374,632,1328,615,1311,605,1299,595,1293,583,1291,570,1299,546,1316,523,1338,503"/>
<area shape="poly" id="edge61_Node000038_Node000021" title=" " alt="" coords="1315,504,1243,533,1201,554,1189,572,1181,593,1172,633,1167,632,1175,591,1185,570,1198,550,1241,528,1313,499"/>
<area shape="poly" id="edge59_Node000038_Node000036" title=" " alt="" coords="1408,503,1447,540,1443,544,1405,507"/>
<area shape="rect" id="Node000041" title=" " alt="" coords="1070,560,1130,586"/>
<area shape="poly" id="edge65_Node000040_Node000041" title=" " alt="" coords="1180,507,1127,552,1123,548,1177,503"/>
<area shape="poly" id="edge69_Node000042_Node000007" title=" " alt="" coords="1622,504,1636,547,1659,592,1679,616,1701,637,1697,641,1675,620,1655,594,1632,549,1617,505"/>
<area shape="poly" id="edge71_Node000042_Node000010" title=" " alt="" coords="1681,489,1756,502,1870,508,2018,510,2094,513,2164,520,2225,532,2272,550,2294,567,2313,589,2338,633,2333,635,2308,592,2290,571,2269,555,2224,537,2164,525,2094,519,2018,515,1870,513,1755,507,1681,494"/>
<area shape="poly" id="edge72_Node000042_Node000018" title=" " alt="" coords="1603,506,1542,635,1537,633,1598,504"/>
<area shape="poly" id="edge70_Node000042_Node000021" title=" " alt="" coords="1546,502,1397,555,1292,601,1205,644,1203,639,1289,597,1395,550,1544,497"/>
<area shape="poly" id="edge68_Node000042_Node000035" title=" " alt="" coords="1649,503,1696,540,1692,544,1645,507"/>
<area shape="poly" id="edge67_Node000042_Node000036" title=" " alt="" coords="1575,507,1518,546,1515,541,1572,503"/>
<area shape="poly" id="edge76_Node000044_Node000006" title=" " alt="" coords="3404,313,3341,634,3336,633,3399,312"/>
<area shape="poly" id="edge78_Node000045_Node000002" title=" " alt="" coords="2205,127,2470,182,2469,187,2204,132"/>
<area shape="poly" id="edge79_Node000045_Node000010" title=" " alt="" coords="2128,136,2106,185,2086,253,2080,290,2079,328,2084,365,2097,399,2118,431,2142,453,2168,467,2196,478,2255,501,2284,521,2311,551,2333,592,2344,632,2339,634,2328,594,2307,554,2280,525,2252,506,2195,483,2166,472,2139,457,2114,435,2092,402,2079,366,2073,328,2075,289,2081,252,2101,183,2123,134"/>
<area shape="poly" id="edge80_Node000045_Node000018" title=" " alt="" coords="2067,122,1804,139,1634,154,1459,173,1296,196,1160,224,1107,239,1068,256,1043,273,1036,282,1034,291,1034,478,1033,541,1039,566,1059,591,1080,601,1120,611,1236,629,1478,653,1477,659,1235,634,1119,616,1078,606,1055,595,1034,569,1027,542,1029,478,1029,290,1032,280,1039,269,1065,251,1106,234,1159,218,1295,191,1459,168,1633,149,1803,134,2067,117"/>
<area shape="poly" id="edge102_Node000047_Node000004" title=" " alt="" coords="2266,303,2353,348,2467,398,2517,411,2559,416,2599,424,2645,446,2660,460,2669,474,2677,488,2690,502,2722,528,2755,549,2752,554,2719,532,2686,506,2673,491,2665,476,2656,463,2642,451,2597,429,2558,421,2516,417,2465,403,2351,353,2264,307"/>
<area shape="poly" id="edge84_Node000047_Node000030" title=" " alt="" coords="2284,303,2788,456,2786,461,2283,308"/>
<area shape="poly" id="edge83_Node000047_Node000041" title=" " alt="" coords="2169,301,1914,320,1581,354,1420,374,1280,398,1175,423,1141,437,1120,451,1107,472,1100,496,1098,544,1093,544,1094,495,1102,469,1116,447,1138,432,1174,418,1279,393,1419,369,1581,348,1914,315,2169,295"/>
<area shape="rect" id="Node000048" href="$exceptions_8h.html" title=" " alt="" coords="461,360,589,401"/>
<area shape="poly" id="edge85_Node000047_Node000048" title=" " alt="" coords="2169,299,605,378,604,372,2169,294"/>
<area shape="rect" id="Node000049" href="$error__gridfire_8h.html" title=" " alt="" coords="468,552,595,593"/>
<area shape="poly" id="edge86_Node000048_Node000049" title=" " alt="" coords="518,402,502,449,499,477,502,504,515,538,510,540,497,505,493,477,497,448,513,400"/>
<area shape="rect" id="Node000051" href="$error__engine_8h.html" title=" " alt="" coords="512,456,639,497"/>
<area shape="poly" id="edge88_Node000048_Node000051" title=" " alt="" coords="538,400,560,441,556,444,533,402"/>
<area shape="rect" id="Node000052" href="$error__utils_8h.html" title=" " alt="" coords="664,456,791,497"/>
<area shape="poly" id="edge90_Node000048_Node000052" title=" " alt="" coords="569,399,673,447,671,452,566,404"/>
<area shape="rect" id="Node000053" href="$error__debug_8h.html" title=" " alt="" coords="5,456,133,497"/>
<area shape="poly" id="edge92_Node000048_Node000053" title=" " alt="" coords="461,392,316,415,146,451,137,454,136,448,144,446,315,410,460,387"/>
<area shape="rect" id="Node000056" href="$error__policy_8h.html" title="Defines custom exception types related to network policy construction and verification." alt="" coords="816,456,943,497"/>
<area shape="poly" id="edge95_Node000048_Node000056" title=" " alt="" coords="590,393,691,416,804,446,812,448,810,453,803,451,690,421,589,398"/>
<area shape="rect" id="Node000057" href="$error__reaction_8h.html" title=" " alt="" coords="157,456,285,497"/>
<area shape="poly" id="edge97_Node000048_Node000057" title=" " alt="" coords="462,402,298,451,291,453,290,448,296,446,460,397"/>
<area shape="rect" id="Node000058" href="$error__solver_8h.html" title=" " alt="" coords="309,456,437,497"/>
<area shape="poly" id="edge100_Node000048_Node000058" title=" " alt="" coords="495,404,419,450,416,445,492,399"/>
<area shape="poly" id="edge87_Node000049_Node000021" title=" " alt="" coords="596,580,1126,652,1125,657,595,585"/>
<area shape="poly" id="edge89_Node000051_Node000049" title=" " alt="" coords="569,498,550,540,545,537,564,496"/>
<area shape="poly" id="edge91_Node000052_Node000049" title=" " alt="" coords="688,500,587,548,585,543,685,495"/>
<area shape="poly" id="edge93_Node000053_Node000021" title=" " alt="" coords="107,495,215,544,282,570,351,590,421,603,514,615,740,634,1125,656,1125,661,739,639,514,620,420,608,350,596,280,575,213,549,105,500"/>
<area shape="poly" id="edge94_Node000053_Node000049" title=" " alt="" coords="123,495,146,502,309,536,453,559,452,564,308,542,144,507,121,500"/>
<area shape="poly" id="edge96_Node000056_Node000049" title=" " alt="" coords="826,500,804,507,611,557,610,551,803,502,825,495"/>
<area shape="poly" id="edge98_Node000057_Node000021" title=" " alt="" coords="253,495,342,545,398,570,456,590,516,603,596,615,788,634,1125,655,1125,661,788,639,595,620,515,608,455,596,396,575,339,549,250,500"/>
<area shape="poly" id="edge99_Node000057_Node000049" title=" " alt="" coords="277,495,298,502,454,548,452,553,296,507,275,500"/>
<area shape="poly" id="edge101_Node000058_Node000049" title=" " alt="" coords="408,495,487,542,484,546,405,500"/>
</map>