public void Clear() // updates self // ensures self = (white, 0, 0, NIL) { color = VertextColor.white; discoveryTime = 0; finishingTime = 0; predecessor = NIL; } // clear
public DFSRecord() // updates self // ensures self = (white, 0, 0, NIL) { color = VertextColor.white; discoveryTime = 0; finishingTime = 0; predecessor = NIL; }