Generated on: Thu Mar 29 07:46:58 PDT 2012 for custom file set | ||
|
||
// doxy/ or-tools/ src/ constraint_solver/ |
#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. |
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.
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.
double current_log_space_ |
Definition at line 539 of file default_search.cc.
Rev<int64> current_value_ |
Definition at line 1104 of file default_search.cc.
Rev<int> current_var_index_ |
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_ |
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.
int64 maximum_restart_depth_ |
Definition at line 1115 of file default_search.cc.
double min_log_search_space_ |
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 |
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.
int split_index_ |
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.
int value_index_ |
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.
int var_index_ |
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.