toDotString

fun <T : Comparable<T>> BinaryDecisionDiagram<T>.toDotString(): String
Content copied to clipboard

Formats a BinaryDecisionDiagram using Graphviz DOT notation (https://graphviz.org/). This provides a fast and widely supported solution to visualize the contents of a BDD.