1 25 41 package org.jgrapht.graph; 42 43 import java.util.*; 44 45 import org.jgrapht.*; 46 47 48 53 public class UndirectedWeightedSubgraph<V, E> 54 extends UndirectedSubgraph<V, E> 55 implements WeightedGraph<V, E> 56 { 57 58 60 private static final long serialVersionUID = 3689346615735236409L; 61 62 64 74 public UndirectedWeightedSubgraph( 75 WeightedGraph<V, E> base, 76 Set<V> vertexSubset, 77 Set<E> edgeSubset) 78 { 79 super((UndirectedGraph<V, E>) base, vertexSubset, edgeSubset); 80 } 81 } 82 | Popular Tags |