search.cc File Reference

Go to the source code of this file.

Classes
class	SymmetryManager

Namespaces
	operations_research
	Collection of objects used to extend the Constraint Solver library.

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_t, 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_t	,
		cp_large_domain_no_splitting_limit	,
		0xFFFFF	,
		"Size limit to allow holes in variables from the strategy."
	)

Variable Documentation

assignment_penalized_value_

int64_t assignment_penalized_value_

protected

Definition at line 3678 of file search.cc.

best_

int64_t best_

Definition at line 2593 of file search.cc.

builders_

std::vector<DecisionBuilder*> builders_

protected

Definition at line 496 of file search.cc.

current_

int64_t current_

protected

Definition at line 3070 of file search.cc.

evaluator_

std::function<int64_t(int64_t, int64_t)> evaluator_

protected

Definition at line 1384 of file search.cc.

first_unbound_

Rev<int64_t> first_unbound_

protected

Definition at line 807 of file search.cc.

incremental_

bool incremental_

protected

Definition at line 3685 of file search.cc.

last_unbound_

Rev<int64_t> last_unbound_

protected

Definition at line 808 of file search.cc.

maximize_

const bool maximize_

Definition at line 2592 of file search.cc.

mode_

const Mode mode_

protected

Definition at line 1933 of file search.cc.

num_vars_

const int num_vars_

protected

Definition at line 3680 of file search.cc.

objective_

IntVar* const objective_

protected

Definition at line 3068 of file search.cc.

old_penalized_value_

int64_t old_penalized_value_

protected

Definition at line 3679 of file search.cc.

penalized_objective_

IntVar* penalized_objective_

protected

Definition at line 3676 of file search.cc.

penalized_values_

DirtyArray<int64_t> penalized_values_

protected

Definition at line 3684 of file search.cc.

penalty_factor_

const double penalty_factor_

protected

Definition at line 3682 of file search.cc.

reset_penalties_on_new_best_solution_

const bool reset_penalties_on_new_best_solution_

protected

Definition at line 3686 of file search.cc.

selector_

BaseVariableAssignmentSelector* const selector_

protected

Definition at line 1932 of file search.cc.

solution_count_

const int solution_count_

Definition at line 2680 of file search.cc.

solutions_pq_

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

Definition at line 2679 of file search.cc.

solver_

Solver* const solver_

protected

Definition at line 805 of file search.cc.

stamp

const int64_t stamp

Definition at line 3165 of file search.cc.

step_

const int64_t step_

protected

Definition at line 3069 of file search.cc.

value

int64_t value

Definition at line 1377 of file search.cc.

var

int64_t var

Definition at line 1376 of file search.cc.

var_index_to_local_index_

std::vector<int> var_index_to_local_index_

protected

Definition at line 3681 of file search.cc.

vars_

const std::vector<IntVar*> vars_

protected

Definition at line 806 of file search.cc.