com.salesforce.jgrapht.graph.DirectedWeightedPseudograph 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 directed weighted pseudograph. A directed weighted pseudograph is a non-simple directed graph
* in which both graph loops and multiple edges are permitted, and edges have weights.
*
* @param the graph vertex type
* @param the graph edge type
*
*/
public class DirectedWeightedPseudograph
extends DirectedPseudograph
implements WeightedGraph
{
private static final long serialVersionUID = 8762514879586423517L;
/**
* Creates a new directed weighted pseudograph.
*
* @param edgeClass class on which to base factory for edges
*/
public DirectedWeightedPseudograph(Class extends E> edgeClass)
{
this(new ClassBasedEdgeFactory<>(edgeClass));
}
/**
* Creates a new directed weighted pseudograph with the specified edge factory.
*
* @param ef the edge factory of the new graph.
*/
public DirectedWeightedPseudograph(EdgeFactory ef)
{
super(ef);
}
/**
* 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 DirectedWeightedGraphBuilderBase, ?> builder(Class extends E> edgeClass)
{
return new DirectedWeightedGraphBuilder<>(new DirectedWeightedPseudograph<>(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 DirectedWeightedGraphBuilderBase, ?> builder(EdgeFactory ef)
{
return new DirectedWeightedGraphBuilder<>(new DirectedWeightedPseudograph<>(ef));
}
}
// End DirectedWeightedPseudograph.java
© 2015 - 2025 Weber Informatics LLC | Privacy Policy