operations_research::sat::CoreBasedOptimizer Class Reference

Detailed Description

Definition at line 93 of file optimization.h.

#include <optimization.h>

Public Member Functions
	CoreBasedOptimizer (IntegerVariable objective_var, absl::Span< const IntegerVariable > variables, absl::Span< const IntegerValue > coefficients, std::function< void()> feasible_solution_observer, Model *model)
SatSolver::Status	Optimize ()
SatSolver::Status	OptimizeWithSatEncoding (absl::Span< const Literal > literals, absl::Span< const IntegerVariable > vars, absl::Span< const Coefficient > coefficients, Coefficient offset)

Constructor & Destructor Documentation

CoreBasedOptimizer()

operations_research::sat::CoreBasedOptimizer::CoreBasedOptimizer	(	IntegerVariable	objective_var,
		absl::Span< const IntegerVariable >	variables,
		absl::Span< const IntegerValue >	coefficients,
		std::function< void()>	feasible_solution_observer,
		Model *	model )

Definition at line 444 of file optimization.cc.

Member Function Documentation

Optimize()

SatSolver::Status operations_research::sat::CoreBasedOptimizer::Optimize

(

)

Definition at line 1040 of file optimization.cc.

OptimizeWithSatEncoding()

SatSolver::Status operations_research::sat::CoreBasedOptimizer::OptimizeWithSatEncoding	(	absl::Span< const Literal >	literals,
		absl::Span< const IntegerVariable >	vars,
		absl::Span< const Coefficient >	coefficients,
		Coefficient	offset )

Definition at line 677 of file optimization.cc.

---

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

• ortools/sat/optimization.h
• ortools/sat/optimization.cc