Detailed Description

For an optimization problem, this contains the internal integer objective to minimize and information on how to display it correctly in the logs.

Definition at line 39 of file cp_model_mapping.h.

#include <cp_model_mapping.h>

Public Member Functions
double	ScaleIntegerObjective (IntegerValue value) const
double	ScaleObjective (double value) const

Public Attributes
double	scaling_factor = 1.0
double	offset = 0.0
IntegerVariable	objective_var = kNoIntegerVariable
std::vector< IntegerVariable >	vars
std::vector< IntegerValue >	coeffs
absl::flat_hash_set< IntegerVariable >	objective_impacting_variables

Member Function Documentation

◆ ScaleIntegerObjective()

double operations_research::sat::ObjectiveDefinition::ScaleIntegerObjective ( IntegerValue value ) const

inline

Definition at line 56 of file cp_model_mapping.h.

◆ ScaleObjective()

double operations_research::sat::ObjectiveDefinition::ScaleObjective ( double value ) const

inline

Definition at line 60 of file cp_model_mapping.h.

Member Data Documentation

◆ coeffs

std::vector<IntegerValue> operations_research::sat::ObjectiveDefinition::coeffs

Definition at line 49 of file cp_model_mapping.h.

◆ objective_impacting_variables

absl::flat_hash_set<IntegerVariable> operations_research::sat::ObjectiveDefinition::objective_impacting_variables

List of variable that when set to their lower bound should help getting a better objective. This is used by some search heuristic to preferably assign any of the variable here to their lower bound first.

Definition at line 54 of file cp_model_mapping.h.

◆ objective_var

IntegerVariable operations_research::sat::ObjectiveDefinition::objective_var = kNoIntegerVariable

Definition at line 42 of file cp_model_mapping.h.

◆ offset

double operations_research::sat::ObjectiveDefinition::offset = 0.0

Definition at line 41 of file cp_model_mapping.h.

◆ scaling_factor

double operations_research::sat::ObjectiveDefinition::scaling_factor = 1.0

Definition at line 40 of file cp_model_mapping.h.

◆ vars

std::vector<IntegerVariable> operations_research::sat::ObjectiveDefinition::vars

The objective linear expression that should be equal to objective_var. If not all proto variable have an IntegerVariable view, then some vars will be set to kNoIntegerVariable. In practice, when this is used, we make sure there is a view though.

Definition at line 48 of file cp_model_mapping.h.

The documentation for this struct was generated from the following file:

ortools/sat/cp_model_mapping.h