notebooks/PICS/StatisticalDebugger-synopsis-1.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 12.1.1 (20240910.0053)
 -->
<!-- Pages: 1 -->
<svg width="490pt" height="1014pt"
 viewBox="0.00 0.00 490.00 1013.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 1009.5)">
<g id="a_graph0"><a xlink:title="TarantulaDebugger class hierarchy">
<polygon fill="white" stroke="none" points="-4,4 -4,-1009.5 486,-1009.5 486,4 -4,4"/>
</a>
</g>
<!-- TarantulaDebugger -->
<g id="node1" class="node">
<title>TarantulaDebugger</title>
<g id="a_node1"><a xlink:href="#" xlink:title="class TarantulaDebugger:&#10;Spectrum&#45;based Debugger using the Tarantula metric for suspiciousness">
<polygon fill="none" stroke="black" points="60,-11.88 60,-47.88 196.75,-47.88 196.75,-11.88 60,-11.88"/>
<text text-anchor="start" x="68" y="-26.57" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-size="14.00" fill="#6a0dad">TarantulaDebugger</text>
</a>
</g>
</g>
<!-- ContinuousSpectrumDebugger -->
<g id="node2" class="node">
<title>ContinuousSpectrumDebugger</title>
<g id="a_node2"><a xlink:href="#" xlink:title="class ContinuousSpectrumDebugger:&#10;Visualize differences between executions using a color spectrum">
<polygon fill="none" stroke="black" points="0,-96.25 0,-257 214.75,-257 214.75,-96.25 0,-96.25"/>
<text text-anchor="start" x="8" y="-240.7" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-size="14.00" fill="#6a0dad">ContinuousSpectrumDebugger</text>
<polyline fill="none" stroke="black" points="0,-231.75 214.75,-231.75"/>
<g id="a_node2_0"><a xlink:href="#" xlink:title="ContinuousSpectrumDebugger">
<g id="a_node2_1"><a xlink:href="#" xlink:title="brightness(self, event: Any) &#45;&gt; float">
<text text-anchor="start" x="29.38" y="-218.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">brightness()</text>
</a>
</g>
<g id="a_node2_2"><a xlink:href="#" xlink:title="collectors_with_event(self, event: Any, category: str) &#45;&gt; Set[Collector]:&#10;Return all collectors in a category&#10;that observed the given event.">
<text text-anchor="start" x="29.38" y="-205.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">collectors_with_event()</text>
</a>
</g>
<g id="a_node2_3"><a xlink:href="#" xlink:title="collectors_without_event(self, event: Any, category: str) &#45;&gt; Set[Collector]:&#10;Return all collectors in a category&#10;that did not observe the given event.">
<text text-anchor="start" x="29.38" y="-192.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">collectors_without_event()</text>
</a>
</g>
<g id="a_node2_4"><a xlink:href="#" xlink:title="color(self, event: Any) &#45;&gt; Optional[str]:&#10;Return a HTML color for the given event.">
<text text-anchor="start" x="29.38" y="-181" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">color()</text>
</a>
</g>
<g id="a_node2_5"><a xlink:href="#" xlink:title="event_fraction(self, event: Any, category: str) &#45;&gt; float">
<text text-anchor="start" x="29.38" y="-167.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">event_fraction()</text>
</a>
</g>
<g id="a_node2_6"><a xlink:href="#" xlink:title="failed_fraction(self, event: Any) &#45;&gt; float">
<text text-anchor="start" x="29.38" y="-154.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">failed_fraction()</text>
</a>
</g>
<g id="a_node2_7"><a xlink:href="#" xlink:title="hue(self, event: Any) &#45;&gt; Optional[float]:&#10;Return a color hue from 0.0 (red) to 1.0 (green).">
<text text-anchor="start" x="29.38" y="-141.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">hue()</text>
</a>
</g>
<g id="a_node2_8"><a xlink:href="#" xlink:title="passed_fraction(self, event: Any) &#45;&gt; float">
<text text-anchor="start" x="29.38" y="-129" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">passed_fraction()</text>
</a>
</g>
<g id="a_node2_9"><a xlink:href="#" xlink:title="suspiciousness(self, event: Any) &#45;&gt; Optional[float]:&#10;Return a suspiciousness value [0, 1.0]&#10;for the given event, or `None` if unknown.">
<text text-anchor="start" x="29.38" y="-117.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">suspiciousness()</text>
</a>
</g>
<g id="a_node2_10"><a xlink:href="#" xlink:title="tooltip(self, event: Any) &#45;&gt; str:&#10;Return a tooltip for the given event.">
<text text-anchor="start" x="29.38" y="-104.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">tooltip()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- TarantulaDebugger&#45;&gt;ContinuousSpectrumDebugger -->
<g id="edge1" class="edge">
<title>TarantulaDebugger&#45;&gt;ContinuousSpectrumDebugger</title>
<path fill="none" stroke="black" d="M125.84,-48.34C124.44,-58.01 122.58,-70.85 120.57,-84.66"/>
<polygon fill="none" stroke="black" points="117.13,-84.01 119.16,-94.41 124.06,-85.02 117.13,-84.01"/>
</g>
<!-- RankingDebugger -->
<g id="node7" class="node">
<title>RankingDebugger</title>
<g id="a_node7"><a xlink:href="#" xlink:title="class RankingDebugger:&#10;Rank events by their suspiciousness">
<polygon fill="none" stroke="black" points="232.88,-147.25 232.88,-206 359.88,-206 359.88,-147.25 232.88,-147.25"/>
<text text-anchor="start" x="240.88" y="-189.7" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-style="italic" font-size="14.00" fill="#6a0dad">RankingDebugger</text>
<polyline fill="none" stroke="black" points="232.88,-180.75 359.88,-180.75"/>
<g id="a_node7_11"><a xlink:href="#" xlink:title="RankingDebugger">
<g id="a_node7_12"><a xlink:href="#" xlink:title="rank(self) &#45;&gt; List[Any]:&#10;Return a list of events, sorted by suspiciousness, highest first.">
<text text-anchor="start" x="266.38" y="-168.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">rank()</text>
</a>
</g>
<g id="a_node7_13"><a xlink:href="#" xlink:title="__repr__(self) &#45;&gt; str:&#10;Show code as string">
<text text-anchor="start" x="266.38" y="-155.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">__repr__()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- TarantulaDebugger&#45;&gt;RankingDebugger -->
<g id="edge6" class="edge">
<title>TarantulaDebugger&#45;&gt;RankingDebugger</title>
<path fill="none" stroke="black" d="M157.48,-48.27C176.96,-60.5 202.71,-77.82 223.38,-95.75 238.18,-108.6 253.04,-124.24 265.46,-138.27"/>
<polygon fill="none" stroke="black" points="262.65,-140.37 271.86,-145.61 267.93,-135.77 262.65,-140.37"/>
</g>
<!-- DiscreteSpectrumDebugger -->
<g id="node3" class="node">
<title>DiscreteSpectrumDebugger</title>
<g id="a_node3"><a xlink:href="#" xlink:title="class DiscreteSpectrumDebugger:&#10;Visualize differences between executions using three discrete colors">
<polygon fill="none" stroke="black" points="104.5,-294 104.5,-365.5 298.25,-365.5 298.25,-294 104.5,-294"/>
<text text-anchor="start" x="112.5" y="-349.2" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-size="14.00" fill="#6a0dad">DiscreteSpectrumDebugger</text>
<polyline fill="none" stroke="black" points="104.5,-340.25 298.25,-340.25"/>
<g id="a_node3_14"><a xlink:href="#" xlink:title="DiscreteSpectrumDebugger">
<g id="a_node3_15"><a xlink:href="#" xlink:title="color(self, event: Any) &#45;&gt; Optional[str]:&#10;Return a HTML color for the given event.">
<text text-anchor="start" x="153.38" y="-327.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">color()</text>
</a>
</g>
<g id="a_node3_16"><a xlink:href="#" xlink:title="suspiciousness(self, event: Any) &#45;&gt; Optional[float]:&#10;Return a suspiciousness value [0, 1.0]&#10;for the given event, or `None` if unknown.">
<text text-anchor="start" x="153.38" y="-315" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">suspiciousness()</text>
</a>
</g>
<g id="a_node3_17"><a xlink:href="#" xlink:title="tooltip(self, event: Any) &#45;&gt; str:&#10;Return a tooltip for the given event.">
<text text-anchor="start" x="153.38" y="-302.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">tooltip()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- ContinuousSpectrumDebugger&#45;&gt;DiscreteSpectrumDebugger -->
<g id="edge2" class="edge">
<title>ContinuousSpectrumDebugger&#45;&gt;DiscreteSpectrumDebugger</title>
<path fill="none" stroke="black" d="M156.85,-257.17C162.57,-266.37 168.25,-275.49 173.53,-283.99"/>
<polygon fill="none" stroke="black" points="170.48,-285.71 178.73,-292.35 176.43,-282.01 170.48,-285.71"/>
</g>
<!-- SpectrumDebugger -->
<g id="node4" class="node">
<title>SpectrumDebugger</title>
<g id="a_node4"><a xlink:href="#" xlink:title="class SpectrumDebugger:&#10;A class to collect events for passing and failing outcomes.">
<polygon fill="none" stroke="black" points="130.38,-402.5 130.38,-525 272.38,-525 272.38,-402.5 130.38,-402.5"/>
<text text-anchor="start" x="138.38" y="-508.7" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-size="14.00" fill="#6a0dad">SpectrumDebugger</text>
<polyline fill="none" stroke="black" points="130.38,-499.75 272.38,-499.75"/>
<g id="a_node4_18"><a xlink:href="#" xlink:title="SpectrumDebugger">
<g id="a_node4_19"><a xlink:href="#" xlink:title="__repr__(self) &#45;&gt; str:&#10;Show code as string">
<text text-anchor="start" x="153.38" y="-487.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-style="italic" font-size="10.00">__repr__()</text>
</a>
</g>
<g id="a_node4_20"><a xlink:href="#" xlink:title="__str__(self) &#45;&gt; str:&#10;Show code as string">
<text text-anchor="start" x="153.38" y="-474.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__str__()</text>
</a>
</g>
<g id="a_node4_21"><a xlink:href="#" xlink:title="_repr_html_(self) &#45;&gt; str:&#10;When output in Jupyter, visualize as HTML">
<text text-anchor="start" x="153.38" y="-461.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">_repr_html_()</text>
</a>
</g>
<g id="a_node4_22"><a xlink:href="#" xlink:title="code(self, functions: Optional[Set[Callable]] = None, *, color: bool = False, suspiciousness: bool = False, line_numbers: bool = True) &#45;&gt; str:&#10;Return a listing of `functions` (default: covered functions).&#10;If `color` is True, render as HTML, using suspiciousness colors.&#10;If `suspiciousness` is True, include suspiciousness values.&#10;If `line_numbers` is True (default), include line numbers.">
<text text-anchor="start" x="153.38" y="-449" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">code()</text>
</a>
</g>
<g id="a_node4_23"><a xlink:href="#" xlink:title="percentage(self, event: Any) &#45;&gt; str:&#10;Return the suspiciousness for the given event as percentage string.">
<text text-anchor="start" x="153.38" y="-435.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">percentage()</text>
</a>
</g>
<g id="a_node4_24"><a xlink:href="#" xlink:title="suspiciousness(self, event: Any) &#45;&gt; Optional[float]:&#10;Return a suspiciousness value in the range [0, 1.0]&#10;for the given event, or `None` if unknown.&#10;To be overloaded in subclasses.">
<text text-anchor="start" x="153.38" y="-423.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">suspiciousness()</text>
</a>
</g>
<g id="a_node4_25"><a xlink:href="#" xlink:title="tooltip(self, event: Any) &#45;&gt; str:&#10;Return a tooltip for the given event (default: percentage).&#10;To be overloaded in subclasses.">
<text text-anchor="start" x="153.38" y="-410.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">tooltip()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- DiscreteSpectrumDebugger&#45;&gt;SpectrumDebugger -->
<g id="edge3" class="edge">
<title>DiscreteSpectrumDebugger&#45;&gt;SpectrumDebugger</title>
<path fill="none" stroke="black" d="M201.38,-365.78C201.38,-373.53 201.38,-382.02 201.38,-390.65"/>
<polygon fill="none" stroke="black" points="197.88,-390.52 201.38,-400.52 204.88,-390.52 197.88,-390.52"/>
</g>
<!-- DifferenceDebugger -->
<g id="node5" class="node">
<title>DifferenceDebugger</title>
<g id="a_node5"><a xlink:href="#" xlink:title="class DifferenceDebugger:&#10;A class to collect events for passing and failing outcomes.">
<polygon fill="none" stroke="black" points="132.62,-562 132.62,-756.25 270.12,-756.25 270.12,-562 132.62,-562"/>
<text text-anchor="start" x="140.62" y="-739.95" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-style="italic" font-size="14.00" fill="#6a0dad">DifferenceDebugger</text>
<polyline fill="none" stroke="black" points="132.62,-731 270.12,-731"/>
<g id="a_node5_26"><a xlink:href="#" xlink:title="DifferenceDebugger">
<g id="a_node5_27"><a xlink:href="#" xlink:title="FAIL = &#39;FAIL&#39;">
<text text-anchor="start" x="189.38" y="-717.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">FAIL</text>
</a>
</g>
<g id="a_node5_28"><a xlink:href="#" xlink:title="PASS = &#39;PASS&#39;">
<text text-anchor="start" x="189.38" y="-704.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">PASS</text>
</a>
</g>
</a>
</g>
<polyline fill="none" stroke="black" points="132.62,-697.5 270.12,-697.5"/>
<g id="a_node5_29"><a xlink:href="#" xlink:title="DifferenceDebugger">
<g id="a_node5_30"><a xlink:href="#" xlink:title="__enter__(self) &#45;&gt; Any:&#10;Enter a `with` block. Collect coverage and outcome;&#10;classify as FAIL if the block raises an exception,&#10;and PASS if it does not.">
<text text-anchor="start" x="147.38" y="-685" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__enter__()</text>
</a>
</g>
<g id="a_node5_31"><a xlink:href="#" xlink:title="__exit__(self, exc_tp: Type, exc_value: BaseException, exc_traceback: traceback) &#45;&gt; Optional[bool]:&#10;Exit the `with` block.">
<text text-anchor="start" x="147.38" y="-672.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__exit__()</text>
</a>
</g>
<g id="a_node5_32"><a xlink:href="#" xlink:title="all_fail_events(self) &#45;&gt; Set[Any]:&#10;Return all events observed in failing runs.">
<text text-anchor="start" x="147.38" y="-659.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">all_fail_events()</text>
</a>
</g>
<g id="a_node5_33"><a xlink:href="#" xlink:title="all_pass_events(self) &#45;&gt; Set[Any]:&#10;Return all events observed in passing runs.">
<text text-anchor="start" x="147.38" y="-646.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">all_pass_events()</text>
</a>
</g>
<g id="a_node5_34"><a xlink:href="#" xlink:title="collect_fail(self, *args: Any, **kwargs: Any) &#45;&gt; Collector:&#10;Return a collector for failing runs.">
<text text-anchor="start" x="147.38" y="-634" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">collect_fail()</text>
</a>
</g>
<g id="a_node5_35"><a xlink:href="#" xlink:title="collect_pass(self, *args: Any, **kwargs: Any) &#45;&gt; Collector:&#10;Return a collector for passing runs.">
<text text-anchor="start" x="147.38" y="-621.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">collect_pass()</text>
</a>
</g>
<g id="a_node5_36"><a xlink:href="#" xlink:title="only_fail_events(self) &#45;&gt; Set[Any]:&#10;Return all events observed only in failing runs.">
<text text-anchor="start" x="147.38" y="-608.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">only_fail_events()</text>
</a>
</g>
<g id="a_node5_37"><a xlink:href="#" xlink:title="only_pass_events(self) &#45;&gt; Set[Any]:&#10;Return all events observed only in passing runs.">
<text text-anchor="start" x="147.38" y="-595.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">only_pass_events()</text>
</a>
</g>
<g id="a_node5_38"><a xlink:href="#" xlink:title="fail_collectors(self) &#45;&gt; List[Collector]">
<text text-anchor="start" x="147.38" y="-582" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">fail_collectors()</text>
</a>
</g>
<g id="a_node5_39"><a xlink:href="#" xlink:title="pass_collectors(self) &#45;&gt; List[Collector]">
<text text-anchor="start" x="147.38" y="-569.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">pass_collectors()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- SpectrumDebugger&#45;&gt;DifferenceDebugger -->
<g id="edge4" class="edge">
<title>SpectrumDebugger&#45;&gt;DifferenceDebugger</title>
<path fill="none" stroke="black" d="M201.38,-525.4C201.38,-533.41 201.38,-541.81 201.38,-550.32"/>
<polygon fill="none" stroke="black" points="197.88,-550.04 201.38,-560.04 204.88,-550.04 197.88,-550.04"/>
</g>
<!-- StatisticalDebugger -->
<g id="node6" class="node">
<title>StatisticalDebugger</title>
<g id="a_node6"><a xlink:href="#" xlink:title="class StatisticalDebugger:&#10;A class to collect events for multiple outcomes.">
<polygon fill="none" stroke="black" points="134.12,-793.25 134.12,-1005 268.62,-1005 268.62,-793.25 134.12,-793.25"/>
<text text-anchor="start" x="142.12" y="-988.7" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-style="italic" font-size="14.00" fill="#6a0dad">StatisticalDebugger</text>
<polyline fill="none" stroke="black" points="134.12,-979.75 268.62,-979.75"/>
<g id="a_node6_40"><a xlink:href="#" xlink:title="StatisticalDebugger">
<g id="a_node6_41"><a xlink:href="#" xlink:title="__init__(self, collector_class: Type = &lt;class &#39;CoverageCollector&#39;&gt;, log: bool = False):&#10;Constructor. Use instances of `collector_class` to collect events.">
<text text-anchor="start" x="144.38" y="-967.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">__init__()</text>
</a>
</g>
<g id="a_node6_42"><a xlink:href="#" xlink:title="all_events(self, outcome: Optional[str] = None) &#45;&gt; Set[Any]:&#10;Return a set of all events observed.">
<text text-anchor="start" x="144.38" y="-954.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">all_events()</text>
</a>
</g>
<g id="a_node6_43"><a xlink:href="#" xlink:title="coverage(self) &#45;&gt; Set[Tuple[Callable, int]]:&#10;Return a set of all (functions, line_numbers) observed">
<text text-anchor="start" x="144.38" y="-941.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">coverage()</text>
</a>
</g>
<g id="a_node6_44"><a xlink:href="#" xlink:title="covered_functions(self) &#45;&gt; Set[Callable]:&#10;Return a set of all functions observed.">
<text text-anchor="start" x="144.38" y="-929" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">covered_functions()</text>
</a>
</g>
<g id="a_node6_45"><a xlink:href="#" xlink:title="event_table(self, **_args: Any) &#45;&gt; Any:&#10;Print out event table in Markdown format.">
<text text-anchor="start" x="144.38" y="-916.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">event_table()</text>
</a>
</g>
<g id="a_node6_46"><a xlink:href="#" xlink:title="function(self) &#45;&gt; Optional[Callable]:&#10;Return the entry function from the events observed,&#10;or None if ambiguous.">
<text text-anchor="start" x="144.38" y="-903.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="10.00">function()</text>
</a>
</g>
<g id="a_node6_47"><a xlink:href="#" xlink:title="__repr__(self) &#45;&gt; str:&#10;Return repr(self).">
<text text-anchor="start" x="144.38" y="-890.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">__repr__()</text>
</a>
</g>
<g id="a_node6_48"><a xlink:href="#" xlink:title="_repr_markdown_(self) &#45;&gt; str">
<text text-anchor="start" x="144.38" y="-877" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">_repr_markdown_()</text>
</a>
</g>
<g id="a_node6_49"><a xlink:href="#" xlink:title="add_collector(self, outcome: str, collector: Collector) &#45;&gt; Collector">
<text text-anchor="start" x="144.38" y="-864.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">add_collector()</text>
</a>
</g>
<g id="a_node6_50"><a xlink:href="#" xlink:title="collect(self, outcome: str, *args: Any, **kwargs: Any) &#45;&gt; Collector:&#10;Return a collector for the given outcome.&#10;Additional args are passed to the collector.">
<text text-anchor="start" x="144.38" y="-851.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">collect()</text>
</a>
</g>
<g id="a_node6_51"><a xlink:href="#" xlink:title="color(self, event: Any) &#45;&gt; Optional[str]:&#10;Return a color for the given event, or None.&#10;To be overloaded in subclasses.">
<text text-anchor="start" x="144.38" y="-839.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">color()</text>
</a>
</g>
<g id="a_node6_52"><a xlink:href="#" xlink:title="event_str(self, event: Any) &#45;&gt; str:&#10;Format the given event. To be overloaded in subclasses.">
<text text-anchor="start" x="144.38" y="-827" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">event_str()</text>
</a>
</g>
<g id="a_node6_53"><a xlink:href="#" xlink:title="event_table_text(self, *, args: bool = False, color: bool = False) &#45;&gt; str:&#10;Print out a table of events observed.&#10;If `args` is True, use arguments as headers.&#10;If `color` is True, use colors.">
<text text-anchor="start" x="144.38" y="-813.25" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="10.00">event_table_text()</text>
</a>
</g>
<g id="a_node6_54"><a xlink:href="#" xlink:title="tooltip(self, event: Any) &#45;&gt; Optional[str]:&#10;Return a tooltip string for the given event, or None.&#10;To be overloaded in subclasses.">
<text text-anchor="start" x="144.38" y="-801.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">tooltip()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- DifferenceDebugger&#45;&gt;StatisticalDebugger -->
<g id="edge5" class="edge">
<title>DifferenceDebugger&#45;&gt;StatisticalDebugger</title>
<path fill="none" stroke="black" d="M201.38,-756.59C201.38,-764.82 201.38,-773.21 201.38,-781.58"/>
<polygon fill="none" stroke="black" points="197.88,-781.46 201.38,-791.46 204.88,-781.46 197.88,-781.46"/>
</g>
<!-- RankingDebugger&#45;&gt;DiscreteSpectrumDebugger -->
<g id="edge7" class="edge">
<title>RankingDebugger&#45;&gt;DiscreteSpectrumDebugger</title>
<path fill="none" stroke="black" d="M278.28,-206.41C264.5,-228.33 245.27,-258.92 229.49,-284.03"/>
<polygon fill="none" stroke="black" points="226.57,-282.09 224.21,-292.42 232.5,-285.82 226.57,-282.09"/>
</g>
<!-- OchiaiDebugger -->
<g id="node8" class="node">
<title>OchiaiDebugger</title>
<g id="a_node8"><a xlink:href="#" xlink:title="class OchiaiDebugger:&#10;Spectrum&#45;based Debugger using the Ochiai metric for suspiciousness">
<polygon fill="none" stroke="black" points="225.62,-0.5 225.62,-59.25 345.12,-59.25 345.12,-0.5 225.62,-0.5"/>
<text text-anchor="start" x="233.62" y="-42.95" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-size="14.00" fill="#6a0dad">OchiaiDebugger</text>
<polyline fill="none" stroke="black" points="225.62,-34 345.12,-34"/>
<g id="a_node8_55"><a xlink:href="#" xlink:title="OchiaiDebugger">
<g id="a_node8_56"><a xlink:href="#" xlink:title="hue(self, event: Any) &#45;&gt; Optional[float]:&#10;Return a color hue from 0.0 (red) to 1.0 (green).">
<text text-anchor="start" x="237.38" y="-21.5" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">hue()</text>
</a>
</g>
<g id="a_node8_57"><a xlink:href="#" xlink:title="suspiciousness(self, event: Any) &#45;&gt; Optional[float]:&#10;Return a suspiciousness value [0, 1.0]&#10;for the given event, or `None` if unknown.">
<text text-anchor="start" x="237.38" y="-8.75" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="10.00">suspiciousness()</text>
</a>
</g>
</a>
</g>
</a>
</g>
</g>
<!-- OchiaiDebugger&#45;&gt;ContinuousSpectrumDebugger -->
<g id="edge8" class="edge">
<title>OchiaiDebugger&#45;&gt;ContinuousSpectrumDebugger</title>
<path fill="none" stroke="black" d="M250.21,-59.47C239.4,-68.26 226.9,-78.42 213.88,-89.01"/>
<polygon fill="none" stroke="black" points="211.99,-86.04 206.44,-95.07 216.4,-91.47 211.99,-86.04"/>
</g>
<!-- OchiaiDebugger&#45;&gt;RankingDebugger -->
<g id="edge9" class="edge">
<title>OchiaiDebugger&#45;&gt;RankingDebugger</title>
<path fill="none" stroke="black" d="M287.55,-59.47C289.21,-81.28 291.51,-111.58 293.35,-135.77"/>
<polygon fill="none" stroke="black" points="289.84,-135.87 294.09,-145.58 296.82,-135.34 289.84,-135.87"/>
</g>
<!-- Legend -->
<g id="node9" class="node">
<title>Legend</title>
<text text-anchor="start" x="362.75" y="-45.88" font-family="Raleway, Helvetica, Arial, sans-serif" font-weight="bold" font-size="10.00" fill="#6a0dad">Legend</text>
<text text-anchor="start" x="362.75" y="-35.88" font-family="Raleway, Helvetica, Arial, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="368.75" y="-35.88" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-weight="bold" font-size="8.00">public_method()</text>
<text text-anchor="start" x="362.75" y="-25.88" font-family="Raleway, Helvetica, Arial, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="368.75" y="-25.88" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-size="8.00">private_method()</text>
<text text-anchor="start" x="362.75" y="-15.88" font-family="Raleway, Helvetica, Arial, sans-serif" font-size="10.00">• </text>
<text text-anchor="start" x="368.75" y="-15.88" font-family="'Fira Mono', 'Source Code Pro', 'Courier', monospace" font-style="italic" font-size="8.00">overloaded_method()</text>
<text text-anchor="start" x="362.75" y="-6.82" font-family="Helvetica,sans-Serif" font-size="9.00">Hover over names to see doc</text>
</g>
</g>
</svg>