OR-Tools  9.6
Classes | Public Member Functions | List of all members
CoreBasedOptimizer

Detailed Description

Definition at line 159 of file optimization.h.

Public Member Functions

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

Constructor & Destructor Documentation

◆ CoreBasedOptimizer()

CoreBasedOptimizer ( IntegerVariable  objective_var,
const std::vector< IntegerVariable > &  variables,
const std::vector< IntegerValue > &  coefficients,
std::function< void()>  feasible_solution_observer,
Model *  model 
)

Definition at line 1294 of file optimization.cc.

Member Function Documentation

◆ Optimize()

SatSolver::Status Optimize ( )

Definition at line 1849 of file optimization.cc.

◆ OptimizeWithSatEncoding()

SatSolver::Status OptimizeWithSatEncoding ( const std::vector< Literal > &  literals,
const std::vector< IntegerVariable > &  vars,
const std::vector< Coefficient > &  coefficients,
Coefficient  offset 
)

Definition at line 1528 of file optimization.cc.

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