1 25 42 package org.jgrapht.graph; 43 44 import java.util.*; 45 46 import org.jgrapht.*; 47 48 49 54 public class DirectedWeightedSubgraph<V, E> 55 extends DirectedSubgraph<V, E> 56 implements WeightedGraph<V, E> 57 { 58 59 61 private static final long serialVersionUID = 3905799799168250680L; 62 63 65 75 public DirectedWeightedSubgraph( 76 WeightedGraph<V, E> base, 77 Set<V> vertexSubset, 78 Set<E> edgeSubset) 79 { 80 super((DirectedGraph<V, E>) base, vertexSubset, edgeSubset); 81 } 82 } 83 | Popular Tags |