org.jgrapht.graph.WeightedPseudograph Maven / Gradle / Ivy
/* ==========================================
* JGraphT : a free Java graph-theory library
* ==========================================
*
* Project Info: http://jgrapht.sourceforge.net/
* Project Creator: Barak Naveh (http://sourceforge.net/users/barak_naveh)
*
* (C) Copyright 2003-2008, by Barak Naveh and Contributors.
*
* 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.
*/
/* ------------------------
* WeightedPseudograph.java
* ------------------------
* (C) Copyright 2003-2008, by Barak Naveh and Contributors.
*
* Original Author: Barak Naveh
* Contributor(s): Christian Hammer
*
* $Id$
*
* Changes
* -------
* 05-Aug-2003 : Initial revision (BN);
* 06-Aug-2005 : Made generic (CH);
* 28-May-2006 : Moved connectivity info from edge to graph (JVS);
*
*/
package org.jgrapht.graph;
import org.jgrapht.*;
import org.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.
*/
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 edgeClass)
{
this(new ClassBasedEdgeFactory(edgeClass));
}
public static UndirectedWeightedGraphBuilderBase, ?> builder(
Class edgeClass)
{
return new UndirectedWeightedGraphBuilder>(
new WeightedPseudograph(edgeClass));
}
public static UndirectedWeightedGraphBuilderBase, ?> builder(EdgeFactory ef)
{
return new UndirectedWeightedGraphBuilder>(
new WeightedPseudograph(ef));
}
}
// End WeightedPseudograph.java