![]() |
OR-Tools
9.6
|
Public Member Functions | |
| HittingSetOptimizer (const CpModelProto &model_proto, const ObjectiveDefinition &objective_definition, const std::function< void()> &feasible_solution_observer, Model *model) | |
| SatSolver::Status | Optimize () |
| HittingSetOptimizer | ( | const CpModelProto & | model_proto, |
| const ObjectiveDefinition & | objective_definition, | ||
| const std::function< void()> & | feasible_solution_observer, | ||
| Model * | model | ||
| ) |
| SatSolver::Status Optimize | ( | ) |