Generated on: Thu Mar 29 07:46:58 PDT 2012 for custom file set
// doxy/ or-tools/ src/ constraint_solver/

or-tools/src/constraint_solver/search.cc File Reference

#include <string.h>
#include <algorithm>
#include "base/hash.h"
#include <list>
#include <string>
#include <utility>
#include <vector>
#include "base/callback.h"
#include "base/casts.h"
#include "base/commandlineflags.h"
#include "base/integral_types.h"
#include "base/logging.h"
#include "base/macros.h"
#include "base/scoped_ptr.h"
#include "base/stringprintf.h"
#include "base/timer.h"
#include "base/join.h"
#include "base/bitmap.h"
#include "base/concise_iterator.h"
#include "base/map-util.h"
#include "base/stl_util.h"
#include "constraint_solver/constraint_solver.h"
#include "constraint_solver/constraint_solveri.h"
#include "constraint_solver/search_limit.pb.h"
#include "util/string_array.h"
#include "base/random.h"

Go to the source code of this file.

Namespaces

namespace  operations_research

Classes

class  operations_research::SymmetryManager
 Symmetry Breaking. More...

Typedefs

typedef std::pair< int64, int64 > operations_research::Arc
 Guided Local Search.

Functions

 DEFINE_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.
int64 operations_research::NextLuby (int i)
 Luby Strategy.


Function Documentation

DEFINE_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.


Variable Documentation

Assignment assignment_

Definition at line 2021 of file search.cc.

Definition at line 3180 of file search.cc.

int64 best_

Definition at line 2312 of file search.cc.

int64 branches_

Definition at line 3782 of file search.cc.

Definition at line 3783 of file search.cc.

std::vector<DecisionBuilder*> builders_

Definition at line 382 of file search.cc.

std::vector<Element> cache_

Definition at line 1121 of file search.cc.

int64 check_count_

Definition at line 3779 of file search.cc.

SolutionCollector* collector_

Definition at line 4283 of file search.cc.

Compare comp_

Definition at line 1329 of file search.cc.

If cumulative if false, then the limit applies to each search independently.

If it's true, the limit applies globally to all search for which this monitor is used. When cumulative is true, the offset fields have two different meanings depending on context:

  • within a search, it's an offset to be subtracted from the current value
  • outside of search, it's the amount consumed in previous searches

Definition at line 3795 of file search.cc.

int64 current_

Definition at line 2658 of file search.cc.

Definition at line 529 of file search.cc.

Definition at line 4404 of file search.cc.

scoped_array<int64> current_penalized_values_

Definition at line 3187 of file search.cc.

DecisionBuilder* const db_

Definition at line 2022 of file search.cc.

bool delete_

Definition at line 4086 of file search.cc.

scoped_array<int64> delta_cache_

Definition at line 3188 of file search.cc.

bool done_

Definition at line 2207 of file search.cc.

Definition at line 1331 of file search.cc.

scoped_array<Element> elements_

Definition at line 1330 of file search.cc.

scoped_ptr<ResultCallback2<int64, int64, int64> > eval_

Definition at line 1119 of file search.cc.

ResultCallback2<int64, int64, int64>* evaluator_

Definition at line 1206 of file search.cc.

int64 failures_

Definition at line 3784 of file search.cc.

Definition at line 3785 of file search.cc.

int first_

Definition at line 681 of file search.cc.

Definition at line 2746 of file search.cc.

Definition at line 2747 of file search.cc.

Definition at line 2750 of file search.cc.

const int frequency_

Definition at line 4437 of file search.cc.

Definition at line 3062 of file search.cc.

Definition at line 3189 of file search.cc.

hash_map<const IntVar*, int64> indices_

Definition at line 3184 of file search.cc.

int iter_

Definition at line 2025 of file search.cc.

Definition at line 2963 of file search.cc.

TabuList keep_tabu_list_

Definition at line 2744 of file search.cc.

int64 keep_tenure_

Definition at line 2745 of file search.cc.

int64 last_

Definition at line 2743 of file search.cc.

Definition at line 3778 of file search.cc.

SearchLimit* const limit_1_

Definition at line 4049 of file search.cc.

SearchLimit* const limit_2_

Definition at line 4050 of file search.cc.

ResultCallback<bool>* limiter_

Definition at line 4085 of file search.cc.

const bool maximize_

Definition at line 2311 of file search.cc.

std::vector<SearchMonitor*> monitors_

Definition at line 4158 of file search.cc.

int64 next_check_

Definition at line 3780 of file search.cc.

int64 next_step_

Definition at line 4405 of file search.cc.

IntVar* const objective_

Definition at line 2656 of file search.cc.

scoped_ptr<Solver::IndexEvaluator3> objective_function_

Definition at line 3425 of file search.cc.

Definition at line 3181 of file search.cc.

Bitmap penalized_

Definition at line 3108 of file search.cc.

Definition at line 3178 of file search.cc.

scoped_ptr<GuidedLocalSearchPenalties> penalties_

Definition at line 3061 of file search.cc.

const double penalty_factor_

Definition at line 3185 of file search.cc.

const string prefix_

Definition at line 360 of file search.cc.

ACMRandom rand_

Definition at line 2964 of file search.cc.

const int scale_factor_

Definition at line 4402 of file search.cc.

scoped_array<IntVar*> secondary_vars_

Definition at line 3523 of file search.cc.

BaseVariableAssignmentSelector* const selector_

Definition at line 1704 of file search.cc.

const int64 size_

Definition at line 660 of file search.cc.

Definition at line 3781 of file search.cc.

Assignment* const solution_

Definition at line 4279 of file search.cc.

int64 solutions_

Definition at line 3786 of file search.cc.

Definition at line 3787 of file search.cc.

int64 stamp_

Definition at line 2733 of file search.cc.

Definition at line 433 of file search.cc.

Definition at line 530 of file search.cc.

Definition at line 1489 of file search.cc.

const int64 step_

Definition at line 2657 of file search.cc.

scoped_array<IntVar*> sub_objectives_

Definition at line 2564 of file search.cc.

double tabu_factor_

Definition at line 2748 of file search.cc.

const int64 temperature0_

Definition at line 2962 of file search.cc.

scoped_ptr<ResultCallback1<int64, int64> > tie_breaker_

Definition at line 1120 of file search.cc.

TryDecisionBuilder* const try_builder_

Definition at line 515 of file search.cc.

TryDecision try_decision_

Definition at line 528 of file search.cc.

int64 value

Definition at line 1199 of file search.cc.

const int64 value_

Definition at line 1405 of file search.cc.

ValueSelector* const value_selector_

Definition at line 1169 of file search.cc.

scoped_array<int64> values_

Definition at line 1568 of file search.cc.

int var

Definition at line 1198 of file search.cc.

IntVar* const var_

Definition at line 1404 of file search.cc.

scoped_ptr<ResultCallback1<int64, int64> > var_evaluator_

Definition at line 884 of file search.cc.

VariableSelector* const var_selector_

Definition at line 1168 of file search.cc.

scoped_array<IntVar*> vars_

Definition at line 659 of file search.cc.

int64 wall_time_

Definition at line 3776 of file search.cc.

Definition at line 3777 of file search.cc.

scoped_array<int64> weights_

Definition at line 2565 of file search.cc.