search.cc File Reference

Go to the source code of this file.

Classes
class	SymmetryManager

Namespaces
namespace	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, int64 >	Arc

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.