text: var restart_8h =
  [
      [ "RestartPolicy", "classoperations__research_1_1sat_1_1RestartPolicy.html", "classoperations__research_1_1sat_1_1RestartPolicy" ],
      [ "SUniv", "restart_8h.html#ab89c95fd9e5fe8176a7807d92872972e", null ]
  ];