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

Detailed Description

Definition at line 58 of file linear_propagation.h.

#include <linear_propagation.h>

Public Member Functions

 ConstraintPropagationOrder (ModelRandomGenerator *random, TimeLimit *time_limit, std::function< absl::Span< const IntegerVariable >(int)> id_to_vars)
void Resize (int num_vars, int num_ids)
void Register (int id, IntegerVariable var, IntegerValue lb)
void Clear ()
int NextId ()
void UpdateBound (IntegerVariable var, IntegerValue lb)
bool IsEmpty () const
bool VarShouldBePushedById (IntegerVariable var, int id)

Public Attributes

ModelRandomGenerator * random_
TimeLimit * time_limit_
std::function< absl::Span< const IntegerVariable >(int)> id_to_vars_func_
Bitset64< IntegerVariable > var_has_entry_
util_intops::StrongVector< IntegerVariable, int > var_to_id_
util_intops::StrongVector< IntegerVariable, IntegerValue > var_to_lb_
util_intops::StrongVector< IntegerVariable, int > var_to_pos_
std::vector< IntegerVariable > to_clear_
int start_ = 0
Bitset64< int > in_ids_
std::deque< int > ids_

Constructor & Destructor Documentation

◆ ConstraintPropagationOrder()

operations_research::sat::ConstraintPropagationOrder::ConstraintPropagationOrder ( ModelRandomGenerator * random,
TimeLimit * time_limit,
std::function< absl::Span< const IntegerVariable >(int)> id_to_vars )
inline

Definition at line 60 of file linear_propagation.h.

Member Function Documentation

◆ Clear()

void operations_research::sat::ConstraintPropagationOrder::Clear ( )
inline

Definition at line 96 of file linear_propagation.h.

◆ IsEmpty()

bool operations_research::sat::ConstraintPropagationOrder::IsEmpty ( ) const
inline

Definition at line 199 of file linear_propagation.h.

◆ NextId()

int operations_research::sat::ConstraintPropagationOrder::NextId ( )
inline

Definition at line 114 of file linear_propagation.h.

◆ Register()

void operations_research::sat::ConstraintPropagationOrder::Register ( int id,
IntegerVariable var,
IntegerValue lb )
inline

Definition at line 76 of file linear_propagation.h.

◆ Resize()

void operations_research::sat::ConstraintPropagationOrder::Resize ( int num_vars,
int num_ids )
inline

Definition at line 67 of file linear_propagation.h.

◆ UpdateBound()

void operations_research::sat::ConstraintPropagationOrder::UpdateBound ( IntegerVariable var,
IntegerValue lb )
inline

Definition at line 188 of file linear_propagation.h.

◆ VarShouldBePushedById()

bool operations_research::sat::ConstraintPropagationOrder::VarShouldBePushedById ( IntegerVariable var,
int id )
inline

Definition at line 201 of file linear_propagation.h.

Member Data Documentation

◆ id_to_vars_func_

std::function<absl::Span<const IntegerVariable>(int)> operations_research::sat::ConstraintPropagationOrder::id_to_vars_func_

Definition at line 210 of file linear_propagation.h.

◆ ids_

std::deque<int> operations_research::sat::ConstraintPropagationOrder::ids_

Definition at line 223 of file linear_propagation.h.

◆ in_ids_

Bitset64<int> operations_research::sat::ConstraintPropagationOrder::in_ids_

Definition at line 222 of file linear_propagation.h.

◆ random_

ModelRandomGenerator* operations_research::sat::ConstraintPropagationOrder::random_

Definition at line 208 of file linear_propagation.h.

◆ start_

int operations_research::sat::ConstraintPropagationOrder::start_ = 0

Definition at line 221 of file linear_propagation.h.

◆ time_limit_

TimeLimit* operations_research::sat::ConstraintPropagationOrder::time_limit_

Definition at line 209 of file linear_propagation.h.

◆ to_clear_

std::vector<IntegerVariable> operations_research::sat::ConstraintPropagationOrder::to_clear_

Definition at line 218 of file linear_propagation.h.

◆ var_has_entry_

Bitset64<IntegerVariable> operations_research::sat::ConstraintPropagationOrder::var_has_entry_

Definition at line 214 of file linear_propagation.h.

◆ var_to_id_

util_intops::StrongVector<IntegerVariable, int> operations_research::sat::ConstraintPropagationOrder::var_to_id_

Definition at line 215 of file linear_propagation.h.

◆ var_to_lb_

util_intops::StrongVector<IntegerVariable, IntegerValue> operations_research::sat::ConstraintPropagationOrder::var_to_lb_

Definition at line 216 of file linear_propagation.h.

◆ var_to_pos_

util_intops::StrongVector<IntegerVariable, int> operations_research::sat::ConstraintPropagationOrder::var_to_pos_

Definition at line 217 of file linear_propagation.h.

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