public PDATransition(State from, State to, String inputToRead,
			String stringToPop, String stringToPush) {
		super(from, to);
		setInputToRead(inputToRead);
		setStringToPop(stringToPop);
		setStringToPush(stringToPush);
	}