#include <pseudo_costs.h>

Public Attributes
bool	is_fixed = false

bool	is_reliable = false

bool	is_integer = false

double	down_fractionality = 0.0

double	score = 0.0

double	down_score = 0.0

double	up_score = 0.0

IntegerLiteral	down_branch

Detailed Description

Alternative pseudo-cost. This relies on the LP more heavily and is more in line with what a MIP solver would do. Returns all the info about taking a branch around the current lp_value of var.

Definition at line 77 of file pseudo_costs.h.

Member Data Documentation

◆ down_branch

IntegerLiteral operations_research::sat::PseudoCosts::BranchingInfo::down_branch

Definition at line 85 of file pseudo_costs.h.

◆ down_fractionality

double operations_research::sat::PseudoCosts::BranchingInfo::down_fractionality = 0.0

Definition at line 81 of file pseudo_costs.h.

◆ down_score

double operations_research::sat::PseudoCosts::BranchingInfo::down_score = 0.0

Definition at line 83 of file pseudo_costs.h.

◆ is_fixed

bool operations_research::sat::PseudoCosts::BranchingInfo::is_fixed = false

Definition at line 78 of file pseudo_costs.h.

◆ is_integer

bool operations_research::sat::PseudoCosts::BranchingInfo::is_integer = false

Definition at line 80 of file pseudo_costs.h.

◆ is_reliable

bool operations_research::sat::PseudoCosts::BranchingInfo::is_reliable = false

Definition at line 79 of file pseudo_costs.h.

◆ score

double operations_research::sat::PseudoCosts::BranchingInfo::score = 0.0

Definition at line 82 of file pseudo_costs.h.

◆ up_score

double operations_research::sat::PseudoCosts::BranchingInfo::up_score = 0.0

Definition at line 84 of file pseudo_costs.h.

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

ortools/sat/pseudo_costs.h

Public Attributes