de.flapdoodle.commons.reverse.graph

Class TransitionGraph

java.lang.Object

de.flapdoodle.commons.reverse.graph.TransitionGraph

public abstract class TransitionGraph
extends Object

Constructor Summary

Constructors

Constructor and Description
TransitionGraph()

Method Summary

Modifier and Type	Method and Description
static org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge>	asGraph(List<? extends Transition<?>> all)
static String	asMessage(Collection<StateID<?>> types)
static String	asMessage(List<? extends Loop<Vertex,org.jgrapht.graph.DefaultEdge>> loops)
static String	asMessage(StateID<?> type)
static String	edgeGraphAsDot(String label, org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> graph)
static String	edgeGraphAsDot(String label, org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> graph, Function<Transition<?>,String> transitionAsLabel, Function<StateID<?>,String> stateIdAsLabel)
static String	edgeGraphAsDot(String label, Transitions transitions)

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionGraph

public TransitionGraph()

Method Detail

edgeGraphAsDot

public static String edgeGraphAsDot(String label,
                                    Transitions transitions)

asGraph

public static org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> asGraph(List<? extends Transition<?>> all)

edgeGraphAsDot

public static String edgeGraphAsDot(String label,
                                    org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> graph)

edgeGraphAsDot

public static String edgeGraphAsDot(String label,
                                    org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> graph,
                                    Function<Transition<?>,String> transitionAsLabel,
                                    Function<StateID<?>,String> stateIdAsLabel)

asMessage

public static String asMessage(List<? extends Loop<Vertex,org.jgrapht.graph.DefaultEdge>> loops)

asMessage

public static String asMessage(Collection<StateID<?>> types)

asMessage

public static String asMessage(StateID<?> type)