com.salesforce.jgrapht.graph.WeightedMultigraph Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of AptSpringProcessor Show documentation
Show all versions of AptSpringProcessor Show documentation
This project contains the apt processor that implements all the checks enumerated in @Verify. It is a self contained, and
shaded jar.
/*
* (C) Copyright 2003-2017, 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 com.salesforce.jgrapht.graph;
import com.salesforce.jgrapht.*;
import com.salesforce.jgrapht.graph.builder.*;
/**
* A weighted multigraph. A weighted multigraph is a non-simple undirected graph in which no loops
* are permitted, but multiple edges between any two vertices are. The edges of a weighted
* multigraph have weights. If you're unsure about multigraphs, see:
*
* http://mathworld.wolfram.com/Multigraph.html.
*
* @param the graph vertex type
* @param the graph edge type
*
*/
public class WeightedMultigraph
extends Multigraph
implements WeightedGraph
{
private static final long serialVersionUID = 3544671793370640696L;
/**
* Creates a new weighted multigraph with the specified edge factory.
*
* @param ef the edge factory of the new graph.
*/
public WeightedMultigraph(EdgeFactory ef)
{
super(ef);
}
/**
* Creates a new weighted multigraph.
*
* @param edgeClass class on which to base factory for edges
*/
public WeightedMultigraph(Class extends E> edgeClass)
{
this(new ClassBasedEdgeFactory<>(edgeClass));
}
/**
* 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 UndirectedWeightedGraphBuilderBase, ?> builder(
Class extends E> edgeClass)
{
return new UndirectedWeightedGraphBuilder<>(new WeightedMultigraph<>(edgeClass));
}
/**
* 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
*/
public static UndirectedWeightedGraphBuilderBase, ?> builder(
EdgeFactory ef)
{
return new UndirectedWeightedGraphBuilder<>(new WeightedMultigraph<>(ef));
}
}
// End WeightedMultigraph.java
© 2015 - 2025 Weber Informatics LLC | Privacy Policy