Ejemplo n.º 1
0
        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());
        }
Ejemplo n.º 2
0
 public virtual ATerm removeAnnotation(ATerm label)
 {
     return(setAnnotations(annotations.dictRemove(label)));
 }