src/model/common/dof_manager/dof_manager_default.cc