public boolean equals(Object object) {
		try {
			PDATransition t = (PDATransition) object;
			return super.equals(object)
					&& myInputToRead.equals(t.myInputToRead)
					&& myStringToPop.equals(t.myStringToPop)
					&& myStringToPush.equals(t.myStringToPush);
		} catch (ClassCastException e) {
			return false;
		}
	}