operations_research::sat::HittingSetOptimizer Class Reference

Detailed Description

Definition at line 59 of file max_hs.h.

#include <max_hs.h>

Public Member Functions
	HittingSetOptimizer (const CpModelProto &model_proto, const ObjectiveDefinition &objective_definition, const std::function< void()> &feasible_solution_observer, Model *model)
SatSolver::Status	Optimize ()

Constructor & Destructor Documentation

HittingSetOptimizer()

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

Definition at line 67 of file max_hs.cc.

Member Function Documentation

Optimize()

SatSolver::Status operations_research::sat::HittingSetOptimizer::Optimize

(

)

Definition at line 554 of file max_hs.cc.

---

The documentation for this class was generated from the following files:

• ortools/sat/max_hs.h
• ortools/sat/max_hs.cc