|
| Generated on: Thu Mar 29 07:46:58 PDT 2012 for custom file set | ||
|
||
| // doxy/ or-tools/ src/ constraint_solver/ |
#include <string.h>#include <algorithm>#include <string>#include <vector>#include "base/integral_types.h"#include "base/logging.h"#include "base/scoped_ptr.h"#include "base/stringprintf.h"#include "constraint_solver/constraint_solver.h"#include "constraint_solver/constraint_solveri.h"#include "util/string_array.h"Go to the source code of this file.
Namespaces | |
| namespace | operations_research |
Enumerations | |
| enum | BuildOp |
Functions | |
| void | operations_research::ScanArray (IntVar *const *vars, int size, int *bound, int64 *amin, int64 *amax, int64 *min_max, int64 *max_min) |
| Builders. | |
| IntExpr * | operations_research::BuildMinArray (Solver *const s, IntVar *const *vars, int size) |
| IntExpr * | operations_research::BuildMaxArray (Solver *const s, IntVar *const *vars, int size) |
| IntExpr * | operations_research::BuildLogSplitArray (Solver *const s, IntVar *const *vars, int size, BuildOp op) |
| IntExpr * | operations_research::BuildLogSplitArray (Solver *const s, const std::vector< IntVar * > &vars, BuildOp op) |
| bool | operations_research::AreAllBooleans (const IntVar *const *vars, int size) |
| template<class T> | |
| bool | operations_research::AreAllPositive (const T *const values, int size) |
| template<class T> | |
| bool | operations_research::AreAllNull (const T *const values, int size) |
| template<class T> | |
| bool | operations_research::AreAllBoundOrNull (const IntVar *const *vars, const T *const values, int size) |
| int64 | operations_research::SortBothChangeConstant (IntVar **const vars, int64 *const coefs, int *const size, bool keep_inside) |
| This method will sort both vars and coefficients in increasing coefficient order. | |
| template<class T> | |
| Constraint * | operations_research::MakeScalProdEqualityFct (Solver *const solver, IntVar *const *vars, int size, T const *coefficients, int64 cst) |
| template<class T> | |
| Constraint * | operations_research::MakeScalProdGreaterOrEqualFct (Solver *solver, IntVar *const *vars, int size, T const *coefficients, int64 cst) |
| template<class T> | |
| Constraint * | operations_research::MakeScalProdLessOrEqualFct (Solver *solver, IntVar *const *vars, int size, T const *coefficients, int64 upper_bound) |
| template<class T> | |
| IntExpr * | operations_research::MakeScalProdFct (Solver *solver, IntVar *const *vars, const T *const coefs, int size) |
| NumericalRev<int> active_vars_ |
Definition at line 1757 of file expr_array.cc.
| RevBitSet bits_ |
Definition at line 386 of file expr_array.cc.
| const int block_size_ |
Definition at line 204 of file expr_array.cc.
| int64 coef |
Definition at line 1900 of file expr_array.cc.
| scoped_array<int64> coefs_ |
Definition at line 2092 of file expr_array.cc.
| int64 constant_ |
Definition at line 2560 of file expr_array.cc.
| Rev<int> first_unbound_backward_ |
Definition at line 2094 of file expr_array.cc.
| RevSwitch inactive_ |
Definition at line 1485 of file expr_array.cc.
| RevSwitch inhibited_ |
Definition at line 387 of file expr_array.cc.
| Rev<int64> max_coefficient_ |
Definition at line 2096 of file expr_array.cc.
| Rev<int> max_support_ |
Definition at line 842 of file expr_array.cc.
| Rev<int> min_support_ |
Definition at line 604 of file expr_array.cc.
| Rev<int64> node_max |
Definition at line 200 of file expr_array.cc.
| Rev<int64> node_min |
Definition at line 199 of file expr_array.cc.
| NumericalRev<int> num_always_true_vars_ |
Definition at line 1890 of file expr_array.cc.
| NumericalRev<int> num_possible_true_vars_ |
Definition at line 1889 of file expr_array.cc.
| NodeInfo* root_node_ |
Definition at line 205 of file expr_array.cc.
| int size_ |
Definition at line 67 of file expr_array.cc.
| Demon* sum_demon_ |
Definition at line 358 of file expr_array.cc.
| Rev<int64> sum_of_all_variables_ |
Definition at line 2232 of file expr_array.cc.
| Rev<int64> sum_of_bound_variables_ |
Definition at line 2095 of file expr_array.cc.
| IntVar* const sum_var_ |
Definition at line 1891 of file expr_array.cc.
| std::vector<std::vector<NodeInfo> > tree_ |
Definition at line 203 of file expr_array.cc.
| int64 upper_bound_ |
Definition at line 2093 of file expr_array.cc.
| IntVar* var |
Definition at line 1899 of file expr_array.cc.
| scoped_array<IntVar*> vars_ |
Definition at line 66 of file expr_array.cc.