Class DefaultGraphType.Builder

java.lang.Object
org.jgrapht.graph.DefaultGraphType.Builder
Enclosing class:
DefaultGraphType

public static class DefaultGraphType.Builder
extends java.lang.Object
A builder for DefaultGraphType.
Author:
Dimitrios Michail
  • Constructor Details

    • Builder

      public Builder()
      Construct a new Builder.
    • Builder

      public Builder​(GraphType type)
      Construct a new Builder.
      Parameters:
      type - the type to base the builder
    • Builder

      public Builder​(boolean directed, boolean undirected)
      Construct a new Builder.
      Parameters:
      directed - whether the graph contains directed edges
      undirected - whether the graph contains undirected edges
  • Method Details