search.cc File Reference

#include <algorithm>
#include <cstdint>
#include <functional>
#include <limits>
#include <list>
#include <memory>
#include <queue>
#include <random>
#include <string>
#include <tuple>
#include <utility>
#include <vector>
#include "absl/container/flat_hash_map.h"
#include "absl/flags/flag.h"
#include "absl/log/check.h"
#include "absl/random/distributions.h"
#include "absl/strings/str_cat.h"
#include "absl/strings/str_format.h"
#include "absl/strings/str_join.h"
#include "absl/strings/string_view.h"
#include "absl/time/time.h"
#include "ortools/base/bitmap.h"
#include "ortools/base/logging.h"
#include "ortools/base/mathutil.h"
#include "ortools/base/timer.h"
#include "ortools/base/types.h"
#include "ortools/constraint_solver/constraint_solver.h"
#include "ortools/constraint_solver/constraint_solveri.h"
#include "ortools/constraint_solver/search_limit.pb.h"
#include "ortools/util/bitset.h"
#include "ortools/util/saturated_arithmetic.h"
#include "ortools/util/string_array.h"

Go to the source code of this file.

Classes
class	operations_research::SymmetryManager
	-------— Symmetry Breaking -------— More...

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.

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	operations_research::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"	)

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

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 3847 of file search.cc.

builders_

std::vector<DecisionBuilder*> builders_

protected

Definition at line 533 of file search.cc.

evaluator_

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

protected

Definition at line 1418 of file search.cc.

first_unbound_

Rev<int64_t> first_unbound_

protected

Definition at line 844 of file search.cc.

incremental_

bool incremental_

protected

Definition at line 3854 of file search.cc.

last_unbound_

Rev<int64_t> last_unbound_

protected

Definition at line 845 of file search.cc.

mode_

const Mode mode_

protected

Definition at line 1965 of file search.cc.

num_vars_

const int num_vars_

protected

Definition at line 3849 of file search.cc.

old_penalized_value_

int64_t old_penalized_value_

protected

Definition at line 3848 of file search.cc.

penalized_objective_

IntVar* penalized_objective_

protected

Definition at line 3845 of file search.cc.

penalized_values_

DirtyArray<int64_t> penalized_values_

protected

Definition at line 3853 of file search.cc.

penalty_factor_

const double penalty_factor_

protected

Definition at line 3851 of file search.cc.

reset_penalties_on_new_best_solution_

const bool reset_penalties_on_new_best_solution_

protected

Definition at line 3855 of file search.cc.

selector_

BaseVariableAssignmentSelector* const selector_

protected

Definition at line 1964 of file search.cc.

solver_

Solver* const solver_

protected

Definition at line 842 of file search.cc.

stamp

int64_t stamp

Definition at line 3270 of file search.cc.

value

int64_t value

Definition at line 1411 of file search.cc.

var

int64_t var

Definition at line 1410 of file search.cc.

var_index

int var_index

Definition at line 3268 of file search.cc.

var_index_to_local_index_

std::vector<int> var_index_to_local_index_

protected

Definition at line 3850 of file search.cc.

vars_

const std::vector<IntVar*> vars_

protected

Definition at line 843 of file search.cc.