{ //FIXME this bracket is for e to be local

 	{ //FIXME this bracket is for e to be local

 	  OutEdgeIt e;

 	  OutEdgeIt e;

 	for(G.first(e, v);

 	for(G.first(e, v);

 	    G.valid(e); G.next(e)) {

 	    G.valid(e); G.next(e)) {

 	  switch(heap.state(w)) {

 	  switch(heap.state(w)) {

 	  case heap.PRE_HEAP:

 	  case heap.PRE_HEAP:

 	    heap.push(w,oldvalue+length[e]); 

 	    heap.push(w,oldvalue+length[e]); 

 	    predecessor.set(w,e);

 	    predecessor.set(w,e);