/** * Returns a deep clone of this {@link AForAllExp} node. * @return a deep clone of this {@link AForAllExp} node */ public AForAllExp clone() { return new AForAllExp( _type, _location, cloneList(_bindList), cloneNode(_predicate) ); }
/** * Creates a deep clone of this {@link AForAllExp} node while putting all * old node-new node relations in the map {@code oldToNewMap}. * @param oldToNewMap the map filled with the old node-new node relation * @return a deep clone of this {@link AForAllExp} node */ public AForAllExp clone(Map<INode,INode> oldToNewMap) { AForAllExp node = new AForAllExp( _type, _location, cloneList(_bindList, oldToNewMap), cloneNode(_predicate, oldToNewMap) ); oldToNewMap.put(this, node); return node; }