From 475a29ef6a09c5b0c4db080a283d287e791653a1 Mon Sep 17 00:00:00 2001
From: Josefine G <51681591+jgraeb@users.noreply.github.com>
Date: Wed, 15 Jan 2025 09:46:36 -0800
Subject: [PATCH] remove old test reports

---
 reports/coverage/coverage-badge.svg |   1 -
 reports/htmlcov/class_index.html    | 259 ---------
 reports/htmlcov/function_index.html | 851 ----------------------------
 reports/htmlcov/index.html          | 195 -------
 4 files changed, 1306 deletions(-)
 delete mode 100644 reports/coverage/coverage-badge.svg
 delete mode 100644 reports/htmlcov/class_index.html
 delete mode 100644 reports/htmlcov/function_index.html
 delete mode 100644 reports/htmlcov/index.html
diff --git a/reports/coverage/coverage-badge.svg b/reports/coverage/coverage-badge.svg
deleted file mode 100644
index c5622d1..0000000
--- a/reports/coverage/coverage-badge.svg
+++ /dev/null
@@ -1 +0,0 @@
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="114" height="20" role="img" aria-label="coverage: 82.17%"><title>coverage: 82.17%</title><linearGradient id="s" x2="0" y2="100%"><stop offset="0" stop-color="#bbb" stop-opacity=".1"/><stop offset="1" stop-opacity=".1"/></linearGradient><clipPath id="r"><rect width="114" height="20" rx="3" fill="#fff"/></clipPath><g clip-path="url(#r)"><rect width="61" height="20" fill="#555"/><rect x="61" width="53" height="20" fill="#97ca00"/><rect width="114" height="20" fill="url(#s)"/></g><g fill="#fff" text-anchor="middle" font-family="Verdana,Geneva,DejaVu Sans,sans-serif" text-rendering="geometricPrecision" font-size="110"><text aria-hidden="true" x="315" y="150" fill="#010101" fill-opacity=".3" transform="scale(.1)" textLength="510">coverage</text><text x="315" y="140" transform="scale(.1)" fill="#fff" textLength="510">coverage</text><text aria-hidden="true" x="865" y="150" fill="#010101" fill-opacity=".3" transform="scale(.1)" textLength="430">82.17%</text><text x="865" y="140" transform="scale(.1)" fill="#fff" textLength="430">82.17%</text></g></svg>
\ No newline at end of file
diff --git a/reports/htmlcov/class_index.html b/reports/htmlcov/class_index.html
deleted file mode 100644
index e6a96e5..0000000
--- a/reports/htmlcov/class_index.html
+++ /dev/null
@@ -1,259 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-    <title>Coverage report</title>
-    <link rel="icon" sizes="32x32" href="favicon_32_cb_58284776.png">
-    <link rel="stylesheet" href="style_cb_8e611ae1.css" type="text/css">
-    <script src="coverage_html_cb_6fb7b396.js" defer></script>
-</head>
-<body class="indexfile">
-<header>
-    <div class="content">
-        <h1>Coverage report:
-            <span class="pc_cov">82%</span>
-        </h1>
-        <aside id="help_panel_wrapper">
-            <input id="help_panel_state" type="checkbox">
-            <label for="help_panel_state">
-                <img id="keyboard_icon" src="keybd_closed_cb_ce680311.png" alt="Show/hide keyboard shortcuts">
-            </label>
-            <div id="help_panel">
-                <p class="legend">Shortcuts on this page</p>
-                <div class="keyhelp">
-                    <p>
-                        <kbd>f</kbd>
-                        <kbd>n</kbd>
-                        <kbd>s</kbd>
-                        <kbd>m</kbd>
-                        <kbd>x</kbd>
-                        <kbd>c</kbd>
-                        &nbsp; change column sorting
-                    </p>
-                    <p>
-                        <kbd>[</kbd>
-                        <kbd>]</kbd>
-                        &nbsp; prev/next file
-                    </p>
-                    <p>
-                        <kbd>?</kbd> &nbsp; show/hide this help
-                    </p>
-                </div>
-            </div>
-        </aside>
-        <form id="filter_container">
-            <input id="filter" type="text" value="" placeholder="filter...">
-            <div>
-                <input id="hide100" type="checkbox" >
-                <label for="hide100">hide covered</label>
-            </div>
-        </form>
-        <h2>
-                <a class="button" href="index.html">Files</a>
-                <a class="button" href="function_index.html">Functions</a>
-                <a class="button current">Classes</a>
-        </h2>
-        <p class="text">
-            <a class="nav" href="https://coverage.readthedocs.io/en/7.6.4">coverage.py v7.6.4</a>,
-            created at 2025-01-13 05:14 -0800
-        </p>
-    </div>
-</header>
-<main id="index">
-    <table class="index" data-sortable>
-        <thead>
-            <tr class="tablehead" title="Click to sort">
-                <th id="file" class="name left" aria-sort="none" data-shortcut="f">File<span class="arrows"></span></th>
-                <th id="region" class="name left" aria-sort="none" data-default-sort-order="ascending" data-shortcut="n">class<span class="arrows"></span></th>
-                <th id="statements" aria-sort="none" data-default-sort-order="descending" data-shortcut="s">statements<span class="arrows"></span></th>
-                <th id="missing" aria-sort="none" data-default-sort-order="descending" data-shortcut="m">missing<span class="arrows"></span></th>
-                <th id="excluded" aria-sort="none" data-default-sort-order="descending" data-shortcut="x">excluded<span class="arrows"></span></th>
-                <th id="coverage" class="right" aria-sort="none" data-shortcut="c">coverage<span class="arrows"></span></th>
-            </tr>
-        </thead>
-        <tbody>
-            <tr class="region">
-                <td class="name left"><a href="z_9c4dfa4b4346d888___init___py.html">src/floras/__init__.py</a></td>
-                <td class="name left"><a href="z_9c4dfa4b4346d888___init___py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7___init___py.html">src/floras/components/__init__.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7___init___py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t14">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t14"><data value='Automaton'>Automaton</data></a></td>
-                <td>73</td>
-                <td>48</td>
-                <td>0</td>
-                <td class="right" data-ratio="25 73">34%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>190</td>
-                <td>13</td>
-                <td>0</td>
-                <td class="right" data-ratio="177 190">93%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t16">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t16"><data value='Product'>Product</data></a></td>
-                <td>137</td>
-                <td>21</td>
-                <td>0</td>
-                <td class="right" data-ratio="116 137">85%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>27</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="27 27">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t10">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t10"><data value='TransitionSystemInput'>TransitionSystemInput</data></a></td>
-                <td>8</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="8 8">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t31">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t31"><data value='TranSys'>TranSys</data></a></td>
-                <td>64</td>
-                <td>4</td>
-                <td>0</td>
-                <td class="right" data-ratio="60 64">94%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>19</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="19 19">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>47</td>
-                <td>33</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 47">30%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84___init___py.html">src/floras/optimization/__init__.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84___init___py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t16">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t16"><data value='MILP'>MILP</data></a></td>
-                <td>259</td>
-                <td>34</td>
-                <td>0</td>
-                <td class="right" data-ratio="225 259">87%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>63</td>
-                <td>31</td>
-                <td>0</td>
-                <td class="right" data-ratio="32 63">51%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html">src/floras/optimization/optimize.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>12</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="10 12">83%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t4">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t4"><data value='GraphData'>GraphData</data></a></td>
-                <td>32</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="32 32">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>52</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="52 52">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html">src/floras/optimization/utils.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>15</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="15 15">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html">tests/test_reactive_1.py</a></td>
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>28</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="27 28">96%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html">tests/test_static_1.py</a></td>
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html"><data value=''><span class='no-noun'>(no class)</span></data></a></td>
-                <td>23</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="23 23">100%</td>
-            </tr>
-        </tbody>
-        <tfoot>
-            <tr class="total">
-                <td class="name left">Total</td>
-                <td class="name left">&nbsp;</td>
-                <td>1049</td>
-                <td>187</td>
-                <td>0</td>
-                <td class="right" data-ratio="862 1049">82%</td>
-            </tr>
-        </tfoot>
-    </table>
-    <p id="no_rows">
-        No items found using the specified filter.
-    </p>
-</main>
-<footer>
-    <div class="content">
-        <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/7.6.4">coverage.py v7.6.4</a>,
-            created at 2025-01-13 05:14 -0800
-        </p>
-    </div>
-    <aside class="hidden">
-        <a id="prevFileLink" class="nav" href=""></a>
-        <a id="nextFileLink" class="nav" href=""></a>
-        <button type="button" class="button_prev_file" data-shortcut="["></button>
-        <button type="button" class="button_next_file" data-shortcut="]"></button>
-        <button type="button" class="button_show_hide_help" data-shortcut="?"></button>
-    </aside>
-</footer>
-</body>
-</html>
diff --git a/reports/htmlcov/function_index.html b/reports/htmlcov/function_index.html
deleted file mode 100644
index 67a30b6..0000000
--- a/reports/htmlcov/function_index.html
+++ /dev/null
@@ -1,851 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-    <title>Coverage report</title>
-    <link rel="icon" sizes="32x32" href="favicon_32_cb_58284776.png">
-    <link rel="stylesheet" href="style_cb_8e611ae1.css" type="text/css">
-    <script src="coverage_html_cb_6fb7b396.js" defer></script>
-</head>
-<body class="indexfile">
-<header>
-    <div class="content">
-        <h1>Coverage report:
-            <span class="pc_cov">82%</span>
-        </h1>
-        <aside id="help_panel_wrapper">
-            <input id="help_panel_state" type="checkbox">
-            <label for="help_panel_state">
-                <img id="keyboard_icon" src="keybd_closed_cb_ce680311.png" alt="Show/hide keyboard shortcuts">
-            </label>
-            <div id="help_panel">
-                <p class="legend">Shortcuts on this page</p>
-                <div class="keyhelp">
-                    <p>
-                        <kbd>f</kbd>
-                        <kbd>n</kbd>
-                        <kbd>s</kbd>
-                        <kbd>m</kbd>
-                        <kbd>x</kbd>
-                        <kbd>c</kbd>
-                        &nbsp; change column sorting
-                    </p>
-                    <p>
-                        <kbd>[</kbd>
-                        <kbd>]</kbd>
-                        &nbsp; prev/next file
-                    </p>
-                    <p>
-                        <kbd>?</kbd> &nbsp; show/hide this help
-                    </p>
-                </div>
-            </div>
-        </aside>
-        <form id="filter_container">
-            <input id="filter" type="text" value="" placeholder="filter...">
-            <div>
-                <input id="hide100" type="checkbox" >
-                <label for="hide100">hide covered</label>
-            </div>
-        </form>
-        <h2>
-                <a class="button" href="index.html">Files</a>
-                <a class="button current">Functions</a>
-                <a class="button" href="class_index.html">Classes</a>
-        </h2>
-        <p class="text">
-            <a class="nav" href="https://coverage.readthedocs.io/en/7.6.4">coverage.py v7.6.4</a>,
-            created at 2025-01-13 05:14 -0800
-        </p>
-    </div>
-</header>
-<main id="index">
-    <table class="index" data-sortable>
-        <thead>
-            <tr class="tablehead" title="Click to sort">
-                <th id="file" class="name left" aria-sort="none" data-shortcut="f">File<span class="arrows"></span></th>
-                <th id="region" class="name left" aria-sort="none" data-default-sort-order="ascending" data-shortcut="n">function<span class="arrows"></span></th>
-                <th id="statements" aria-sort="none" data-default-sort-order="descending" data-shortcut="s">statements<span class="arrows"></span></th>
-                <th id="missing" aria-sort="none" data-default-sort-order="descending" data-shortcut="m">missing<span class="arrows"></span></th>
-                <th id="excluded" aria-sort="none" data-default-sort-order="descending" data-shortcut="x">excluded<span class="arrows"></span></th>
-                <th id="coverage" class="right" aria-sort="none" data-shortcut="c">coverage<span class="arrows"></span></th>
-            </tr>
-        </thead>
-        <tbody>
-            <tr class="region">
-                <td class="name left"><a href="z_9c4dfa4b4346d888___init___py.html">src/floras/__init__.py</a></td>
-                <td class="name left"><a href="z_9c4dfa4b4346d888___init___py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7___init___py.html">src/floras/components/__init__.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7___init___py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t26">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t26"><data value='init__'>Automaton.__init__</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t34">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t34"><data value='print_transitions'>Automaton.print_transitions</data></a></td>
-                <td>2</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 2">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t41">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t41"><data value='complement_negation'>Automaton.complement_negation</data></a></td>
-                <td>8</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="8 8">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t57">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t57"><data value='get_transition'>Automaton.get_transition</data></a></td>
-                <td>12</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="11 12">92%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t78">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t78"><data value='save_plot'>Automaton.save_plot</data></a></td>
-                <td>45</td>
-                <td>45</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 45">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t135">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t135"><data value='get_automaton'>get_automaton</data></a></td>
-                <td>5</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="5 5">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t149">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t149"><data value='get_system_automaton'>get_system_automaton</data></a></td>
-                <td>3</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="3 3">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t164">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t164"><data value='get_tester_automaton'>get_tester_automaton</data></a></td>
-                <td>3</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="3 3">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t179">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t179"><data value='get_product_automaton'>get_product_automaton</data></a></td>
-                <td>5</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="5 5">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t198">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t198"><data value='construct_Acc'>construct_Acc</data></a></td>
-                <td>5</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="5 5">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t216">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t216"><data value='get_prod_automaton'>get_prod_automaton</data></a></td>
-                <td>7</td>
-                <td>7</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 7">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t237">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t237"><data value='construct_automaton_attr'>construct_automaton_attr</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t258">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t258"><data value='count_automaton_states'>count_automaton_states</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t273">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t273"><data value='get_hoa_body'>get_hoa_body</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t290">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t290"><data value='get_state_str'>get_state_str</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t293">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t293"><data value='read_state'>read_state</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t299">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t299"><data value='get_initial_state'>get_initial_state</data></a></td>
-                <td>9</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="9 9">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t319">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t319"><data value='get_transitions'>get_transitions</data></a></td>
-                <td>11</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="11 11">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t342">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t342"><data value='get_formula_dict'>get_formula_dict</data></a></td>
-                <td>7</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="7 7">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t361">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t361"><data value='parse_hoa_transition_str'>parse_hoa_transition_str</data></a></td>
-                <td>10</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="9 10">90%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t392">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t392"><data value='parse_cnf_str'>parse_cnf_str</data></a></td>
-                <td>9</td>
-                <td>5</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 9">44%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t417">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t417"><data value='parse_conjunction_str'>parse_conjunction_str</data></a></td>
-                <td>9</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="9 9">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t437">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t437"><data value='get_APs'>get_APs</data></a></td>
-                <td>14</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 14">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t465">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t465"><data value='construct_product_Acc'>construct_product_Acc</data></a></td>
-                <td>21</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="21 21">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t508">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t508"><data value='get_product_states'>get_product_states</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t524">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html#t524"><data value='get_acc_states'>get_acc_states</data></a></td>
-                <td>11</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="11 11">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html">src/floras/components/automata.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>35</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="35 35">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t28">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t28"><data value='init__'>Product.__init__</data></a></td>
-                <td>14</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 14">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t44">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t44"><data value='print_transitions'>Product.print_transitions</data></a></td>
-                <td>2</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 2">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t48">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t48"><data value='pruned_sync_prod'>Product.pruned_sync_prod</data></a></td>
-                <td>40</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="40 40">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t93">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t93"><data value='construct_labels'>Product.construct_labels</data></a></td>
-                <td>3</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="3 3">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t98">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t98"><data value='identify_SIT'>Product.identify_SIT</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t106">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t106"><data value='process_nodes'>Product.process_nodes</data></a></td>
-                <td>13</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="13 13">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t124">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t124"><data value='to_graph'>Product.to_graph</data></a></td>
-                <td>18</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="18 18">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t144">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t144"><data value='base_dot_graph'>Product.base_dot_graph</data></a></td>
-                <td>21</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="19 21">90%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t171">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t171"><data value='save_plot'>Product.save_plot</data></a></td>
-                <td>4</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="3 4">75%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t177">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t177"><data value='save_result_plot'>Product.save_result_plot</data></a></td>
-                <td>16</td>
-                <td>16</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 16">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t198">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html#t198"><data value='sync_prod'>sync_prod</data></a></td>
-                <td>3</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="3 3">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html">src/floras/components/product.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>24</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="24 24">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t19">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t19"><data value='init__'>TransitionSystemInput.__init__</data></a></td>
-                <td>7</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="7 7">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t28">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t28"><data value='setup'>TransitionSystemInput.setup</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t44">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t44"><data value='init__'>TranSys.__init__</data></a></td>
-                <td>14</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 14">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t60">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t60"><data value='setup'>TranSys.setup</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t72">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t72"><data value='print_transitions'>TranSys.print_transitions</data></a></td>
-                <td>2</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 2">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t79">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t79"><data value='construct_transition_function'>TranSys.construct_transition_function</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t90">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t90"><data value='get_APs'>TranSys.get_APs</data></a></td>
-                <td>7</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="7 7">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t105">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t105"><data value='construct_initial_conditions'>TranSys.construct_initial_conditions</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t111">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t111"><data value='construct_labels'>TranSys.construct_labels</data></a></td>
-                <td>5</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 5">80%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t122">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html#t122"><data value='save_plot'>TranSys.save_plot</data></a></td>
-                <td>23</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="22 23">96%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html">src/floras/components/transition_system.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>19</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="19 19">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t7">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t7"><data value='powerset'>powerset</data></a></td>
-                <td>4</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 4">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t13">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t13"><data value='neg'>neg</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t16">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t16"><data value='conjunction'>conjunction</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t19">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t19"><data value='disjunction'>disjunction</data></a></td>
-                <td>1</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 1">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t23">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html#t23"><data value='get_states_and_transitions_from_file'>get_states_and_transitions_from_file</data></a></td>
-                <td>32</td>
-                <td>32</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 32">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html">src/floras/components/utils.py</a></td>
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>8</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="8 8">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84___init___py.html">src/floras/optimization/__init__.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84___init___py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t26">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t26"><data value='init__'>MILP.__init__</data></a></td>
-                <td>14</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 14">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t42">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t42"><data value='prepare'>MILP.prepare</data></a></td>
-                <td>28</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="27 28">96%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t91">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t91"><data value='static_model'>MILP.static_model</data></a></td>
-                <td>18</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="17 18">94%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t121">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t121"><data value='reactive_model'>MILP.reactive_model</data></a></td>
-                <td>62</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="62 62">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t214">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t214"><data value='bounds_constraints'>MILP.bounds_constraints</data></a></td>
-                <td>9</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="9 9">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t231">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t231"><data value='conservation_constraints'>MILP.conservation_constraints</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t235">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t235"><data value='preserve_flow_constraints'>MILP.preserve_flow_constraints</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t239">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t239"><data value='no_flow_in_source_out_sink_constraints'>MILP.no_flow_in_source_out_sink_constraints</data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t243">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t243"><data value='cut_constraints'>MILP.cut_constraints</data></a></td>
-                <td>4</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 4">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t251">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t251"><data value='partition_constraints'>MILP.partition_constraints</data></a></td>
-                <td>5</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="5 5">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t261">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t261"><data value='static_constraints'>MILP.static_constraints</data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t270">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t270"><data value='do_not_cut_edges'>MILP.do_not_cut_edges</data></a></td>
-                <td>2</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="2 2">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t276">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t276"><data value='custom_static_constraints'>MILP.custom_static_constraints</data></a></td>
-                <td>6</td>
-                <td>6</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 6">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t286">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t286"><data value='bidirectional_constraints'>MILP.bidirectional_constraints</data></a></td>
-                <td>13</td>
-                <td>7</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 13">46%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t304">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t304"><data value='setup_model'>MILP.setup_model</data></a></td>
-                <td>5</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 5">80%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t316">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t316"><data value='solve_problem'>MILP.solve_problem</data></a></td>
-                <td>17</td>
-                <td>4</td>
-                <td>0</td>
-                <td class="right" data-ratio="13 17">76%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t354">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t354"><data value='parse_solution'>MILP.parse_solution</data></a></td>
-                <td>59</td>
-                <td>14</td>
-                <td>0</td>
-                <td class="right" data-ratio="45 59">76%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t437">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t437"><data value='optimize'>MILP.optimize</data></a></td>
-                <td>8</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="8 8">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t450">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t450"><data value='cb_mip'>cb_mip</data></a></td>
-                <td>19</td>
-                <td>19</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 19">0%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t488">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html#t488"><data value='cb'>cb</data></a></td>
-                <td>13</td>
-                <td>12</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 13">8%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html">src/floras/optimization/optimization.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>31</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="31 31">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html#t6">src/floras/optimization/optimize.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html#t6"><data value='solve'>solve</data></a></td>
-                <td>8</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 8">75%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html">src/floras/optimization/optimize.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>4</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 4">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t5">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t5"><data value='init__'>GraphData.__init__</data></a></td>
-                <td>12</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="12 12">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t19">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t19"><data value='setup_graph'>GraphData.setup_graph</data></a></td>
-                <td>4</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="4 4">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t25">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t25"><data value='find_do_not_cut_edges'>GraphData.find_do_not_cut_edges</data></a></td>
-                <td>16</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="16 16">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t44">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html#t44"><data value='setup_nodes_and_edges'>setup_nodes_and_edges</data></a></td>
-                <td>46</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="46 46">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html">src/floras/optimization/setup_graphs.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>6</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="6 6">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html#t1">src/floras/optimization/utils.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html#t1"><data value='find_map_G_S'>find_map_G_S</data></a></td>
-                <td>14</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 14">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html">src/floras/optimization/utils.py</a></td>
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>1</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="1 1">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html#t11">tests/test_reactive_1.py</a></td>
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html#t11"><data value='test_reactive'>test_reactive</data></a></td>
-                <td>18</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="18 18">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html">tests/test_reactive_1.py</a></td>
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>10</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="9 10">90%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html#t11">tests/test_static_1.py</a></td>
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html#t11"><data value='test_static'>test_static</data></a></td>
-                <td>15</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="15 15">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html">tests/test_static_1.py</a></td>
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html"><data value=''><span class='no-noun'>(no function)</span></data></a></td>
-                <td>8</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="8 8">100%</td>
-            </tr>
-        </tbody>
-        <tfoot>
-            <tr class="total">
-                <td class="name left">Total</td>
-                <td class="name left">&nbsp;</td>
-                <td>1049</td>
-                <td>187</td>
-                <td>0</td>
-                <td class="right" data-ratio="862 1049">82%</td>
-            </tr>
-        </tfoot>
-    </table>
-    <p id="no_rows">
-        No items found using the specified filter.
-    </p>
-</main>
-<footer>
-    <div class="content">
-        <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/7.6.4">coverage.py v7.6.4</a>,
-            created at 2025-01-13 05:14 -0800
-        </p>
-    </div>
-    <aside class="hidden">
-        <a id="prevFileLink" class="nav" href=""></a>
-        <a id="nextFileLink" class="nav" href=""></a>
-        <button type="button" class="button_prev_file" data-shortcut="["></button>
-        <button type="button" class="button_next_file" data-shortcut="]"></button>
-        <button type="button" class="button_show_hide_help" data-shortcut="?"></button>
-    </aside>
-</footer>
-</body>
-</html>
diff --git a/reports/htmlcov/index.html b/reports/htmlcov/index.html
deleted file mode 100644
index a84bc32..0000000
--- a/reports/htmlcov/index.html
+++ /dev/null
@@ -1,195 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-    <title>Coverage report</title>
-    <link rel="icon" sizes="32x32" href="favicon_32_cb_58284776.png">
-    <link rel="stylesheet" href="style_cb_8e611ae1.css" type="text/css">
-    <script src="coverage_html_cb_6fb7b396.js" defer></script>
-</head>
-<body class="indexfile">
-<header>
-    <div class="content">
-        <h1>Coverage report:
-            <span class="pc_cov">82%</span>
-        </h1>
-        <aside id="help_panel_wrapper">
-            <input id="help_panel_state" type="checkbox">
-            <label for="help_panel_state">
-                <img id="keyboard_icon" src="keybd_closed_cb_ce680311.png" alt="Show/hide keyboard shortcuts">
-            </label>
-            <div id="help_panel">
-                <p class="legend">Shortcuts on this page</p>
-                <div class="keyhelp">
-                    <p>
-                        <kbd>f</kbd>
-                        <kbd>s</kbd>
-                        <kbd>m</kbd>
-                        <kbd>x</kbd>
-                        <kbd>c</kbd>
-                        &nbsp; change column sorting
-                    </p>
-                    <p>
-                        <kbd>[</kbd>
-                        <kbd>]</kbd>
-                        &nbsp; prev/next file
-                    </p>
-                    <p>
-                        <kbd>?</kbd> &nbsp; show/hide this help
-                    </p>
-                </div>
-            </div>
-        </aside>
-        <form id="filter_container">
-            <input id="filter" type="text" value="" placeholder="filter...">
-            <div>
-                <input id="hide100" type="checkbox" >
-                <label for="hide100">hide covered</label>
-            </div>
-        </form>
-        <h2>
-                <a class="button current">Files</a>
-                <a class="button" href="function_index.html">Functions</a>
-                <a class="button" href="class_index.html">Classes</a>
-        </h2>
-        <p class="text">
-            <a class="nav" href="https://coverage.readthedocs.io/en/7.6.4">coverage.py v7.6.4</a>,
-            created at 2025-01-13 05:14 -0800
-        </p>
-    </div>
-</header>
-<main id="index">
-    <table class="index" data-sortable>
-        <thead>
-            <tr class="tablehead" title="Click to sort">
-                <th id="file" class="name left" aria-sort="none" data-shortcut="f">File<span class="arrows"></span></th>
-                <th id="statements" aria-sort="none" data-default-sort-order="descending" data-shortcut="s">statements<span class="arrows"></span></th>
-                <th id="missing" aria-sort="none" data-default-sort-order="descending" data-shortcut="m">missing<span class="arrows"></span></th>
-                <th id="excluded" aria-sort="none" data-default-sort-order="descending" data-shortcut="x">excluded<span class="arrows"></span></th>
-                <th id="coverage" class="right" aria-sort="none" data-shortcut="c">coverage<span class="arrows"></span></th>
-            </tr>
-        </thead>
-        <tbody>
-            <tr class="region">
-                <td class="name left"><a href="z_9c4dfa4b4346d888___init___py.html">src/floras/__init__.py</a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7___init___py.html">src/floras/components/__init__.py</a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_automata_py.html">src/floras/components/automata.py</a></td>
-                <td>263</td>
-                <td>61</td>
-                <td>0</td>
-                <td class="right" data-ratio="202 263">77%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_product_py.html">src/floras/components/product.py</a></td>
-                <td>164</td>
-                <td>21</td>
-                <td>0</td>
-                <td class="right" data-ratio="143 164">87%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_transition_system_py.html">src/floras/components/transition_system.py</a></td>
-                <td>91</td>
-                <td>4</td>
-                <td>0</td>
-                <td class="right" data-ratio="87 91">96%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_074046112b88e5d7_utils_py.html">src/floras/components/utils.py</a></td>
-                <td>47</td>
-                <td>33</td>
-                <td>0</td>
-                <td class="right" data-ratio="14 47">30%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84___init___py.html">src/floras/optimization/__init__.py</a></td>
-                <td>0</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="0 0">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimization_py.html">src/floras/optimization/optimization.py</a></td>
-                <td>322</td>
-                <td>65</td>
-                <td>0</td>
-                <td class="right" data-ratio="257 322">80%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_optimize_py.html">src/floras/optimization/optimize.py</a></td>
-                <td>12</td>
-                <td>2</td>
-                <td>0</td>
-                <td class="right" data-ratio="10 12">83%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_setup_graphs_py.html">src/floras/optimization/setup_graphs.py</a></td>
-                <td>84</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="84 84">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_397e7a422961ba84_utils_py.html">src/floras/optimization/utils.py</a></td>
-                <td>15</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="15 15">100%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_reactive_1_py.html">tests/test_reactive_1.py</a></td>
-                <td>28</td>
-                <td>1</td>
-                <td>0</td>
-                <td class="right" data-ratio="27 28">96%</td>
-            </tr>
-            <tr class="region">
-                <td class="name left"><a href="z_a44f0ac069e85531_test_static_1_py.html">tests/test_static_1.py</a></td>
-                <td>23</td>
-                <td>0</td>
-                <td>0</td>
-                <td class="right" data-ratio="23 23">100%</td>
-            </tr>
-        </tbody>
-        <tfoot>
-            <tr class="total">
-                <td class="name left">Total</td>
-                <td>1049</td>
-                <td>187</td>
-                <td>0</td>
-                <td class="right" data-ratio="862 1049">82%</td>
-            </tr>
-        </tfoot>
-    </table>
-    <p id="no_rows">
-        No items found using the specified filter.
-    </p>
-</main>
-<footer>
-    <div class="content">
-        <p>
-            <a class="nav" href="https://coverage.readthedocs.io/en/7.6.4">coverage.py v7.6.4</a>,
-            created at 2025-01-13 05:14 -0800
-        </p>
-    </div>
-    <aside class="hidden">
-        <a id="prevFileLink" class="nav" href="z_a44f0ac069e85531_test_static_1_py.html"></a>
-        <a id="nextFileLink" class="nav" href="z_9c4dfa4b4346d888___init___py.html"></a>
-        <button type="button" class="button_prev_file" data-shortcut="["></button>
-        <button type="button" class="button_next_file" data-shortcut="]"></button>
-        <button type="button" class="button_show_hide_help" data-shortcut="?"></button>
-    </aside>
-</footer>
-</body>
-</html>

File	class	statements	missing	coverage
src/floras/__init__.py	(no class)	0	0	100%
src/floras/components/__init__.py	(no class)	0	0	100%
src/floras/components/automata.py	Automaton	73	48	34%
src/floras/components/automata.py	(no class)	190	13	93%
src/floras/components/product.py	Product	137	21	85%
src/floras/components/product.py	(no class)	27	0	100%
src/floras/components/transition_system.py	TransitionSystemInput	8	0	100%
src/floras/components/transition_system.py	TranSys	64	4	94%
src/floras/components/transition_system.py	(no class)	19	0	100%
src/floras/components/utils.py	(no class)	47	33	30%
src/floras/optimization/__init__.py	(no class)	0	0	100%
src/floras/optimization/optimization.py	MILP	259	34	87%
src/floras/optimization/optimization.py	(no class)	63	31	51%
src/floras/optimization/optimize.py	(no class)	12	2	83%
src/floras/optimization/setup_graphs.py	GraphData	32	0	100%
src/floras/optimization/setup_graphs.py	(no class)	52	0	100%
src/floras/optimization/utils.py	(no class)	15	0	100%
tests/test_reactive_1.py	(no class)	28	1	96%
tests/test_static_1.py	(no class)	23	0	100%
Total		1049	187	82%
File	function	statements	missing	coverage
src/floras/__init__.py	(no function)	0	0	100%
src/floras/components/__init__.py	(no function)	0	0	100%
src/floras/components/automata.py	Automaton.__init__	6	0	100%
src/floras/components/automata.py	Automaton.print_transitions	2	2	0%
src/floras/components/automata.py	Automaton.complement_negation	8	0	100%
src/floras/components/automata.py	Automaton.get_transition	12	1	92%
src/floras/components/automata.py	Automaton.save_plot	45	45	0%
src/floras/components/automata.py	get_automaton	5	0	100%
src/floras/components/automata.py	get_system_automaton	3	0	100%
src/floras/components/automata.py	get_tester_automaton	3	0	100%
src/floras/components/automata.py	get_product_automaton	5	0	100%
src/floras/components/automata.py	construct_Acc	5	0	100%
src/floras/components/automata.py	get_prod_automaton	7	7	0%
src/floras/components/automata.py	construct_automaton_attr	6	0	100%
src/floras/components/automata.py	count_automaton_states	6	0	100%
src/floras/components/automata.py	get_hoa_body	6	0	100%
src/floras/components/automata.py	get_state_str	1	0	100%
src/floras/components/automata.py	read_state	1	0	100%
src/floras/components/automata.py	get_initial_state	9	0	100%
src/floras/components/automata.py	get_transitions	11	0	100%
src/floras/components/automata.py	get_formula_dict	7	0	100%
src/floras/components/automata.py	parse_hoa_transition_str	10	1	90%
src/floras/components/automata.py	parse_cnf_str	9	5	44%
src/floras/components/automata.py	parse_conjunction_str	9	0	100%
src/floras/components/automata.py	get_APs	14	0	100%
src/floras/components/automata.py	construct_product_Acc	21	0	100%
src/floras/components/automata.py	get_product_states	6	0	100%
src/floras/components/automata.py	get_acc_states	11	0	100%
src/floras/components/automata.py	(no function)	35	0	100%
src/floras/components/product.py	Product.__init__	14	0	100%
src/floras/components/product.py	Product.print_transitions	2	2	0%
src/floras/components/product.py	Product.pruned_sync_prod	40	0	100%
src/floras/components/product.py	Product.construct_labels	3	0	100%
src/floras/components/product.py	Product.identify_SIT	6	0	100%
src/floras/components/product.py	Product.process_nodes	13	0	100%
src/floras/components/product.py	Product.to_graph	18	0	100%
src/floras/components/product.py	Product.base_dot_graph	21	2	90%
src/floras/components/product.py	Product.save_plot	4	1	75%
src/floras/components/product.py	Product.save_result_plot	16	16	0%
src/floras/components/product.py	sync_prod	3	0	100%
src/floras/components/product.py	(no function)	24	0	100%
src/floras/components/transition_system.py	TransitionSystemInput.__init__	7	0	100%
src/floras/components/transition_system.py	TransitionSystemInput.setup	1	0	100%
src/floras/components/transition_system.py	TranSys.__init__	14	0	100%
src/floras/components/transition_system.py	TranSys.setup	6	0	100%
src/floras/components/transition_system.py	TranSys.print_transitions	2	2	0%
src/floras/components/transition_system.py	TranSys.construct_transition_function	6	0	100%
src/floras/components/transition_system.py	TranSys.get_APs	7	0	100%
src/floras/components/transition_system.py	TranSys.construct_initial_conditions	1	0	100%
src/floras/components/transition_system.py	TranSys.construct_labels	5	1	80%
src/floras/components/transition_system.py	TranSys.save_plot	23	1	96%
src/floras/components/transition_system.py	(no function)	19	0	100%
src/floras/components/utils.py	powerset	4	0	100%
src/floras/components/utils.py	neg	1	0	100%
src/floras/components/utils.py	conjunction	1	0	100%
src/floras/components/utils.py	disjunction	1	1	0%
src/floras/components/utils.py	get_states_and_transitions_from_file	32	32	0%
src/floras/components/utils.py	(no function)	8	0	100%
src/floras/optimization/__init__.py	(no function)	0	0	100%
src/floras/optimization/optimization.py	MILP.__init__	14	0	100%
src/floras/optimization/optimization.py	MILP.prepare	28	1	96%
src/floras/optimization/optimization.py	MILP.static_model	18	1	94%
src/floras/optimization/optimization.py	MILP.reactive_model	62	0	100%
src/floras/optimization/optimization.py	MILP.bounds_constraints	9	0	100%
src/floras/optimization/optimization.py	MILP.conservation_constraints	1	0	100%
src/floras/optimization/optimization.py	MILP.preserve_flow_constraints	1	0	100%
src/floras/optimization/optimization.py	MILP.no_flow_in_source_out_sink_constraints	1	0	100%
src/floras/optimization/optimization.py	MILP.cut_constraints	4	0	100%
src/floras/optimization/optimization.py	MILP.partition_constraints	5	0	100%
src/floras/optimization/optimization.py	MILP.static_constraints	6	0	100%
src/floras/optimization/optimization.py	MILP.do_not_cut_edges	2	0	100%
src/floras/optimization/optimization.py	MILP.custom_static_constraints	6	6	0%
src/floras/optimization/optimization.py	MILP.bidirectional_constraints	13	7	46%
src/floras/optimization/optimization.py	MILP.setup_model	5	1	80%
src/floras/optimization/optimization.py	MILP.solve_problem	17	4	76%
src/floras/optimization/optimization.py	MILP.parse_solution	59	14	76%
src/floras/optimization/optimization.py	MILP.optimize	8	0	100%
src/floras/optimization/optimization.py	cb_mip	19	19	0%
src/floras/optimization/optimization.py	cb	13	12	8%
src/floras/optimization/optimization.py	(no function)	31	0	100%
src/floras/optimization/optimize.py	solve	8	2	75%
src/floras/optimization/optimize.py	(no function)	4	0	100%
src/floras/optimization/setup_graphs.py	GraphData.__init__	12	0	100%
src/floras/optimization/setup_graphs.py	GraphData.setup_graph	4	0	100%
src/floras/optimization/setup_graphs.py	GraphData.find_do_not_cut_edges	16	0	100%
src/floras/optimization/setup_graphs.py	setup_nodes_and_edges	46	0	100%
src/floras/optimization/setup_graphs.py	(no function)	6	0	100%
src/floras/optimization/utils.py	find_map_G_S	14	0	100%
src/floras/optimization/utils.py	(no function)	1	0	100%
tests/test_reactive_1.py	test_reactive	18	0	100%
tests/test_reactive_1.py	(no function)	10	1	90%
tests/test_static_1.py	test_static	15	0	100%
tests/test_static_1.py	(no function)	8	0	100%
Total		1049	187	82%