2025-11-06 09:16:40 -05:00
<map id="src/lib/solver/strategies/triggers/engine_partitioning_trigger.cpp" name="src/lib/solver/strategies/triggers/engine_partitioning_trigger.cpp">
2025-11-28 09:46:00 -05:00
<area shape="rect" id="Node000001" title=" " alt="" coords="479,5,686,60"/>
<area shape="rect" id="Node000002" href="$engine__partitioning__trigger_8h.html" title="CVODE-specific triggers that decide when to (re)partition the reaction network engine." alt="" coords="555,108,762,163"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="605,59,633,95,628,99,601,62"/>
<area shape="rect" id="Node000003" href="$trigger__abstract_8h.html" title=" " alt="" coords="408,387,571,427"/>
<area shape="poly" id="edge98_Node000001_Node000003" title=" " alt="" coords="534,62,509,83,490,109,477,143,469,179,466,252,472,320,483,373,478,374,467,321,460,252,464,178,472,142,486,107,505,79,531,58"/>
<area shape="rect" id="Node000006" title=" " alt="" coords="781,570,840,595"/>
<area shape="poly" id="edge102_Node000001_Node000006" title=" " alt="" coords="567,61,555,84,547,109,542,135,547,162,569,225,598,287,632,347,668,402,738,496,792,558,788,562,734,499,663,405,627,350,593,290,564,227,541,163,537,135,541,107,551,82,563,59"/>
<area shape="rect" id="Node000007" href="$CVODE__solver__strategy_8h.html" title=" " alt="" coords="1771,211,1962,251"/>
<area shape="poly" id="edge90_Node000001_Node000007" title=" " alt="" coords="673,58,725,79,776,106,794,121,804,135,815,149,833,160,886,173,977,184,1233,203,1520,216,1758,224,1758,229,1520,221,1233,208,977,190,885,178,831,165,812,153,800,139,790,124,773,110,723,83,671,63"/>
<area shape="rect" id="Node000023" title=" " alt="" coords="161,570,239,595"/>
<area shape="poly" id="edge100_Node000001_Node000023" title=" " alt="" coords="480,50,336,75,257,92,181,113,112,137,57,165,37,180,21,196,11,212,8,230,8,408,12,436,23,461,40,484,61,505,109,539,157,562,154,567,106,543,57,509,36,488,18,464,7,437,3,408,3,229,6,210,17,193,33,176,55,160,110,132,179,108,256,87,334,70,479,45"/>
<area shape="rect" id="Node000057" title=" " alt="" coords="2543,218,2606,243"/>
<area shape="poly" id="edge101_Node000001_Node000057" title=" " alt="" coords="687,52,756,74,823,106,840,120,850,135,860,149,877,160,921,172,988,181,1179,193,1424,198,1696,198,2214,196,2409,199,2524,208,2537,211,2536,216,2524,213,2408,204,2214,201,1696,203,1424,203,1179,199,987,187,920,177,875,165,856,153,846,138,836,124,820,110,754,79,686,57"/>
<area shape="rect" id="Node000058" href="$trigger__logical_8h.html" title="Combinators for composing triggers with boolean logic (AND/OR/NOT/EveryNth)." alt="" coords="205,299,368,339"/>
<area shape="poly" id="edge91_Node000001_Node000058" title=" " alt="" coords="517,63,477,84,439,110,396,153,358,202,305,288,300,285,354,199,392,150,436,106,474,79,514,58"/>
<area shape="rect" id="Node000060" title=" " alt="" coords="888,123,1024,148"/>
<area shape="poly" id="edge99_Node000001_Node000060" title=" " alt="" coords="687,57,870,105,907,116,905,121,869,111,685,62"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="644,164,511,376,506,374,640,161"/>
<area shape="rect" id="Node000004" href="$trigger__result_8h.html" title="Structured explanation node for trigger evaluations." alt="" coords="408,475,571,515"/>
<area shape="poly" id="edge7_Node000002_Node000004" title=" " alt="" coords="660,163,655,215,643,284,621,358,605,395,585,428,564,451,540,470,537,465,561,447,581,425,600,392,616,357,638,283,650,215,655,162"/>
<area shape="poly" id="edge87_Node000002_Node000006" title=" " alt="" coords="669,162,717,312,787,514,803,556,798,558,781,516,712,314,664,164"/>
<area shape="poly" id="edge8_Node000002_Node000007" title=" " alt="" coords="763,157,782,160,1056,190,1329,209,1572,220,1757,225,1757,231,1572,226,1329,215,1056,195,781,165,762,162"/>
<area shape="rect" id="Node000014" title=" " alt="" coords="2131,731,2315,757"/>
<area shape="poly" id="edge86_Node000002_Node000014" title=" " alt="" coords="762,153,816,160,930,165,1121,170,1629,184,1893,198,2126,220,2223,234,2303,252,2362,272,2382,284,2397,297,2406,319,2397,340,2371,364,2345,376,2317,380,2290,378,2230,374,2199,377,2165,389,2130,406,2104,422,2084,443,2065,476,2056,512,2059,548,2072,584,2093,618,2119,649,2146,678,2197,721,2193,725,2143,682,2115,653,2089,621,2068,586,2054,549,2051,511,2060,474,2079,440,2101,418,2128,402,2163,384,2198,372,2230,368,2290,373,2317,375,2343,371,2368,360,2392,337,2400,319,2392,300,2379,288,2359,277,2301,257,2222,240,2125,225,1892,203,1629,189,1121,175,929,171,816,165,762,158"/>
<area shape="poly" id="edge89_Node000002_Node000023" title=" " alt="" coords="633,165,398,389,223,562,219,558,394,385,629,161"/>
<area shape="poly" id="edge88_Node000002_Node000057" title=" " alt="" coords="763,152,832,160,997,169,1203,172,1680,170,1925,170,2157,175,2361,187,2449,196,2525,208,2537,211,2536,216,2523,213,2448,201,2360,192,2156,180,1925,176,1680,175,1202,177,997,174,832,165,762,157"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="492,427,492,461,487,461,487,427"/>
<area shape="poly" id="edge6_Node000003_Node000006" title=" " alt="" coords="526,425,779,561,776,566,523,429"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="2035,731,2098,757"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="496,514,506,550,525,595,553,639,570,658,591,674,614,680,659,687,806,699,1239,719,1705,732,2022,739,2022,745,1705,738,1238,724,805,705,659,692,612,686,588,678,567,662,548,642,520,597,501,552,491,516"/>
<area shape="poly" id="edge5_Node000004_Node000006" title=" " alt="" coords="561,512,769,568,768,573,559,517"/>
<area shape="poly" id="edge78_Node000007_Node000005" title=" " alt="" coords="1771,234,1526,236,1222,245,1077,253,952,265,857,281,825,290,806,301,771,334,744,370,726,407,716,446,716,485,724,524,743,563,771,601,796,617,840,633,899,648,971,661,1146,684,1346,702,1746,727,2022,739,2022,744,1746,733,1345,708,1145,689,970,666,897,653,838,638,794,622,767,605,738,566,719,526,710,485,711,445,721,406,740,367,767,331,802,297,823,285,856,276,951,260,1077,248,1222,239,1526,231,1771,229"/>
<area shape="poly" id="edge77_Node000007_Node000006" title=" " alt="" coords="1771,234,1532,235,1238,243,1098,252,977,264,887,280,857,290,839,301,817,329,803,361,795,396,792,432,796,502,806,556,801,557,791,503,786,432,789,395,798,359,813,326,836,297,855,285,886,275,977,258,1098,246,1238,238,1532,230,1771,229"/>
<area shape="rect" id="Node000008" href="$strategy__abstract_8h.html" title=" " alt="" coords="2588,299,2769,339"/>
<area shape="poly" id="edge9_Node000007_Node000008" title=" " alt="" coords="1962,239,2575,304,2574,309,1962,245"/>
<area shape="rect" id="Node000009" href="$engine__abstract_8h.html" title="Abstract interfaces for reaction network engines in GridFire." alt="" coords="2685,387,2849,427"/>
<area shape="poly" id="edge54_Node000007_Node000009" title=" " alt="" coords="1963,237,2163,259,2279,275,2395,296,2560,337,2699,380,2698,385,2558,342,2394,301,2279,280,2162,264,1962,242"/>
<area shape="rect" id="Node000013" title=" " alt="" coords="2347,731,2575,757"/>
<area shape="poly" id="edge73_Node000007_Node000013" title=" " alt="" coords="1962,229,2064,233,2173,243,2224,252,2269,263,2305,278,2330,297,2345,320,2344,338,2330,350,2306,357,2234,360,2146,357,2056,356,1982,362,1955,370,1940,383,1935,401,1944,425,1987,488,2042,542,2103,590,2168,630,2234,663,2298,689,2403,725,2402,730,2296,694,2232,667,2166,634,2100,594,2038,546,1983,491,1939,428,1930,401,1935,380,1953,366,1980,357,2056,350,2146,352,2234,355,2305,352,2327,345,2339,336,2340,322,2326,300,2303,283,2267,268,2223,257,2173,248,2064,238,1962,234"/>
<area shape="rect" id="Node000020" href="$types_8h.html" title=" " alt="" coords="3079,482,3239,507"/>
<area shape="poly" id="edge55_Node000007_Node000020" title=" " alt="" coords="1962,231,2154,238,2391,250,2618,269,2711,281,2782,296,2835,313,2888,335,2988,384,3072,433,3133,472,3130,476,3070,437,2985,388,2886,340,2833,318,2781,301,2710,286,2617,274,2390,255,2154,243,1962,237"/>
<area shape="rect" id="Node000033" title=" " alt="" coords="3430,570,3485,595"/>
<area shape="poly" id="edge79_Node000007_Node000033" title=" " alt="" coords="1962,232,2352,250,2602,269,2854,296,3079,325,3176,345,3297,384,3392,412,3429,433,3446,450,3462,473,3470,494,3473,516,3468,557,3462,556,3468,516,3465,495,3458,476,3442,453,3426,437,3390,417,3295,389,3174,351,3078,330,2853,301,2602,274,2352,255,1962,237"/>
<area shape="rect" id="Node000034" title=" " alt="" coords="3515,570,3602,595"/>
<area shape="poly" id="edge75_Node000007_Node000034" title=" " alt="" coords="1962,233,2501,256,2798,275,3014,296,3118,311,3199,324,3278,345,3374,384,3444,420,3470,442,3501,473,3531,515,3551,556,3546,558,3526,518,3497,476,3467,446,3441,425,3372,389,3276,350,3198,329,3117,316,3013,301,2797,280,2501,262,1962,238"/>
<area shape="rect" id="Node000038" title=" " alt="" coords="1953,394,1999,419"/>
<area shape="poly" id="edge76_Node000007_Node000038" title=" " alt="" coords="1962,235,2081,245,2210,258,2317,275,2353,285,2374,297,2381,308,2383,319,2381,330,2374,341,2346,359,2306,371,2258,377,2204,380,2099,381,2054,384,2019,389,2013,391,2011,386,2018,384,2053,378,2099,376,2204,374,2257,372,2305,366,2344,355,2370,337,2376,328,2378,319,2376,310,2370,301,2351,290,2316,280,2209,263,2081,250,1962,241"/>
<area shape="rect" id="Node000039" href="$exceptions_8h.html" title=" " alt="" coords="849,299,991,339"/>
<area shape="poly" id="edge56_Node000007_Node000039" title=" " alt="" coords="1771,238,1437,256,1224,275,1005,301,1005,296,1223,269,1436,251,1771,232"/>
<area shape="rect" id="Node000050" title=" " alt="" coords="1015,306,1182,331"/>
<area shape="poly" id="edge74_Node000007_Node000050" title=" " alt="" coords="1771,241,1511,264,1353,281,1195,301,1166,306,1165,301,1194,296,1352,275,1510,258,1771,236"/>
<area shape="rect" id="Node000051" title=" " alt="" coords="1206,306,1322,331"/>
<area shape="poly" id="edge80_Node000007_Node000051" title=" " alt="" coords="1771,243,1570,265,1452,281,1335,301,1317,305,1316,300,1334,296,1451,276,1569,259,1771,237"/>
<area shape="rect" id="Node000052" title=" " alt="" coords="1347,306,1536,331"/>
<area shape="poly" id="edge81_Node000007_Node000052" title=" " alt="" coords="1774,253,1512,306,1511,301,1773,248"/>
<area shape="rect" id="Node000053" title=" " alt="" coords="1560,306,1763,331"/>
<area shape="poly" id="edge82_Node000007_Node000053" title=" " alt="" coords="1823,253,1702,303,1700,298,1821,248"/>
<area shape="rect" id="Node000054" title=" " alt="" coords="1787,299,1946,339"/>
<area shape="poly" id="edge83_Node000007_Node000054" title=" " alt="" coords="1869,251,1869,285,1864,285,1864,251"/>
<area shape="rect" id="Node000055" title=" " alt="" coords="1970,299,2113,339"/>
<area shape="poly" id="edge84_Node000007_Node000055" title=" " alt="" coords="1906,248,1992,290,1990,295,1904,253"/>
<area shape="rect" id="Node000056" title=" " alt="" coords="2137,306,2316,331"/>
<area shape="poly" id="edge85_Node000007_Node000056" title=" " alt="" coords="1946,248,2166,300,2165,305,1945,253"/>
<area shape="poly" id="edge51_Node000008_Node000005" title=" " alt="" coords="2588,334,2457,354,2309,385,2239,404,2177,426,2127,450,2094,476,2075,504,2063,536,2056,569,2052,603,2055,668,2063,718,2058,719,2050,668,2047,603,2050,569,2058,534,2071,502,2090,473,2124,446,2174,421,2237,399,2308,380,2456,349,2587,329"/>
<area shape="poly" id="edge53_Node000008_Node000006" title=" " alt="" coords="2588,334,2524,341,2410,352,2321,358,2232,367,2121,389,2090,399,2067,409,2044,419,2013,429,1848,466,1719,485,1588,499,1420,517,1095,555,854,580,854,575,1095,550,1420,512,1587,493,1718,480,1847,461,2011,424,2042,414,2065,404,2088,394,2119,384,2232,362,2320,352,2410,347,2524,336,2588,328"/>
<area shape="poly" id="edge10_Node000008_Node000009" title=" " alt="" coords="2700,337,2739,375,2736,379,2696,341"/>
<area shape="poly" id="edge48_Node000008_Node000020" title=" " alt="" coords="2731,336,3115,475,3113,480,2730,341"/>
<area shape="poly" id="edge52_Node000008_Node000033" title=" " alt="" coords="2770,324,2936,341,3133,370,3229,389,3315,413,3385,440,3413,456,3434,473,3448,492,3456,514,3461,556,3456,556,3451,515,3443,494,3430,477,3410,460,3383,445,3313,418,3228,394,3132,375,2935,346,2769,329"/>
<area shape="poly" id="edge49_Node000008_Node000034" title=" " alt="" coords="2770,316,2878,320,3011,330,3155,350,3227,365,3297,384,3347,401,3384,419,3419,441,3462,473,3508,516,3544,557,3540,561,3504,520,3458,477,3416,445,3382,423,3345,406,3295,389,3226,370,3154,355,3011,335,2878,325,2770,322"/>
<area shape="poly" id="edge50_Node000008_Node000038" title=" " alt="" coords="2588,330,2353,353,2070,389,2014,400,2013,395,2069,384,2352,348,2587,325"/>
<area shape="poly" id="edge44_Node000009_Node000005" title=" " alt="" coords="2685,422,2591,442,2542,458,2495,477,2468,495,2443,517,2250,640,2100,727,2098,722,2247,635,2440,513,2465,491,2492,472,2540,453,2590,437,2684,416"/>
<area shape="rect" id="Node000010" href="$reaction_8h.html" title="Defines classes for representing and managing nuclear reactions." alt="" coords="2644,651,2839,676"/>
<area shape="poly" id="edge11_Node000009_Node000010" title=" " alt="" coords="2828,424,2861,444,2876,457,2888,473,2895,495,2888,516,2876,530,2863,538,2835,543,2807,548,2794,554,2781,565,2768,581,2759,600,2748,637,2743,636,2754,598,2764,578,2777,561,2791,549,2806,543,2834,538,2861,533,2872,526,2883,513,2890,495,2883,476,2872,461,2858,448,2825,429"/>
<area shape="rect" id="Node000016" title=" " alt="" coords="3279,731,3403,757"/>
<area shape="poly" id="edge45_Node000009_Node000016" title=" " alt="" coords="2849,424,2915,444,2981,472,3086,534,3184,605,3265,670,3321,720,3317,724,3261,675,3181,609,3083,539,2979,477,2913,449,2848,429"/>
<area shape="poly" id="edge21_Node000009_Node000020" title=" " alt="" coords="2849,423,3094,476,3093,482,2848,428"/>
<area shape="rect" id="Node000021" href="$screening__abstract_8h.html" title=" " alt="" coords="2489,563,2650,603"/>
<area shape="poly" id="edge24_Node000009_Node000021" title=" " alt="" coords="2806,425,2835,443,2860,465,2873,490,2873,503,2866,517,2840,530,2790,544,2664,569,2663,563,2789,538,2838,525,2862,513,2868,502,2868,491,2856,468,2832,447,2804,429"/>
<area shape="rect" id="Node000022" href="$screening__types_8h.html" title=" " alt="" coords="2104,475,2248,515"/>
<area shape="poly" id="edge29_Node000009_Node000022" title=" " alt="" coords="2685,419,2491,443,2262,477,2261,477,2260,472,2261,472,2491,437,2684,414"/>
<area shape="rect" id="Node000024" href="$reporting_8h.html" title=" " alt="" coords="2273,475,2429,515"/>
<area shape="poly" id="edge32_Node000009_Node000024" title=" " alt="" coords="2685,427,2443,477,2441,472,2684,422"/>
<area shape="rect" id="Node000028" href="$building_8h.html" title="Defines types related to building reaction networks in the GridFire engine." alt="" coords="2505,475,2661,515"/>
<area shape="poly" id="edge35_Node000009_Node000028" title=" " alt="" coords="2727,429,2636,471,2634,466,2725,424"/>
<area shape="rect" id="Node000030" href="$jacobian_8h.html" title="Wrapper for handling the network Jacobian matrix in GridFire. Currently uses Eigen's SparseMatrix." alt="" coords="3263,475,3419,515"/>
<area shape="poly" id="edge36_Node000009_Node000030" title=" " alt="" coords="2849,415,3029,438,3250,472,3249,477,3028,444,2848,420"/>
<area shape="rect" id="Node000031" title=" " alt="" coords="2791,563,2969,603"/>
<area shape="poly" id="edge43_Node000009_Node000031" title=" " alt="" coords="2850,412,2880,420,2911,432,2938,450,2961,473,2966,484,2968,496,2960,518,2944,539,2923,557,2920,553,2940,535,2956,516,2962,495,2961,486,2956,476,2935,454,2908,437,2879,425,2848,417"/>
<area shape="rect" id="Node000036" title=" " alt="" coords="2685,482,2745,507"/>
<area shape="poly" id="edge46_Node000009_Node000036" title=" " alt="" coords="2757,428,2731,471,2727,468,2753,426"/>
<area shape="rect" id="Node000037" title=" " alt="" coords="2769,482,2852,507"/>
<area shape="poly" id="edge47_Node000009_Node000037" title=" " alt="" coords="2779,426,2801,468,2796,471,2774,428"/>
<area shape="poly" id="edge18_Node000010_Node000005" title=" " alt="" coords="2644,669,2535,674,2404,684,2261,701,2119,727,2108,730,2106,724,2118,721,2260,696,2403,679,2535,669,2644,664"/>
<area shape="rect" id="Node000011" title=" " alt="" coords="2600,731,2667,757"/>
<area shape="poly" id="edge12_Node000010_Node000011" title=" " alt="" coords="2727,678,2662,725,2659,721,2724,674"/>
<area shape="rect" id="Node000012" title=" " alt="" coords="2691,731,2789,757"/>
<area shape="poly" id="edge13_Node000010_Node000012" title=" " alt="" coords="2744,676,2743,718,2738,717,2738,676"/>
<area shape="poly" id="edge14_Node000010_Node000013" title=" " alt="" coords="2701,679,2516,730,2515,725,2700,673"/>
<area shape="poly" id="edge15_Node000010_Node000014" title=" " alt="" coords="2661,679,2336,727,2304,732,2303,727,2336,721,2661,673"/>
<area shape="rect" id="Node000015" title=" " alt="" coords="3145,731,3255,757"/>
<area shape="poly" id="edge16_Node000010_Node000015" title=" " alt="" coords="2839,673,2979,693,3134,721,3150,725,3149,730,3133,727,2978,698,2838,679"/>
<area shape="poly" id="edge17_Node000010_Node000016" title=" " alt="" coords="2839,669,3037,688,3153,703,3267,721,3288,726,3287,731,3266,727,3152,708,3037,694,2838,674"/>
<area shape="rect" id="Node000018" title=" " alt="" coords="2813,731,2945,757"/>
<area shape="poly" id="edge19_Node000010_Node000018" title=" " alt="" coords="2763,674,2848,722,2845,727,2760,678"/>
<area shape="rect" id="Node000019" title=" " alt="" coords="2969,724,3121,764"/>
<area shape="poly" id="edge20_Node000010_Node000019" title=" " alt="" coords="2786,673,2960,718,2959,723,2785,679"/>
<area shape="poly" id="edge23_Node000020_Node000018" title=" " alt="" coords="3147,510,2904,724,2900,720,3144,506"/>
<area shape="poly" id="edge22_Node000020_Node000019" title=" " alt="" coords="3156,509,3062,713,3057,710,3151,507"/>
<area shape="poly" id="edge28_Node000021_Node000005" title=" " alt="" coords="2507,605,2332,658,2120,727,2112,729,2110,724,2118,721,2330,653,2505,600"/>
<area shape="poly" id="edge25_Node000021_Node000010" title=" " alt="" coords="2612,600,2705,642,2703,647,2609,605"/>
<area shape="poly" id="edge26_Node000021_Node000013" title=" " alt="" coords="2559,604,2479,721,2475,718,2554,601"/>
<area shape="poly" id="edge27_Node000021_Node000018" title=" " alt="" coords="2651,591,2767,614,2818,629,2852,649,2865,664,2873,682,2880,717,2875,718,2868,684,2860,667,2849,653,2816,634,2766,619,2650,597"/>
<area shape="poly" id="edge30_Node000022_Node000021" title=" " alt="" coords="2249,509,2262,512,2476,558,2475,564,2261,517,2248,514"/>
<area shape="poly" id="edge31_Node000022_Node000023" title=" " alt="" coords="2104,502,252,582,252,576,2104,496"/>
<area shape="poly" id="edge33_Node000024_Node000006" title=" " alt="" coords="2273,516,2260,517,2049,540,1832,557,1416,577,1070,584,854,584,854,579,1070,579,1416,572,1832,552,2048,535,2260,512,2272,510"/>
<area shape="poly" id="edge34_Node000024_Node000019" title=" " alt="" coords="2430,506,2541,528,2663,560,2772,599,2877,648,3003,715,3000,720,2875,653,2770,604,2662,565,2540,533,2429,511"/>
<area shape="poly" id="edge37_Node000030_Node000013" title=" " alt="" coords="3289,517,3151,561,2982,605,2883,620,2805,623,2728,630,2684,639,2633,653,2593,669,2554,688,2491,726,2488,721,2551,683,2591,664,2631,648,2683,633,2728,625,2805,618,2883,615,2981,600,3149,556,3287,512"/>
<area shape="poly" id="edge39_Node000030_Node000015" title=" " alt="" coords="3333,516,3216,721,3211,718,3328,514"/>
<area shape="poly" id="edge42_Node000030_Node000016" title=" " alt="" coords="3344,515,3344,717,3339,717,3339,515"/>
<area shape="poly" id="edge38_Node000030_Node000031" title=" " alt="" coords="3264,515,3251,517,2984,566,2983,561,3250,512,3263,510"/>
<area shape="poly" id="edge40_Node000030_Node000033" title=" " alt="" coords="3369,513,3432,560,3429,564,3365,517"/>
<area shape="poly" id="edge41_Node000030_Node000034" title=" " alt="" coords="3390,512,3518,563,3516,567,3388,517"/>
<area shape="rect" id="Node000040" href="$error__gridfire_8h.html" title=" " alt="" coords="1265,475,1407,515"/>
<area shape="poly" id="edge57_Node000039_Node000040" title=" " alt="" coords="992,334,1004,336,1100,341,1261,348,1418,360,1475,371,1494,377,1506,385,1515,400,1516,414,1510,427,1498,439,1464,459,1422,475,1420,470,1462,454,1495,434,1506,424,1511,413,1510,401,1502,389,1492,382,1473,376,1417,366,1260,353,1100,347,1004,341,991,339"/>
<area shape="rect" id="Node000042" href="$error__engine_8h.html" title=" " alt="" coords="1567,387,1710,427"/>
<area shape="poly" id="edge59_Node000039_Node000042" title=" " alt="" coords="992,334,1004,336,1157,354,1276,361,1396,367,1548,384,1554,385,1553,390,1548,389,1395,372,1276,366,1156,360,1004,341,991,339"/>
<area shape="rect" id="Node000043" href="$error__utils_8h.html" title=" " alt="" coords="1734,387,1877,427"/>
<area shape="poly" id="edge61_Node000039_Node000043" title=" " alt="" coords="992,334,1004,336,1112,349,1203,356,1361,360,1519,364,1612,371,1721,384,1720,389,1611,376,1519,369,1361,365,1203,361,1111,354,1004,341,991,339"/>
<area shape="rect" id="Node000044" href="$error__debug_8h.html" title=" " alt="" coords="1015,387,1158,427"/>
<area shape="poly" id="edge63_Node000039_Node000044" title=" " alt="" coords="958,336,1039,378,1037,383,955,341"/>
<area shape="rect" id="Node000047" href="$error__policy_8h.html" title="Defines custom exception types related to network policy construction and verification." alt="" coords="1182,387,1325,427"/>
<area shape="poly" id="edge66_Node000039_Node000047" title=" " alt="" coords="992,336,1169,381,1168,386,991,341"/>
<area shape="rect" id="Node000048" href="$error__reaction_8h.html" title=" " alt="" coords="849,387,991,427"/>
<area shape="poly" id="edge68_Node000039_Node000048" title=" " alt="" coords="923,339,923,373,917,373,917,339"/>
<area shape="rect" id="Node000049" href="$error__solver_8h.html" title=" " alt="" coords="1349,387,1491,427"/>
<area shape="poly" id="edge71_Node000039_Node000049" title=" " alt="" coords="992,334,1004,336,1096,351,1168,360,1242,369,1336,384,1335,389,1241,374,1168,365,1095,356,1004,341,991,339"/>
<area shape="poly" id="edge58_Node000040_Node000006" title=" " alt="" coords="1265,510,854,577,853,572,1264,505"/>
<area shape="poly" id="edge60_Node000042_Node000040" title=" " alt="" coords="1573,429,1416,473,1415,468,1572,424"/>
<area shape="poly" id="edge62_Node000043_Node000040" title=" " alt="" coords="1734,427,1723,429,1421,483,1420,477,1722,424,1733,422"/>
<area shape="poly" id="edge64_Node000044_Node000006" title=" " alt="" coords="1058,429,842,565,839,560,1055,425"/>
<area shape="poly" id="edge65_Node000044_Node000040" title=" " alt="" coords="1142,424,1269,468,1267,473,1141,429"/>
<area shape="poly" id="edge67_Node000047_Node000040" title=" " alt="" coords="1274,425,1310,463,1306,466,1270,429"/>
<area shape="poly" id="edge69_Node000048_Node000006" title=" " alt="" coords="910,428,828,559,823,557,906,425"/>
<area shape="poly" id="edge70_Node000048_Node000040" title=" " alt="" coords="992,421,1005,424,1251,474,1250,479,1003,429,991,427"/>
<area shape="poly" id="edge72_Node000049_Node000040" title=" " alt="" coords="1403,429,1366,467,1362,463,1399,425"/>
<area shape="poly" id="edge92_Node000058_Node000003" title=" " alt="" coords="332,336,434,379,432,384,330,341"/>
<area shape="poly" id="edge93_Node000058_Node000004" title=" " alt="" coords="306,337,347,378,398,425,451,465,448,469,394,429,343,382,303,341"/>
<area shape="poly" id="edge95_Node000058_Node000005" title=" " alt="" coords="206,341,159,360,116,389,90,413,72,434,62,459,59,493,58,585,49,592,32,597,24,599,33,603,76,613,169,627,554,673,775,695,1000,711,1435,731,1796,739,2021,740,2021,746,1796,744,1435,737,1000,717,774,700,553,679,168,632,75,618,30,608,19,599,30,592,46,587,54,583,53,493,57,458,68,432,86,409,113,385,157,356,204,336"/>
<area shape="poly" id="edge94_Node000058_Node000006" title=" " alt="" coords="294,338,306,376,326,424,357,473,376,494,397,512,426,527,467,539,569,558,678,570,768,576,767,582,678,575,568,563,465,544,424,532,395,517,372,498,352,476,322,426,301,378,289,339"/>
<area shape="poly" id="edge96_Node000058_Node000023" title=" " alt="" coords="206,338,166,358,148,371,134,388,125,409,122,432,125,456,133,479,157,523,183,558,178,561,152,526,128,481,120,457,117,432,120,408,130,385,145,368,163,353,204,333"/>
<area shape="rect" id="Node000059" title=" " alt="" coords="145,394,231,419"/>
<area shape="poly" id="edge97_Node000058_Node000059" title=" " alt="" coords="267,341,214,387,210,383,263,337"/>
2025-11-06 09:16:40 -05:00
</map>
