public virtual ATermList dictRemove(ATerm key) { ATermList pair; if (isEmpty()) { return(this); } pair = (ATermList)first; if (key.equals(pair.getFirst())) { return(next); } return((ATermList)next.dictRemove(key).insert(first).setAnnotations(getAnnotations())); //return getPureFactory().makeList(first, next.dictRemove(key), getAnnotations()); }
public virtual ATerm removeAnnotation(ATerm label) { return(setAnnotations(annotations.dictRemove(label))); }