public void deleteChild(TTreeNode theChild) { int index = -1; for (int i = 0; i < child.size(); i++) { if (child.get(i).getCopy().getId() == theChild.getCopy().getId()) { index = i; } } if (index > -1) { child.remove(index); } }
public TTreeNode(TTreeNode ttn) { this.id = ttn.getId(); this.transition = ttn.getTransition(); this.setCopy(ttn); }