/** Unmaps all vertices in both implementation and DAG Resets the order manager only at the end */
@Override
public final void resetDAG() {
Iterator<DAGVertex> iterator = dag.vertexSet().iterator();
while (iterator.hasNext()) {
MapperDAGVertex v = (MapperDAGVertex) iterator.next();
if (v.hasEffectiveComponent()) {
unmap(v);
}
}
orderManager.resetTotalOrder();
}
