public Enumeration getChildrenInfo() {
if (nrNeededParams >= 0) {
return Utils.arrayEnumeration(Utils.arrayConcat(new Object[] {funcOrVal}, getBoundParams()));
} else {
return Utils.oneEnumeration(funcOrVal);
}
}
public Enumeration getSuccessors() {
Object[] params = getBoundParams();
Object[] succ = params;
if (funcOrVal instanceof Eval) {
succ = Utils.arrayCons(funcOrVal, params);
}
return Utils.arrayEnumeration(succ);
}