+void Activity::destroy()
+{
+ /* First Remove all dependencies */
+ while (not dependencies_.empty())
+ (*(dependencies_.begin()))->remove_successor(this);
+ while (not successors_.empty())
+ this->remove_successor(successors_.front());
+
+ cancel();
+}
+