Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LinearConstraintManager::ConstraintInfo Struct Reference

Detailed Description

Definition at line 156 of file linear_constraint_manager.h.

#include <linear_constraint_manager.h>

Public Attributes

LinearConstraint constraint
double l2_norm = 0.0
double objective_parallelism = 0.0
size_t hash
double active_count = 0.0
uint16_t inactive_count = 0
bool objective_parallelism_computed = false
bool is_in_lp = false
bool ub_is_trivial = false
bool lb_is_trivial = false
bool is_deletable = false

Member Data Documentation

◆ active_count

double operations_research::sat::LinearConstraintManager::ConstraintInfo::active_count = 0.0

Definition at line 169 of file linear_constraint_manager.h.

◆ constraint

LinearConstraint operations_research::sat::LinearConstraintManager::ConstraintInfo::constraint

Definition at line 160 of file linear_constraint_manager.h.

◆ hash

size_t operations_research::sat::LinearConstraintManager::ConstraintInfo::hash

Definition at line 164 of file linear_constraint_manager.h.

◆ inactive_count

uint16_t operations_research::sat::LinearConstraintManager::ConstraintInfo::inactive_count = 0

Definition at line 174 of file linear_constraint_manager.h.

◆ is_deletable

bool operations_research::sat::LinearConstraintManager::ConstraintInfo::is_deletable = false

Definition at line 187 of file linear_constraint_manager.h.

◆ is_in_lp

bool operations_research::sat::LinearConstraintManager::ConstraintInfo::is_in_lp = false

Definition at line 178 of file linear_constraint_manager.h.

◆ l2_norm

double operations_research::sat::LinearConstraintManager::ConstraintInfo::l2_norm = 0.0

Definition at line 162 of file linear_constraint_manager.h.

◆ lb_is_trivial

bool operations_research::sat::LinearConstraintManager::ConstraintInfo::lb_is_trivial = false

Definition at line 180 of file linear_constraint_manager.h.

◆ objective_parallelism

double operations_research::sat::LinearConstraintManager::ConstraintInfo::objective_parallelism = 0.0

Definition at line 163 of file linear_constraint_manager.h.

◆ objective_parallelism_computed

bool operations_research::sat::LinearConstraintManager::ConstraintInfo::objective_parallelism_computed = false

Definition at line 177 of file linear_constraint_manager.h.

◆ ub_is_trivial

bool operations_research::sat::LinearConstraintManager::ConstraintInfo::ub_is_trivial = false

Definition at line 179 of file linear_constraint_manager.h.


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