/**
* A utility function that duplicates a set of objects.
*
* @param objects The set of object to be duplicated
* @return The set of duplicated objects
*/
@SuppressWarnings("unchecked")
private <O extends OWLObject> Set<O> duplicateSet(Set<O> objects) {
Set<O> dup = new HashSet<O>();
for (O o : objects) {
o.accept(this);
dup.add((O) obj);
}
return dup;
}
