com.salesforce.jgrapht.graph.WeightedPseudograph 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 pseudograph. A weighted pseudograph is a non-simple undirected graph in which both
* graph loops and multiple edges are permitted. The edges of a weighted pseudograph have weights.
* If you're unsure about pseudographs, see:
*
* http://mathworld.wolfram.com/Pseudograph.html.
*
* @param the graph vertex type
* @param the graph edge type
*
*/
public class WeightedPseudograph
extends Pseudograph
implements WeightedGraph
{
private static final long serialVersionUID = 3257290244524356152L;
/**
* Creates a new weighted pseudograph with the specified edge factory.
*
* @param ef the edge factory of the new graph.
*/
public WeightedPseudograph(EdgeFactory ef)
{
super(ef);
}
/**
* Creates a new weighted pseudograph.
*
* @param edgeClass class on which to base factory for edges
*/
public WeightedPseudograph(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 WeightedPseudograph<>(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 WeightedPseudograph<>(ef));
}
}
// End WeightedPseudograph.java
© 2015 - 2025 Weber Informatics LLC | Privacy Policy