public boolean equals(Object object) {
		try {
			TMTransition t = (TMTransition) object;
			return super.equals(object) && toRead.equals(t.toRead)
					&& toWrite.equals(t.toWrite)
					&& direction.equals(t.direction);
		} catch (ClassCastException e) {
			return false;
		}
	}