OR-Tools  8.1
search.cc File Reference

Go to the source code of this file.

Classes

class  SymmetryManager
 

Namespaces

 operations_research
 The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
 

Typedefs

typedef std::pair< int64, int64Arc
 

Functions

 ABSL_FLAG (bool, cp_use_sparse_gls_penalties, false, "Use sparse implementation to store Guided Local Search penalties")
 
 ABSL_FLAG (bool, cp_log_to_vlog, false, "Whether search related logging should be " "vlog or info.")
 
 ABSL_FLAG (int64, cp_large_domain_no_splitting_limit, 0xFFFFF, "Size limit to allow holes in variables from the strategy.")
 
BaseAssignVariables::Mode ChooseMode (Solver::IntValueStrategy val_str)
 

Function Documentation

◆ ABSL_FLAG() [1/3]

ABSL_FLAG ( bool  ,
cp_log_to_vlog  ,
false  ,
"Whether search related logging should be " "vlog or info."   
)

◆ ABSL_FLAG() [2/3]

ABSL_FLAG ( bool  ,
cp_use_sparse_gls_penalties  ,
false  ,
"Use sparse implementation to store Guided Local Search penalties"   
)

◆ ABSL_FLAG() [3/3]

ABSL_FLAG ( int64  ,
cp_large_domain_no_splitting_limit  ,
0xFFFFF  ,
"Size limit to allow holes in variables from the strategy."   
)

Variable Documentation

◆ assignment_penalized_value_

int64 assignment_penalized_value_
protected

Definition at line 3489 of file search.cc.

◆ best_

int64 best_

Definition at line 2500 of file search.cc.

◆ builders_

std::vector<DecisionBuilder*> builders_
protected

Definition at line 476 of file search.cc.

◆ current_

int64 current_
protected

Definition at line 2953 of file search.cc.

◆ current_penalized_values_

std::unique_ptr<int64[]> current_penalized_values_
protected

Definition at line 3495 of file search.cc.

◆ delta_cache_

std::unique_ptr<int64[]> delta_cache_
protected

Definition at line 3496 of file search.cc.

◆ evaluator_

std::function<int64(int64, int64)> evaluator_
protected

Definition at line 1361 of file search.cc.

◆ first_unbound_

Rev<int64> first_unbound_
protected

Definition at line 787 of file search.cc.

◆ incremental_

bool incremental_
protected

Definition at line 3497 of file search.cc.

◆ indices_

absl::flat_hash_map<const IntVar*, int64> indices_
protected

Definition at line 3492 of file search.cc.

◆ last_unbound_

Rev<int64> last_unbound_
protected

Definition at line 788 of file search.cc.

◆ maximize_

const bool maximize_

Definition at line 2499 of file search.cc.

◆ mode_

const Mode mode_
protected

Definition at line 1857 of file search.cc.

◆ objective_

IntVar* const objective_
protected

Definition at line 2951 of file search.cc.

◆ old_penalized_value_

int64 old_penalized_value_
protected

Definition at line 3490 of file search.cc.

◆ penalized_objective_

IntVar* penalized_objective_
protected

Definition at line 3487 of file search.cc.

◆ penalty_factor_

const double penalty_factor_
protected

Definition at line 3493 of file search.cc.

◆ selector_

BaseVariableAssignmentSelector* const selector_
protected

Definition at line 1856 of file search.cc.

◆ solution_count_

const int solution_count_

Definition at line 2578 of file search.cc.

◆ solutions_pq_

std::priority_queue<std::pair<int64, SolutionData> > solutions_pq_

Definition at line 2577 of file search.cc.

◆ solver_

Solver* const solver_
protected

Definition at line 785 of file search.cc.

◆ stamp_

int64 stamp_

Definition at line 3039 of file search.cc.

◆ step_

const int64 step_
protected

Definition at line 2952 of file search.cc.

◆ value

int64 value

Definition at line 1354 of file search.cc.

◆ var

int64 var

Definition at line 1353 of file search.cc.

◆ vars_

const std::vector<IntVar*> vars_
protected

Definition at line 786 of file search.cc.