text: var classoperations__research_1_1sat_1_1_sub_solver =
  [
      [ "SubSolver", "classoperations__research_1_1sat_1_1_sub_solver.html#ad2e23c304e8cbcd373924635e0a2a9fa", null ],
      [ "~SubSolver", "classoperations__research_1_1sat_1_1_sub_solver.html#a5b73fdbea9375b397b31686866d7fdec", null ],
      [ "deterministic_time", "classoperations__research_1_1sat_1_1_sub_solver.html#ae525d235b02bcfc962d845e28f5f0125", null ],
      [ "GenerateTask", "classoperations__research_1_1sat_1_1_sub_solver.html#aef743d21765bbc6b76186204b4d3945b", null ],
      [ "name", "classoperations__research_1_1sat_1_1_sub_solver.html#a1d89c28bd42ba9a52da008bb69367171", null ],
      [ "score", "classoperations__research_1_1sat_1_1_sub_solver.html#a321c6d764d7a95cb82eea2a0e1198028", null ],
      [ "Synchronize", "classoperations__research_1_1sat_1_1_sub_solver.html#ae13c194d355f54c75f87897e3c5beb6b", null ],
      [ "TaskIsAvailable", "classoperations__research_1_1sat_1_1_sub_solver.html#a1754d73c22a8492998b642c9d8df907a", null ],
      [ "deterministic_time_", "classoperations__research_1_1sat_1_1_sub_solver.html#ac05d8d7f6bf4c0144398514cc334d237", null ],
      [ "name_", "classoperations__research_1_1sat_1_1_sub_solver.html#a723d30392e2c4f36252de0528a1b246d", null ],
      [ "score_", "classoperations__research_1_1sat_1_1_sub_solver.html#ae8a019e95b21b6721e045ec56589ed16", null ]
  ];