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/default_search.cc File Reference

#include <stddef.h>
#include <string.h>
#include "base/hash.h"
#include <limits>
#include <string>
#include <vector>
#include "base/callback.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/stl_util.h"
#include "constraint_solver/constraint_solver.h"
#include "constraint_solver/constraint_solveri.h"
#include "util/cached_log.h"
#include "base/random.h"

Go to the source code of this file.

Namespaces

namespace  operations_research

Functions

 DEFINE_int32 (cp_impact_divider, 10,"Divider for continuous update.")
 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::ComputeBranchRestart (int64 log)
 ImpactDecisionBuilder.


Function Documentation

DEFINE_int32 ( cp_impact_divider  ,
10  ,
"Divider for continuous update."   
)

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

std::vector<int64> active_values_

Definition at line 172 of file default_search.cc.

Definition at line 1113 of file default_search.cc.

CachedLog cached_log_

Definition at line 76 of file default_search.cc.

scoped_ptr<ResultCallback1<bool, Solver*> > call_heuristics_

Definition at line 834 of file default_search.cc.

SimpleRevFIFO<ChoiceInfo> choices_

Definition at line 1111 of file default_search.cc.

Definition at line 539 of file default_search.cc.

Rev<int64> current_value_

Definition at line 1104 of file default_search.cc.

Definition at line 1103 of file default_search.cc.

ImpactDecisionBuilder* const db_

Definition at line 788 of file default_search.cc.

const DefaultPhaseParameters::DisplayLevel display_level_

Definition at line 546 of file default_search.cc.

scoped_array<IntVarIterator*> domain_iterators_

Definition at line 544 of file default_search.cc.

DomainWatcher domain_watcher_

Definition at line 536 of file default_search.cc.

uint64 fail_stamp_

Definition at line 1102 of file default_search.cc.

Definition at line 1109 of file default_search.cc.

SearchMonitor* heuristic_limit_

Definition at line 1106 of file default_search.cc.

std::vector<HeuristicWrapper*> heuristics_

Definition at line 1105 of file default_search.cc.

ImpactRecorder impact_recorder_

data members

Definition at line 1097 of file default_search.cc.

std::vector<std::vector<double> > impacts_

impacts_[i][j] stores the average search space reduction when assigning original_min_[i] + j to variable i.

Definition at line 542 of file default_search.cc.

int index_

Definition at line 595 of file default_search.cc.

int64 init_count_

Definition at line 545 of file default_search.cc.

bool init_done_

Definition at line 1101 of file default_search.cc.

IntVarIterator* iterator_

Definition at line 170 of file default_search.cc.

const double kFailureImpact [static]

Definition at line 300 of file default_search.cc.

const double kInitFailureImpact [static]

Definition at line 301 of file default_search.cc.

const int kLogCacheSize [static]

Definition at line 298 of file default_search.cc.

const double kPerfectImpact [static]

Definition at line 299 of file default_search.cc.

const uint64 kUninitializedFailStamp [static]

Definition at line 570 of file default_search.cc.

const int kUninitializedVarIndex [static]

Definition at line 569 of file default_search.cc.

bool left_

Definition at line 596 of file default_search.cc.

int64 max_value_

Definition at line 284 of file default_search.cc.

Definition at line 1115 of file default_search.cc.

Definition at line 1110 of file default_search.cc.

const int64 min_restart_period_

Definition at line 1114 of file default_search.cc.

int64 min_value_

Definition at line 283 of file default_search.cc.

const string name

A name for logging purposes.

Definition at line 808 of file default_search.cc.

bool new_start_

Definition at line 169 of file default_search.cc.

NoGoodManager* no_good_manager_

Definition at line 1112 of file default_search.cc.

std::vector<int64> original_min_

Definition at line 543 of file default_search.cc.

DefaultPhaseParameters parameters_

Definition at line 1100 of file default_search.cc.

DecisionBuilder* const phase

The decision builder we are going to use in this dive.

Definition at line 806 of file default_search.cc.

ACMRandom random_

Definition at line 1107 of file default_search.cc.

std::vector<int64> removed_values_

Definition at line 531 of file default_search.cc.

RunHeuristic runner_

Definition at line 1108 of file default_search.cc.

const int runs

How many times we will run this particular heuristic in case the parameter run_all_heuristics is true.

This is useful for random heuristics where it makes sense to run them more than once.

Definition at line 812 of file default_search.cc.

const int size_

Definition at line 75 of file default_search.cc.

Definition at line 286 of file default_search.cc.

const int split_size_

Definition at line 285 of file default_search.cc.

scoped_ptr<Callback2<int, int64> > update_impact_callback_

Definition at line 168 of file default_search.cc.

scoped_ptr<Closure> update_impact_closure_

Definition at line 163 of file default_search.cc.

AssignIntervalCallFail updater_

Definition at line 175 of file default_search.cc.

int64 value_

Definition at line 160 of file default_search.cc.

Definition at line 173 of file default_search.cc.

int64 value_max_

Definition at line 206 of file default_search.cc.

int64 value_min_

Definition at line 205 of file default_search.cc.

IntVar* var_

Public data for easy access.

Public for easy access.

Definition at line 159 of file default_search.cc.

Definition at line 171 of file default_search.cc.

scoped_array<IntVar*> vars_

Definition at line 74 of file default_search.cc.

InitVarImpactsWithSplits with_splits_

Definition at line 533 of file default_search.cc.

InitVarImpacts without_splits_

Definition at line 532 of file default_search.cc.