/** * Remove a pointer from this NodeSet. * @param pointer to remove */ public void remove(Pointer pointer) { if (pointers.remove(pointer)) { clearCacheLists(); } }
/** * Add a pointer to this NodeSet. * @param pointer to add */ public void add(Pointer pointer) { if (pointers.add(pointer)) { clearCacheLists(); } }
/** * Add the specified NodeSet to this NodeSet. * @param nodeSet to add */ public void add(NodeSet nodeSet) { if (pointers.addAll(nodeSet.getPointers())) { clearCacheLists(); } }