compiler/io.github.aplcornell.viaduct.security.solver/ConstraintSystem/exportDotGraph

exportDotGraph

fun exportDotGraph(writer: Writer)

Outputs the constraint system as a DOT graph to writer.