GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addEdge(GenericEdge edge) |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addEdges(Collection<GenericEdge> edges) |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addVertex(GenericVertex vertex) |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.addVertices(Collection<GenericVertex> vertices) |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.FocusBuilder.apply() |
static GenericGraph.GenericGraphBuilder |
GenericGraph.builder() |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.description(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(String namespace) |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.properties(Map<String,Object> properties) |
GenericGraph.GenericGraphBuilder |
GenericGraph.GenericGraphBuilder.property(String name,
Object value) |