![]() |
OR-Tools
8.2
|
Definition at line 53 of file encoding.h.
Public Member Functions | |
EncodingNode () | |
EncodingNode (Literal l) | |
void | InitializeFullNode (int n, EncodingNode *a, EncodingNode *b, SatSolver *solver) |
void | InitializeLazyNode (EncodingNode *a, EncodingNode *b, SatSolver *solver) |
Literal | GreaterThan (int i) const |
int | size () const |
Literal | literal (int i) const |
bool | operator< (const EncodingNode &other) const |
bool | IncreaseCurrentUB (SatSolver *solver) |
int | Reduce (const SatSolver &solver) |
void | ApplyUpperBound (int64 upper_bound, SatSolver *solver) |
void | set_weight (Coefficient w) |
Coefficient | weight () const |
int | depth () const |
int | lb () const |
int | current_ub () const |
int | ub () const |
EncodingNode * | child_a () const |
EncodingNode * | child_b () const |
|
inline |
Definition at line 55 of file encoding.h.
|
explicit |
Definition at line 26 of file encoding.cc.
Definition at line 97 of file encoding.cc.
|
inline |
Definition at line 112 of file encoding.h.
|
inline |
Definition at line 113 of file encoding.h.
|
inline |
Definition at line 110 of file encoding.h.
|
inline |
Definition at line 108 of file encoding.h.
|
inline |
Definition at line 74 of file encoding.h.
bool IncreaseCurrentUB | ( | SatSolver * | solver | ) |
Definition at line 71 of file encoding.cc.
void InitializeFullNode | ( | int | n, |
EncodingNode * | a, | ||
EncodingNode * | b, | ||
SatSolver * | solver | ||
) |
Definition at line 35 of file encoding.cc.
void InitializeLazyNode | ( | EncodingNode * | a, |
EncodingNode * | b, | ||
SatSolver * | solver | ||
) |
Definition at line 55 of file encoding.cc.
|
inline |
Definition at line 109 of file encoding.h.
|
inline |
Definition at line 78 of file encoding.h.
|
inline |
Definition at line 86 of file encoding.h.
int Reduce | ( | const SatSolver & | solver | ) |
Definition at line 81 of file encoding.cc.
|
inline |
Definition at line 105 of file encoding.h.
|
inline |
Definition at line 77 of file encoding.h.
|
inline |
Definition at line 111 of file encoding.h.
|
inline |
Definition at line 106 of file encoding.h.