public void initializeNodes(State[] states) {
		myNodes = new Node[states.length];
		/** Color all vertices white. */
		for (int k = 0; k < states.length; k++) {
			Node node = new Node(states[k]);
			node.colorWhite();
			myNodes[k] = node;
		}
	}