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-24 09:08:28 -05:00
<area shape="rect" id="Node000001" title=" " alt="" coords="460,5,641,61"/>
<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="536,109,717,165"/>
<area shape="poly" id="edge1_Node000001_Node000002" title=" " alt="" coords="573,60,599,95,595,98,569,63"/>
2025-11-06 09:16:40 -05:00
<area shape="rect" id="Node000003" href="$trigger__abstract_8h.html" title=" " alt="" coords="398,390,538,431"/>
2025-11-24 09:08:28 -05:00
<area shape="poly" id="edge98_Node000001_Node000003" title=" " alt="" coords="502,63,477,84,458,110,446,144,438,180,436,216,437,253,446,321,459,374,454,375,441,322,431,253,430,216,433,179,441,143,454,108,473,81,499,59"/>
<area shape="rect" id="Node000006" title=" " alt="" coords="752,575,805,600"/>
<area shape="poly" id="edge102_Node000001_Node000006" title=" " alt="" coords="540,62,526,110,523,137,527,164,548,227,575,289,607,348,641,403,708,497,760,561,756,565,704,501,636,406,602,350,570,291,543,229,521,165,518,138,521,109,535,61"/>
<area shape="rect" id="Node000007" href="$_c_v_o_d_e__solver__strategy_8h.html" title=" " alt="" coords="1655,213,1833,253"/>
<area shape="poly" id="edge90_Node000001_Node000007" title=" " alt="" coords="635,59,683,80,731,107,748,122,759,137,770,151,788,162,836,174,920,185,1155,204,1419,217,1639,226,1639,231,1419,223,1154,209,919,191,835,179,786,167,766,155,755,140,744,126,728,111,681,85,632,64"/>
<area shape="rect" id="Node000023" title=" " alt="" coords="159,575,228,600"/>
<area shape="poly" id="edge100_Node000001_Node000023" title=" " alt="" coords="461,51,324,77,249,95,175,116,109,141,56,169,36,183,21,199,11,215,8,232,8,411,12,439,22,464,38,487,58,507,104,541,149,566,147,570,101,546,54,511,34,490,17,467,7,440,3,412,3,231,6,213,16,196,32,179,53,164,107,136,174,111,247,90,323,72,460,45"/>
<area shape="rect" id="Node000057" title=" " alt="" coords="2376,220,2432,246"/>
<area shape="poly" id="edge101_Node000001_Node000057" title=" " alt="" coords="642,51,711,73,779,107,796,122,805,137,815,151,832,162,872,174,934,182,1111,194,1338,198,1590,199,2071,197,2251,201,2358,210,2365,212,2364,217,2357,215,2250,206,2071,203,1590,204,1338,204,1111,199,934,188,871,179,830,167,811,155,801,140,791,125,776,111,709,78,640,56"/>
<area shape="rect" id="Node000058" href="$trigger__logical_8h.html" title="Combinators for composing triggers with boolean logic (AND/OR/NOT/EveryNth)." alt="" coords="195,301,336,342"/>
<area shape="poly" id="edge91_Node000001_Node000058" title=" " alt="" coords="482,64,443,85,407,111,366,154,332,202,283,289,278,286,327,199,362,151,404,107,440,80,479,59"/>
<area shape="rect" id="Node000060" title=" " alt="" coords="842,124,966,150"/>
<area shape="poly" id="edge99_Node000001_Node000060" title=" " alt="" coords="642,55,825,106,855,116,854,121,823,112,640,60"/>
<area shape="poly" id="edge2_Node000002_Node000003" title=" " alt="" coords="613,166,489,378,485,375,609,164"/>
<area shape="rect" id="Node000004" href="$trigger__result_8h.html" title="Structured explanation node for trigger evaluations." alt="" coords="398,479,538,519"/>
<area shape="poly" id="edge7_Node000002_Node000004" title=" " alt="" coords="628,165,622,218,610,286,588,361,572,398,553,432,536,453,515,471,512,467,532,450,548,429,567,396,583,360,605,285,617,217,623,165"/>
<area shape="poly" id="edge87_Node000002_Node000006" title=" " alt="" coords="637,164,685,316,755,518,770,560,766,562,749,520,680,317,632,166"/>
<area shape="poly" id="edge8_Node000002_Node000007" title=" " alt="" coords="718,159,736,162,990,193,1242,213,1467,223,1640,228,1639,233,1467,229,1241,218,989,198,736,167,717,164"/>
<area shape="rect" id="Node000014" title=" " alt="" coords="2016,737,2178,763"/>
<area shape="poly" id="edge86_Node000002_Node000014" title=" " alt="" coords="718,154,772,162,935,177,1073,183,1309,182,1423,180,1545,183,1683,192,1846,210,1907,215,1963,215,2061,212,2105,217,2148,231,2189,257,2230,300,2254,332,2259,351,2247,359,2222,360,2188,358,2144,360,2094,370,2040,392,2006,410,1981,427,1960,448,1942,480,1933,516,1936,552,1949,587,1969,621,1994,653,2020,681,2070,725,2067,729,2017,685,1990,656,1965,624,1944,589,1931,553,1928,515,1938,478,1956,444,1977,422,2003,406,2038,388,2093,365,2144,355,2188,353,2223,354,2245,354,2254,349,2249,335,2226,303,2186,261,2146,236,2104,222,2061,217,1963,220,1907,220,1845,215,1683,197,1545,188,1423,186,1309,187,1073,188,935,182,772,167,717,159"/>
<area shape="poly" id="edge89_Node000002_Node000023" title=" " alt="" coords="602,167,217,566,213,562,599,163"/>
<area shape="poly" id="edge88_Node000002_Node000057" title=" " alt="" coords="718,153,787,162,940,171,1131,174,1574,172,1802,172,2017,177,2206,189,2288,198,2358,210,2365,212,2364,217,2357,215,2287,203,2206,194,2017,182,1802,177,1574,177,1131,179,940,176,786,167,717,158"/>
<area shape="poly" id="edge3_Node000003_Node000004" title=" " alt="" coords="471,431,471,463,465,463,465,431"/>
<area shape="poly" id="edge6_Node000003_Node000006" title=" " alt="" coords="504,429,660,517,745,564,742,569,657,522,501,433"/>
<area shape="rect" id="Node000005" title=" " alt="" coords="1915,737,1973,763"/>
<area shape="poly" id="edge4_Node000004_Node000005" title=" " alt="" coords="474,519,482,555,498,600,523,644,539,664,559,679,580,686,622,692,759,705,1164,724,1601,738,1900,745,1900,750,1601,743,1164,730,759,710,622,698,579,691,556,684,536,667,519,648,493,602,477,557,468,521"/>
<area shape="poly" id="edge5_Node000004_Node000006" title=" " alt="" coords="539,517,738,572,736,577,538,522"/>
<area shape="poly" id="edge78_Node000007_Node000005" title=" " alt="" coords="1654,237,1429,240,1152,250,1019,258,905,270,819,285,790,294,772,303,738,338,711,374,694,411,685,450,685,489,694,529,713,568,742,606,765,622,805,636,926,663,1087,686,1272,705,1642,731,1900,744,1900,750,1642,737,1271,710,1087,691,925,668,803,642,763,626,738,610,709,570,689,530,680,490,680,449,689,410,707,371,734,334,769,299,788,289,818,280,904,264,1019,253,1152,244,1429,235,1654,232"/>
<area shape="poly" id="edge77_Node000007_Node000006" title=" " alt="" coords="1655,237,1436,239,1168,249,1041,257,931,269,849,284,822,293,806,303,784,331,770,364,762,399,759,435,763,505,774,559,769,560,758,505,753,435,756,398,765,362,780,329,802,299,820,288,848,279,930,264,1040,252,1168,243,1436,234,1654,232"/>
<area shape="rect" id="Node000008" href="$strategy__abstract_8h.html" title=" " alt="" coords="2418,301,2579,342"/>
<area shape="poly" id="edge9_Node000007_Node000008" title=" " alt="" coords="1834,242,2403,307,2402,312,1833,247"/>
<area shape="rect" id="Node000009" href="$engine__abstract_8h.html" title="Abstract interfaces for reaction network engines in GridFire." alt="" coords="2512,390,2656,431"/>
<area shape="poly" id="edge54_Node000007_Node000009" title=" " alt="" coords="1834,240,2017,262,2123,278,2229,299,2383,340,2516,382,2514,387,2382,345,2227,304,2122,284,2016,267,1833,245"/>
<area shape="rect" id="Node000013" title=" " alt="" coords="2223,737,2428,763"/>
<area shape="poly" id="edge73_Node000007_Node000013" title=" " alt="" coords="1834,233,1926,238,2024,249,2109,269,2141,282,2163,300,2177,321,2176,338,2163,349,2142,357,2078,362,1999,362,1920,362,1853,370,1830,379,1816,391,1812,407,1820,429,1862,491,1914,545,1974,592,2037,632,2101,665,2163,693,2266,730,2264,735,2161,698,2099,670,2034,636,1971,596,1911,549,1858,494,1815,432,1807,407,1811,388,1827,374,1852,365,1919,357,1999,356,2078,357,2141,351,2161,345,2171,336,2171,322,2159,303,2139,287,2107,274,2023,254,1925,243,1834,238"/>
<area shape="rect" id="Node000020" href="$types_8h.html" title=" " alt="" coords="2891,486,3034,512"/>
<area shape="poly" id="edge55_Node000007_Node000020" title=" " alt="" coords="1834,234,2012,241,2230,253,2440,272,2526,285,2591,299,2695,337,2792,386,2875,435,2935,475,2932,479,2872,440,2790,391,2693,342,2590,304,2525,290,2439,278,2230,259,2012,246,1834,240"/>
<area shape="rect" id="Node000033" title=" " alt="" coords="3210,575,3259,600"/>
<area shape="poly" id="edge79_Node000007_Node000033" title=" " alt="" coords="1834,234,2197,252,2429,271,2663,299,2874,329,2964,350,3077,387,3172,416,3208,437,3225,454,3241,477,3249,498,3251,520,3246,560,3241,559,3246,520,3244,499,3236,480,3221,457,3205,441,3169,421,3075,393,2963,355,2873,334,2662,304,2429,276,2197,258,1834,239"/>
<area shape="rect" id="Node000034" title=" " alt="" coords="3297,575,3375,600"/>
<area shape="poly" id="edge75_Node000007_Node000034" title=" " alt="" coords="1834,235,2336,259,2611,277,2812,299,2911,314,2989,327,3064,349,3156,388,3224,424,3251,445,3281,477,3309,519,3329,559,3324,561,3304,521,3277,480,3247,449,3221,428,3154,392,3062,354,2988,333,2911,319,2812,304,2611,283,2335,264,1833,240"/>
<area shape="rect" id="Node000038" title=" " alt="" coords="1830,398,1872,423"/>
<area shape="poly" id="edge76_Node000007_Node000038" title=" " alt="" coords="1834,231,1936,235,2047,245,2099,254,2145,266,2182,281,2207,300,2214,310,2217,322,2214,333,2207,344,2183,361,2147,372,2104,378,2056,381,1962,384,1922,387,1891,393,1887,394,1885,389,1890,387,1921,382,1962,379,2056,376,2103,373,2146,367,2180,356,2203,340,2210,331,2212,322,2210,313,2203,303,2179,285,2144,271,2098,259,2047,251,1936,240,1834,237"/>
<area shape="rect" id="Node000039" href="$exceptions_8h.html" title=" " alt="" coords="816,301,944,342"/>
<area shape="poly" id="edge56_Node000007_Node000039" title=" " alt="" coords="1654,240,1350,258,1157,277,960,304,959,298,1157,271,1350,253,1654,235"/>
<area shape="rect" id="Node000050" title=" " alt="" coords="968,309,1118,334"/>
<area shape="poly" id="edge74_Node000007_Node000050" title=" " alt="" coords="1655,244,1417,266,1273,283,1130,304,1108,308,1107,303,1129,299,1272,278,1416,261,1654,238"/>
<area shape="rect" id="Node000051" title=" " alt="" coords="1142,309,1248,334"/>
<area shape="poly" id="edge80_Node000007_Node000051" title=" " alt="" coords="1655,245,1472,268,1366,284,1261,304,1248,307,1247,302,1259,299,1365,279,1471,262,1654,240"/>
<area shape="rect" id="Node000052" title=" " alt="" coords="1272,309,1443,334"/>
<area shape="poly" id="edge81_Node000007_Node000052" title=" " alt="" coords="1656,257,1427,308,1426,302,1655,251"/>
<area shape="rect" id="Node000053" title=" " alt="" coords="1468,309,1650,334"/>
<area shape="poly" id="edge82_Node000007_Node000053" title=" " alt="" coords="1703,256,1599,304,1597,300,1701,251"/>
<area shape="rect" id="Node000054" title=" " alt="" coords="1674,301,1814,342"/>
<area shape="poly" id="edge83_Node000007_Node000054" title=" " alt="" coords="1747,254,1747,286,1741,286,1741,254"/>
<area shape="rect" id="Node000055" title=" " alt="" coords="1838,301,1965,342"/>
<area shape="poly" id="edge84_Node000007_Node000055" title=" " alt="" coords="1781,252,1854,291,1851,296,1778,256"/>
<area shape="rect" id="Node000056" title=" " alt="" coords="1989,309,2150,334"/>
<area shape="poly" id="edge85_Node000007_Node000056" title=" " alt="" coords="1819,251,2009,302,2008,307,1818,257"/>
<area shape="poly" id="edge51_Node000008_Node000005" title=" " alt="" coords="2419,338,2300,360,2166,392,2102,411,2046,433,2001,456,1971,480,1953,509,1941,540,1933,573,1930,607,1932,671,1940,722,1935,722,1927,672,1925,607,1928,572,1936,538,1948,506,1967,477,1998,451,2044,428,2100,406,2164,387,2299,355,2418,333"/>
<area shape="poly" id="edge53_Node000008_Node000006" title=" " alt="" coords="2418,337,2358,345,2254,356,2174,362,2094,371,1993,393,1962,402,1939,412,1916,423,1885,433,1733,469,1613,489,1336,522,1042,560,821,585,820,579,1041,554,1336,517,1612,483,1732,464,1883,428,1914,418,1937,408,1960,397,1991,387,2093,366,2173,357,2254,350,2357,339,2418,331"/>
<area shape="poly" id="edge10_Node000008_Node000009" title=" " alt="" coords="2520,341,2556,377,2552,381,2516,344"/>
<area shape="poly" id="edge48_Node000008_Node000020" title=" " alt="" coords="2551,340,2917,478,2916,483,2550,345"/>
<area shape="poly" id="edge52_Node000008_Node000033" title=" " alt="" coords="2579,327,2736,345,2924,375,3015,395,3098,418,3165,445,3191,461,3211,477,3225,495,3233,517,3238,559,3233,559,3228,518,3220,498,3207,481,3188,465,3162,450,3096,423,3014,400,2923,380,2735,350,2579,333"/>
<area shape="poly" id="edge49_Node000008_Node000034" title=" " alt="" coords="2579,320,2681,324,2806,334,2943,354,3011,369,3077,387,3126,405,3164,422,3199,445,3240,477,3285,519,3320,561,3316,564,3281,523,3237,481,3195,449,3161,427,3124,410,3075,393,3010,374,2942,359,2806,339,2680,329,2579,325"/>
<area shape="poly" id="edge50_Node000008_Node000038" title=" " alt="" coords="2418,333,2203,356,1942,393,1887,403,1886,398,1941,387,2202,351,2418,328"/>
<area shape="poly" id="edge44_Node000009_Node000005" title=" " alt="" coords="2512,426,2427,447,2382,462,2339,481,2313,500,2288,521,2114,642,1978,731,1975,726,2111,638,2285,517,2309,495,2336,476,2380,457,2425,442,2511,421"/>
<area shape="rect" id="Node000010" href="$reaction_8h.html" title="Defines classes for representing and managing nuclear reactions." alt="" coords="2497,656,2668,682"/>
<area shape="poly" id="edge11_Node000009_Node000010" title=" " alt="" coords="2644,429,2676,449,2701,477,2708,499,2701,521,2690,534,2678,541,2652,547,2626,552,2614,558,2603,569,2594,586,2588,604,2584,641,2579,640,2583,603,2589,583,2599,566,2611,554,2624,547,2651,542,2676,536,2687,530,2696,518,2703,499,2696,480,2672,453,2641,434"/>
<area shape="rect" id="Node000016" title=" " alt="" coords="3073,737,3183,763"/>
<area shape="poly" id="edge45_Node000009_Node000016" title=" " alt="" coords="2657,425,2725,446,2793,476,2891,538,2981,608,3055,674,3108,724,3104,728,3052,677,2977,612,2888,542,2791,481,2723,451,2656,431"/>
<area shape="poly" id="edge21_Node000009_Node000020" title=" " alt="" coords="2657,426,2895,480,2894,485,2656,431"/>
<area shape="rect" id="Node000021" href="$screening__abstract_8h.html" title=" " alt="" coords="2338,567,2484,608"/>
<area shape="poly" id="edge24_Node000009_Node000021" title=" " alt="" coords="2622,429,2649,447,2673,470,2685,495,2685,508,2678,521,2614,542,2500,569,2498,564,2613,537,2674,517,2680,507,2680,496,2669,473,2646,451,2619,433"/>
<area shape="rect" id="Node000022" href="$screening__types_8h.html" title=" " alt="" coords="1981,479,2112,519"/>
<area shape="poly" id="edge29_Node000009_Node000022" title=" " alt="" coords="2512,423,2341,445,2128,481,2127,475,2340,440,2511,417"/>
<area shape="rect" id="Node000024" href="$reporting_8h.html" title=" " alt="" coords="2136,479,2274,519"/>
<area shape="poly" id="edge32_Node000009_Node000024" title=" " alt="" coords="2512,431,2290,481,2289,476,2511,426"/>
<area shape="rect" id="Node000028" href="$building_8h.html" title="Defines types related to building reaction networks in the GridFire engine." alt="" coords="2350,479,2488,519"/>
<area shape="poly" id="edge35_Node000009_Node000028" title=" " alt="" coords="2548,434,2471,474,2468,469,2545,429"/>
<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="3059,479,3197,519"/>
<area shape="poly" id="edge36_Node000009_Node000030" title=" " alt="" coords="2657,418,2829,441,3044,476,3043,481,2828,446,2656,423"/>
<area shape="rect" id="Node000031" title=" " alt="" coords="2613,567,2774,608"/>
<area shape="poly" id="edge43_Node000009_Node000031" title=" " alt="" coords="2657,415,2689,423,2720,435,2749,453,2773,477,2780,499,2773,522,2757,542,2738,560,2734,556,2753,538,2768,519,2774,499,2768,480,2746,457,2718,440,2687,428,2656,420"/>
<area shape="rect" id="Node000036" title=" " alt="" coords="2512,486,2565,512"/>
<area shape="poly" id="edge46_Node000009_Node000036" title=" " alt="" coords="2576,432,2554,474,2550,471,2571,430"/>
<area shape="rect" id="Node000037" title=" " alt="" coords="2590,486,2664,512"/>
<area shape="poly" id="edge47_Node000009_Node000037" title=" " alt="" coords="2596,430,2617,471,2612,474,2591,432"/>
<area shape="poly" id="edge18_Node000010_Node000005" title=" " alt="" coords="2497,676,2273,693,2138,709,2005,732,1988,736,1987,731,2003,727,2137,704,2272,688,2496,671"/>
<area shape="rect" id="Node000011" title=" " alt="" coords="2452,737,2513,763"/>
<area shape="poly" id="edge12_Node000010_Node000011" title=" " alt="" coords="2569,684,2511,729,2508,725,2566,680"/>
<area shape="rect" id="Node000012" title=" " alt="" coords="2536,737,2624,763"/>
<area shape="poly" id="edge13_Node000010_Node000012" title=" " alt="" coords="2585,682,2584,722,2578,722,2580,682"/>
<area shape="poly" id="edge14_Node000010_Node000013" title=" " alt="" coords="2544,685,2380,735,2379,730,2542,680"/>
<area shape="poly" id="edge15_Node000010_Node000014" title=" " alt="" coords="2506,685,2211,732,2185,737,2184,731,2210,727,2505,680"/>
<area shape="rect" id="Node000015" title=" " alt="" coords="2951,737,3049,763"/>
<area shape="poly" id="edge16_Node000010_Node000015" title=" " alt="" coords="2669,678,2798,698,2941,727,2951,730,2949,735,2939,732,2797,703,2669,684"/>
<area shape="poly" id="edge17_Node000010_Node000016" title=" " alt="" coords="2669,674,2851,693,2957,708,3062,727,3076,730,3074,735,3061,732,2956,714,2850,699,2669,680"/>
<area shape="rect" id="Node000018" title=" " alt="" coords="2648,737,2768,763"/>
<area shape="poly" id="edge19_Node000010_Node000018" title=" " alt="" coords="2603,680,2677,726,2675,731,2600,684"/>
<area shape="rect" id="Node000019" title=" " alt="" coords="2792,730,2928,770"/>
<area shape="poly" id="edge20_Node000010_Node000019" title=" " alt="" coords="2626,680,2778,723,2777,728,2625,685"/>
<area shape="poly" id="edge23_Node000020_Node000018" title=" " alt="" coords="2952,514,2733,728,2729,725,2949,510"/>
<area shape="poly" id="edge22_Node000020_Node000019" title=" " alt="" coords="2960,513,2876,716,2871,714,2955,511"/>
<area shape="poly" id="edge28_Node000021_Node000005" title=" " alt="" coords="2354,611,1988,736,1987,731,2353,606"/>
<area shape="poly" id="edge25_Node000021_Node000010" title=" " alt="" coords="2455,606,2544,647,2541,652,2453,611"/>
<area shape="poly" id="edge26_Node000021_Node000013" title=" " alt="" coords="2403,610,2341,725,2336,722,2398,607"/>
<area shape="poly" id="edge27_Node000021_Node000018" title=" " alt="" coords="2485,596,2598,619,2648,635,2682,654,2694,669,2702,687,2709,721,2704,722,2697,688,2689,672,2678,658,2646,640,2597,624,2484,602"/>
<area shape="poly" id="edge30_Node000022_Node000021" title=" " alt="" coords="2114,514,2125,517,2323,563,2322,569,2123,522,2112,519"/>
<area shape="poly" id="edge31_Node000022_Node000023" title=" " alt="" coords="1981,506,243,587,243,581,1981,501"/>
<area shape="poly" id="edge33_Node000024_Node000006" title=" " alt="" coords="2136,520,2124,522,1929,546,1729,563,1532,575,1344,583,1023,590,821,590,821,584,1023,585,1344,578,1532,570,1729,558,1928,540,2124,517,2135,515"/>
<area shape="poly" id="edge34_Node000024_Node000019" title=" " alt="" coords="2276,510,2381,533,2497,565,2604,606,2708,654,2819,719,2817,723,2705,658,2601,611,2495,570,2379,538,2274,515"/>
<area shape="poly" id="edge37_Node000030_Node000013" title=" " alt="" coords="3075,522,2944,566,2786,611,2701,625,2634,629,2568,636,2486,659,2414,693,2355,730,2352,726,2411,688,2484,653,2567,631,2634,624,2701,620,2785,605,2943,561,3073,517"/>
<area shape="poly" id="edge39_Node000030_Node000015" title=" " alt="" coords="3120,521,3015,725,3011,722,3116,519"/>
<area shape="poly" id="edge42_Node000030_Node000016" title=" " alt="" coords="3131,520,3131,721,3125,721,3125,520"/>
<area shape="poly" id="edge38_Node000030_Node000031" title=" " alt="" coords="3059,519,3047,522,2789,572,2788,567,3046,517,3058,514"/>
<area shape="poly" id="edge40_Node000030_Node000033" title=" " alt="" coords="3154,518,3210,563,3207,567,3151,522"/>
<area shape="poly" id="edge41_Node000030_Node000034" title=" " alt="" coords="3176,517,3294,566,3292,571,3174,522"/>
<area shape="rect" id="Node000040" href="$error__gridfire_8h.html" title=" " alt="" coords="1196,479,1324,519"/>
<area shape="poly" id="edge57_Node000039_Node000040" title=" " alt="" coords="945,337,956,339,1002,343,1060,344,1196,342,1264,344,1327,350,1378,364,1398,375,1414,388,1423,402,1424,416,1418,428,1408,440,1377,460,1339,477,1337,472,1375,456,1405,436,1414,426,1418,415,1417,404,1410,392,1395,379,1376,369,1326,356,1264,349,1196,347,1060,349,1001,349,956,345,944,342"/>
<area shape="rect" id="Node000042" href="$error__engine_8h.html" title=" " alt="" coords="1475,390,1602,431"/>
<area shape="poly" id="edge59_Node000039_Node000042" title=" " alt="" coords="945,337,956,339,1096,358,1206,364,1316,370,1456,387,1460,388,1460,393,1456,393,1316,375,1206,369,1096,363,956,345,944,342"/>
<area shape="rect" id="Node000043" href="$error__utils_8h.html" title=" " alt="" coords="1627,390,1754,431"/>
<area shape="poly" id="edge61_Node000039_Node000043" title=" " alt="" coords="945,337,956,339,1054,353,1138,360,1282,364,1427,367,1512,374,1612,387,1611,392,1512,379,1427,373,1282,369,1138,365,1054,358,956,345,944,342"/>
<area shape="rect" id="Node000044" href="$error__debug_8h.html" title=" " alt="" coords="968,390,1096,431"/>
<area shape="poly" id="edge63_Node000039_Node000044" title=" " alt="" coords="916,340,986,380,983,385,913,345"/>
<area shape="rect" id="Node000047" href="$error__policy_8h.html" title="Defines custom exception types related to network policy construction and verification." alt="" coords="1120,390,1248,431"/>
<area shape="poly" id="edge66_Node000039_Node000047" title=" " alt="" coords="945,339,1106,384,1105,389,943,344"/>
<area shape="rect" id="Node000048" href="$error__reaction_8h.html" title=" " alt="" coords="816,390,944,431"/>
<area shape="poly" id="edge68_Node000039_Node000048" title=" " alt="" coords="883,343,883,374,877,374,877,343"/>
<area shape="rect" id="Node000049" href="$error__solver_8h.html" title=" " alt="" coords="1272,390,1400,431"/>
<area shape="poly" id="edge71_Node000039_Node000049" title=" " alt="" coords="945,337,957,339,1039,354,1105,363,1172,372,1257,387,1256,392,1171,377,1104,368,1038,359,955,345,944,342"/>
<area shape="poly" id="edge58_Node000040_Node000006" title=" " alt="" coords="1197,514,821,581,820,576,1196,509"/>
<area shape="poly" id="edge60_Node000042_Node000040" title=" " alt="" coords="1476,434,1338,476,1337,471,1474,429"/>
<area shape="poly" id="edge62_Node000043_Node000040" title=" " alt="" coords="1627,431,1615,433,1340,487,1339,481,1614,428,1626,425"/>
<area shape="poly" id="edge64_Node000044_Node000006" title=" " alt="" coords="1005,433,810,568,807,563,1002,429"/>
<area shape="poly" id="edge65_Node000044_Node000040" title=" " alt="" coords="1085,429,1195,470,1193,475,1083,434"/>
<area shape="poly" id="edge67_Node000047_Node000040" title=" " alt="" coords="1203,429,1235,465,1231,469,1199,433"/>
<area shape="poly" id="edge69_Node000048_Node000006" title=" " alt="" coords="871,432,796,562,791,560,866,430"/>
<area shape="poly" id="edge70_Node000048_Node000040" title=" " alt="" coords="945,425,957,428,1182,478,1181,484,955,433,944,430"/>
<area shape="poly" id="edge72_Node000049_Node000040" title=" " alt="" coords="1321,433,1289,469,1285,465,1317,429"/>
<area shape="poly" id="edge92_Node000058_Node000003" title=" " alt="" coords="312,340,409,381,407,386,310,345"/>
<area shape="poly" id="edge93_Node000058_Node000004" title=" " alt="" coords="288,340,387,429,433,467,430,471,384,433,285,344"/>
<area shape="poly" id="edge95_Node000058_Node000005" title=" " alt="" coords="198,345,155,365,116,392,91,417,73,439,62,464,59,498,58,590,51,597,39,601,35,604,46,609,90,619,176,634,524,679,731,701,942,717,1349,737,1687,745,1900,746,1900,752,1687,750,1349,743,942,722,731,706,524,684,175,639,89,625,44,614,29,605,36,597,48,592,54,588,53,498,57,462,68,436,87,413,113,388,153,360,196,340"/>
<area shape="poly" id="edge94_Node000058_Node000006" title=" " alt="" coords="274,342,288,380,311,428,344,477,364,499,387,517,414,530,452,542,549,561,653,574,737,581,737,586,652,579,549,566,451,547,412,535,384,522,360,503,340,480,306,431,283,382,269,343"/>
<area shape="poly" id="edge96_Node000058_Node000023" title=" " alt="" coords="196,344,161,363,146,376,134,391,125,413,122,435,125,459,132,482,153,526,176,561,172,564,148,528,127,484,120,460,117,435,120,411,130,389,142,372,158,359,193,339"/>
<area shape="rect" id="Node000059" title=" " alt="" coords="144,398,222,423"/>
<area shape="poly" id="edge97_Node000058_Node000059" title=" " alt="" coords="248,344,206,388,203,385,245,341"/>
2025-11-06 09:16:40 -05:00
</map>
