org.jgrapht.graph.DefaultDirectedWeightedGraph Maven / Gradle / Ivy
/*
* (C) Copyright 2003-2018, by Barak Naveh and Contributors.
*
* JGraphT : a free Java graph-theory library
*
* This program and the accompanying materials are dual-licensed under
* either
*
* (a) the terms of the GNU Lesser General Public License version 2.1
* as published by the Free Software Foundation, or (at your option) any
* later version.
*
* or (per the licensee's choosing)
*
* (b) the terms of the Eclipse Public License v1.0 as published by
* the Eclipse Foundation.
*/
package org.jgrapht.graph;
import org.jgrapht.*;
import org.jgrapht.graph.builder.*;
import org.jgrapht.util.*;
import java.util.function.*;
/**
* The default implementation of a directed weighted graph. A default directed weighted graph is a
* non-simple directed graph in which multiple (parallel) edges between any two vertices are
* not permitted, but loops are. The graph has weights on its edges.
*
* @param the graph vertex type
* @param the graph edge type
*
* @see DefaultDirectedGraph
*/
public class DefaultDirectedWeightedGraph
extends
DefaultDirectedGraph
{
private static final long serialVersionUID = -4867672646995721544L;
/**
* Creates a new graph.
*
* @param edgeClass class on which to base the edge supplier
*/
public DefaultDirectedWeightedGraph(Class extends E> edgeClass)
{
this(null, SupplierUtil.createSupplier(edgeClass));
}
/**
* Creates a new graph.
*
* @param vertexSupplier the vertex supplier, can be null
* @param edgeSupplier the edge supplier, can be null
*/
public DefaultDirectedWeightedGraph(Supplier vertexSupplier, Supplier edgeSupplier)
{
super(vertexSupplier, edgeSupplier, true);
}
/**
* Create a builder for this kind of graph.
*
* @param edgeClass class on which to base factory for edges
* @param the graph vertex type
* @param the graph edge type
* @return a builder for this kind of graph
*/
public static GraphBuilder> createBuilder(
Class extends E> edgeClass)
{
return new GraphBuilder<>(new DefaultDirectedWeightedGraph<>(edgeClass));
}
/**
* Create a builder for this kind of graph.
*
* @param edgeSupplier the edge supplier
* @param the graph vertex type
* @param the graph edge type
* @return a builder for this kind of graph
*/
public static GraphBuilder> createBuilder(
Supplier edgeSupplier)
{
return new GraphBuilder<>(new DefaultDirectedWeightedGraph<>(null, edgeSupplier));
}
/**
* Creates a new graph with the specified edge factory.
*
* @param ef the edge factory of the new graph.
* @deprecated Use suppliers instead
*/
@Deprecated
public DefaultDirectedWeightedGraph(EdgeFactory ef)
{
super(ef, true);
}
/**
* Create a builder for this kind of graph.
*
* @param ef the edge factory of the new graph
* @param the graph vertex type
* @param the graph edge type
* @return a builder for this kind of graph
* @deprecated Use suppliers instead
*/
@Deprecated
public static GraphBuilder> createBuilder(
EdgeFactory ef)
{
return new GraphBuilder<>(new DefaultDirectedWeightedGraph<>(ef));
}
}
// End DefaultDirectedWeightedGraph.java
© 2015 - 2025 Weber Informatics LLC | Privacy Policy