GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addEdge(GenericEdge edge) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addEdges(java.util.Collection<GenericEdge> edges) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addVertex(GenericVertex vertex) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addVertices(java.util.Collection<GenericVertex> vertices) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.FocusBuilder.apply() |
|
static GenericGraph.GenericGraphBuilder |
GenericGraph.builder() |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.description(java.lang.String description) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.focus(Focus defaultFocus) |
|
static GenericGraph.GenericGraphBuilder |
GenericGraph.from(GenericGraph graph) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.graph(GenericGraph graph) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.graphInfo(GraphInfo graphInfo) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.namespace(java.lang.String namespace) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.properties(java.util.Map<java.lang.String,java.lang.Object> properties) |
|
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.property(java.lang.String name,
java.lang.Object value) |
|