| 98 | } |
| 99 | |
| 100 | Workspace Workspace_Impl::clone(bool keepHandles) const { |
| 101 | // copy everything but objects |
| 102 | std::shared_ptr<Workspace_Impl> cloneImpl(new Workspace_Impl(*this, keepHandles)); |
| 103 | // clone objects |
| 104 | createAndAddClonedObjects(workspace().getImpl<Workspace_Impl>(), cloneImpl, keepHandles); |
| 105 | // wrap impl and return |
| 106 | Workspace result(cloneImpl); |
| 107 | return result; |
| 108 | } |
| 109 | |
| 110 | Workspace Workspace_Impl::cloneSubset(const std::vector<Handle>& handles, bool keepHandles, StrictnessLevel level) const { |
| 111 | // copy everything but objects |