operations_research::sat::HittingSetOptimizer Member List

This is the complete list of members for operations_research::sat::HittingSetOptimizer, including all inherited members.

HittingSetOptimizer(const CpModelProto &model_proto, const ObjectiveDefinition &objective_definition, const std::function< void()> &feasible_solution_observer, Model *model)	operations_research::sat::HittingSetOptimizer
Optimize()	operations_research::sat::HittingSetOptimizer