/// /// <summary> * Append all children of p for which no identical child exists /// * </summary> /// * <param name="p"> the Child to add to the element </param> /// protected internal virtual void appendUniqueGeneric(JDFPool p) { VElement vp = p.getPoolChildrenGeneric(null, null, null); VElement v = getPoolChildrenGeneric(null, null, null); for (int i = 0; i < vp.Count; i++) { if (!v.containsElement(vp[i])) { copyElement(vp[i], null); } } }