is there a path from the source vertex s to vertex v ? concode_field_sep DirectedEdge[] edgeTo concode_elem_sep double[] distTo concode_field_sep double distTo concode_elem_sep void relax concode_elem_sep void main concode_elem_sep Iterable<DirectedEdge> pathTo
boolean function ( int arg0 ) { return distTo [ arg0 ] > Double . NEGATIVE_INFINITY ; }