Uses of Class
de.flapdoodle.reverse.graph.Vertex

Packages that use Vertex

Package	Description
de.flapdoodle.reverse.graph

Uses of Vertex in de.flapdoodle.reverse.graph

Subclasses of Vertex in de.flapdoodle.reverse.graph

Modifier and Type	Class and Description
class	ImmutableStateVertex Immutable implementation of StateVertex.
class	ImmutableTransitionVertex Immutable implementation of TransitionVertex.
class	StateVertex
class	TransitionVertex

Methods in de.flapdoodle.reverse.graph that return types with arguments of type Vertex

Modifier and Type	Method and Description
static org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge>	TransitionGraph.asGraph(List<? extends Transition<?>> all)
static Function<Vertex,String>	Vertex.asId()
de.flapdoodle.graph.ImmutableSubGraph<Vertex>	HasSubGraph.subGraph()

Methods in de.flapdoodle.reverse.graph with parameters of type Vertex

Modifier and Type	Method and Description
static de.flapdoodle.types.Either<StateVertex,TransitionVertex>	Vertex.asEither(Vertex vertex)

Method parameters in de.flapdoodle.reverse.graph with type arguments of type Vertex

Modifier and Type	Method and Description
static String	TransitionGraph.asMessage(List<? extends de.flapdoodle.graph.Loop<Vertex,org.jgrapht.graph.DefaultEdge>> loops)
static String	TransitionGraph.edgeGraphAsDot(String label, org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> graph)
static String	TransitionGraph.edgeGraphAsDot(String label, org.jgrapht.graph.DefaultDirectedGraph<Vertex,org.jgrapht.graph.DefaultEdge> graph, Function<Transition<?>,String> transitionAsLabel, Function<StateID<?>,String> stateIdAsLabel)