Record tell information. More...
Public Member Functions | |
TellCache (Region ®ion, int m) | |
Initialize cache for at most m values. | |
void | nq (int j) |
Record that view must be different from j. | |
void | eq (int j) |
Record that view must be equal to j, return false if not possible. | |
ExecStatus | tell (Space &home, IntView x) |
Perform tell to view x and reset cache. | |
Protected Attributes | |
int * | _nq |
Values (sorted) to be pruned from view. | |
int | _n_nq |
Number of values to be pruned. | |
int | _eq |
Value to which view should be assigned. | |
Record tell information.
Definition at line 60 of file propagate.cpp.
|
inline |
Initialize cache for at most m values.
Definition at line 80 of file propagate.cpp.
|
inline |
Record that view must be different from j.
Definition at line 83 of file propagate.cpp.
|
inline |
Record that view must be equal to j, return false if not possible.
Definition at line 87 of file propagate.cpp.
ExecStatus Gecode::Int::BinPacking::TellCache::tell | ( | Space & | home, |
IntView | x ) |
Perform tell to view x and reset cache.
Definition at line 95 of file propagate.cpp.
|
protected |
Values (sorted) to be pruned from view.
Definition at line 63 of file propagate.cpp.
|
protected |
Number of values to be pruned.
Definition at line 65 of file propagate.cpp.
|
protected |
Value to which view should be assigned.
Definition at line 67 of file propagate.cpp.