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);
}
