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

Detailed Description

Definition at line 60 of file linear_programming_constraint.h.

#include <linear_programming_constraint.h>

Public Member Functions

void ClearAndResize (int size)
bool Add (glop::ColIndex col, IntegerValue value)
template<bool check_overflow = true>
bool AddLinearExpressionMultiple (IntegerValue multiplier, absl::Span< const glop::ColIndex > cols, absl::Span< const IntegerValue > coeffs, IntegerValue max_coeff_magnitude)
LinearConstraint ConvertToLinearConstraint (absl::Span< const IntegerVariable > integer_variables, IntegerValue upper_bound, std::optional< std::pair< IntegerVariable, IntegerValue > > extra_term=std::nullopt)
void ConvertToCutData (absl::int128 rhs, absl::Span< const IntegerVariable > integer_variables, absl::Span< const double > lp_solution, IntegerTrail *integer_trail, CutData *result)
std::vector< std::pair< glop::ColIndex, IntegerValue > > GetTerms ()
IntegerValue operator[] (glop::ColIndex col) const
bool IsSparse () const

Member Function Documentation

◆ Add()

bool operations_research::sat::ScatteredIntegerVector::Add ( glop::ColIndex col,
IntegerValue value )

Definition at line 99 of file linear_programming_constraint.cc.

◆ AddLinearExpressionMultiple()

template<bool check_overflow>
template bool operations_research::sat::ScatteredIntegerVector::AddLinearExpressionMultiple< false > ( IntegerValue multiplier,
absl::Span< const glop::ColIndex > cols,
absl::Span< const IntegerValue > coeffs,
IntegerValue max_coeff_magnitude )

Definition at line 113 of file linear_programming_constraint.cc.

◆ ClearAndResize()

void operations_research::sat::ScatteredIntegerVector::ClearAndResize ( int size)

Definition at line 82 of file linear_programming_constraint.cc.

◆ ConvertToCutData()

void operations_research::sat::ScatteredIntegerVector::ConvertToCutData ( absl::int128 rhs,
absl::Span< const IntegerVariable > integer_variables,
absl::Span< const double > lp_solution,
IntegerTrail * integer_trail,
CutData * result )

Definition at line 231 of file linear_programming_constraint.cc.

◆ ConvertToLinearConstraint()

LinearConstraint operations_research::sat::ScatteredIntegerVector::ConvertToLinearConstraint ( absl::Span< const IntegerVariable > integer_variables,
IntegerValue upper_bound,
std::optional< std::pair< IntegerVariable, IntegerValue > > extra_term = std::nullopt )

Definition at line 172 of file linear_programming_constraint.cc.

◆ GetTerms()

std::vector< std::pair< glop::ColIndex, IntegerValue > > operations_research::sat::ScatteredIntegerVector::GetTerms ( )

Definition at line 261 of file linear_programming_constraint.cc.

◆ IsSparse()

bool operations_research::sat::ScatteredIntegerVector::IsSparse ( ) const
inline

Definition at line 104 of file linear_programming_constraint.h.

◆ operator[]()

IntegerValue operations_research::sat::ScatteredIntegerVector::operator[] ( glop::ColIndex col) const
inline

Definition at line 100 of file linear_programming_constraint.h.

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