112113114115116117118119120121
double value ) throws GraphException { if ( weighted != null ) { throw new GraphException( "Unable to set weight." ); } weights.put( e, new Double( value ) ); }
150151152153154155156157
{ throw e; } catch ( Exception e ) { throw new GraphException( e ); } }
240241242243244245246247
{ vertices.remove( v ); } catch ( Exception ex ) { throw new GraphException( ex ); } }
346347348349350351352353
edgeWeights.remove( e ); } } catch ( Exception ex ) { throw new GraphException( ex ); } }