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

Detailed Description

Definition at line 154 of file linear_constraint_manager.h.

#include <linear_constraint_manager.h>

Classes

struct  ConstraintInfo

Public Member Functions

 LinearConstraintManager (Model *model)
 ~LinearConstraintManager ()
 DEFINE_STRONG_INDEX_TYPE (ConstraintIndex)
ConstraintIndex Add (LinearConstraint ct, bool *added=nullptr, bool *folded=nullptr)
bool AddCut (LinearConstraint ct, std::string type_name, std::string extra_info="")
bool UpdateConstraintLb (glop::RowIndex index_in_lp, IntegerValue new_lb)
bool UpdateConstraintUb (glop::RowIndex index_in_lp, IntegerValue new_ub)
void SetObjectiveCoefficient (IntegerVariable var, IntegerValue coeff)
bool ChangeLp (glop::BasisState *solution_state, int *num_new_constraints=nullptr)
void AddAllConstraintsToLp ()
const util_intops::StrongVector< ConstraintIndex, ConstraintInfo > & AllConstraints () const
const std::vector< ConstraintIndex > & LpConstraints () const
const util_intops::StrongVector< IntegerVariable, double > & LpValues ()
const util_intops::StrongVector< IntegerVariable, double > & ReducedCosts ()
int64_t num_constraints () const
int64_t num_constraint_updates () const
int64_t num_simplifications () const
int64_t num_merged_constraints () const
int64_t num_shortened_constraints () const
int64_t num_split_constraints () const
int64_t num_coeff_strenghtening () const
int64_t num_cuts () const
int64_t num_add_cut_calls () const
const absl::btree_map< std::string, int > & type_to_num_cuts () const
bool DebugCheckConstraint (const LinearConstraint &cut)
void CacheReducedCostsInfo ()
absl::int128 ReducedCostsGap () const
absl::int128 GetLiteralReducedCost (Literal l) const
void SetReducedCostsAsLinearConstraint (const LinearConstraint &ct)

Constructor & Destructor Documentation

◆ LinearConstraintManager()

operations_research::sat::LinearConstraintManager::LinearConstraintManager ( Model * model)
inlineexplicit

Definition at line 190 of file linear_constraint_manager.h.

◆ ~LinearConstraintManager()

operations_research::sat::LinearConstraintManager::~LinearConstraintManager ( )

Definition at line 237 of file linear_constraint_manager.cc.

Member Function Documentation

◆ Add()

LinearConstraintManager::ConstraintIndex operations_research::sat::LinearConstraintManager::Add ( LinearConstraint ct,
bool * added = nullptr,
bool * folded = nullptr )

Definition at line 311 of file linear_constraint_manager.cc.

◆ AddAllConstraintsToLp()

void operations_research::sat::LinearConstraintManager::AddAllConstraintsToLp ( )

Definition at line 948 of file linear_constraint_manager.cc.

◆ AddCut()

bool operations_research::sat::LinearConstraintManager::AddCut ( LinearConstraint ct,
std::string type_name,
std::string extra_info = "" )

Definition at line 422 of file linear_constraint_manager.cc.

◆ AllConstraints()

const util_intops::StrongVector< ConstraintIndex, ConstraintInfo > & operations_research::sat::LinearConstraintManager::AllConstraints ( ) const
inline

Definition at line 247 of file linear_constraint_manager.h.

◆ CacheReducedCostsInfo()

void operations_research::sat::LinearConstraintManager::CacheReducedCostsInfo ( )

Definition at line 985 of file linear_constraint_manager.cc.

◆ ChangeLp()

bool operations_research::sat::LinearConstraintManager::ChangeLp ( glop::BasisState * solution_state,
int * num_new_constraints = nullptr )

Definition at line 704 of file linear_constraint_manager.cc.

◆ DebugCheckConstraint()

bool operations_research::sat::LinearConstraintManager::DebugCheckConstraint ( const LinearConstraint & cut)

Definition at line 958 of file linear_constraint_manager.cc.

◆ DEFINE_STRONG_INDEX_TYPE()

operations_research::sat::LinearConstraintManager::DEFINE_STRONG_INDEX_TYPE ( ConstraintIndex )

◆ GetLiteralReducedCost()

absl::int128 operations_research::sat::LinearConstraintManager::GetLiteralReducedCost ( Literal l) const
inline

Definition at line 296 of file linear_constraint_manager.h.

◆ LpConstraints()

const std::vector< ConstraintIndex > & operations_research::sat::LinearConstraintManager::LpConstraints ( ) const
inline

Definition at line 253 of file linear_constraint_manager.h.

◆ LpValues()

const util_intops::StrongVector< IntegerVariable, double > & operations_research::sat::LinearConstraintManager::LpValues ( )
inline

Definition at line 258 of file linear_constraint_manager.h.

◆ num_add_cut_calls()

int64_t operations_research::sat::LinearConstraintManager::num_add_cut_calls ( ) const
inline

Definition at line 276 of file linear_constraint_manager.h.

◆ num_coeff_strenghtening()

int64_t operations_research::sat::LinearConstraintManager::num_coeff_strenghtening ( ) const
inline

Definition at line 274 of file linear_constraint_manager.h.

◆ num_constraint_updates()

int64_t operations_research::sat::LinearConstraintManager::num_constraint_updates ( ) const
inline

Definition at line 267 of file linear_constraint_manager.h.

◆ num_constraints()

int64_t operations_research::sat::LinearConstraintManager::num_constraints ( ) const
inline

Definition at line 266 of file linear_constraint_manager.h.

◆ num_cuts()

int64_t operations_research::sat::LinearConstraintManager::num_cuts ( ) const
inline

Definition at line 275 of file linear_constraint_manager.h.

◆ num_merged_constraints()

int64_t operations_research::sat::LinearConstraintManager::num_merged_constraints ( ) const
inline

Definition at line 269 of file linear_constraint_manager.h.

◆ num_shortened_constraints()

int64_t operations_research::sat::LinearConstraintManager::num_shortened_constraints ( ) const
inline

Definition at line 270 of file linear_constraint_manager.h.

◆ num_simplifications()

int64_t operations_research::sat::LinearConstraintManager::num_simplifications ( ) const
inline

Definition at line 268 of file linear_constraint_manager.h.

◆ num_split_constraints()

int64_t operations_research::sat::LinearConstraintManager::num_split_constraints ( ) const
inline

Definition at line 273 of file linear_constraint_manager.h.

◆ ReducedCosts()

const util_intops::StrongVector< IntegerVariable, double > & operations_research::sat::LinearConstraintManager::ReducedCosts ( )
inline

Definition at line 261 of file linear_constraint_manager.h.

◆ ReducedCostsGap()

absl::int128 operations_research::sat::LinearConstraintManager::ReducedCostsGap ( ) const
inline

Definition at line 295 of file linear_constraint_manager.h.

◆ SetObjectiveCoefficient()

void operations_research::sat::LinearConstraintManager::SetObjectiveCoefficient ( IntegerVariable var,
IntegerValue coeff )

Definition at line 528 of file linear_constraint_manager.cc.

◆ SetReducedCostsAsLinearConstraint()

void operations_research::sat::LinearConstraintManager::SetReducedCostsAsLinearConstraint ( const LinearConstraint & ct)
inline

Definition at line 306 of file linear_constraint_manager.h.

◆ type_to_num_cuts()

const absl::btree_map< std::string, int > & operations_research::sat::LinearConstraintManager::type_to_num_cuts ( ) const
inline

Definition at line 278 of file linear_constraint_manager.h.

◆ UpdateConstraintLb()

bool operations_research::sat::LinearConstraintManager::UpdateConstraintLb ( glop::RowIndex index_in_lp,
IntegerValue new_lb )

Definition at line 367 of file linear_constraint_manager.cc.

◆ UpdateConstraintUb()

bool operations_research::sat::LinearConstraintManager::UpdateConstraintUb ( glop::RowIndex index_in_lp,
IntegerValue new_ub )

Definition at line 378 of file linear_constraint_manager.cc.

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