de.flapdoodle.formula.solver

Class GraphRenderer

java.lang.Object

de.flapdoodle.formula.solver.GraphRenderer

public abstract class GraphRenderer
extends Object

Method Summary

Modifier and Type	Method and Description
static String	renderGraphAsDot(org.jgrapht.graph.DefaultDirectedGraph<Value<?>,org.jgrapht.graph.DefaultEdge> graph)
static String	renderGraphAsDot(org.jgrapht.graph.DefaultDirectedGraph<Value<?>,org.jgrapht.graph.DefaultEdge> graph, Function<Value<?>,String> labelOfValue)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

renderGraphAsDot

public static String renderGraphAsDot(org.jgrapht.graph.DefaultDirectedGraph<Value<?>,org.jgrapht.graph.DefaultEdge> graph)

renderGraphAsDot

public static String renderGraphAsDot(org.jgrapht.graph.DefaultDirectedGraph<Value<?>,org.jgrapht.graph.DefaultEdge> graph,
                                      Function<Value<?>,String> labelOfValue)