@Override
	public boolean equals(Object o) {
		Transition tmpT = (Transition) o;
		return tmpT.node.equals(node) && tmpT.character.equals(character) && tmpT.leftChildren.equals(leftChildren) && tmpT.rightChildren.equals(rightChildren);
	}