(explain_info, graph)
| 53 | |
| 54 | |
| 55 | def _add_graphviz_node(explain_info, graph): |
| 56 | label = "".join( |
| 57 | [ |
| 58 | "<{<b>", |
| 59 | explain_info["label"], |
| 60 | "</b> | ", |
| 61 | "<br />".join( |
| 62 | [f"{key}: {value}" for key, value in explain_info["details"].items()] |
| 63 | ), |
| 64 | "}>", |
| 65 | ] |
| 66 | ) |
| 67 | |
| 68 | graph.node(explain_info["name"], label) |
| 69 | |
| 70 | |
| 71 | def _add_graphviz_edges(explain_info, graph): |