private void addAllNotInSetToList(ArrayList toAdd, HashSet set,
			ArrayList list) {
		Iterator it = toAdd.iterator();
		while (it.hasNext()) {
			State state = (State) it.next();
			if (!set.contains(state))
				list.add(state);
		}
	}