Record tell information. More...
Public Member Functions | |
TellCache (Region ®ion, int m) | |
Initialize cache for at most m values. More... | |
void | nq (int j) |
Record that view must be different from j. More... | |
void | eq (int j) |
Record that view must be equal to j, return false if not possible. More... | |
ExecStatus | tell (Space &home, IntView x) |
Perform tell to view x and reset cache. More... | |
Protected Attributes | |
int * | _nq |
Values (sorted) to be pruned from view. More... | |
int | _n_nq |
Number of values to be pruned. More... | |
int | _eq |
Value to which view should be assigned. More... | |
Record tell information.
Definition at line 58 of file propagate.cpp.
|
inline |
Initialize cache for at most m values.
Definition at line 78 of file propagate.cpp.
|
inline |
Record that view must be different from j.
Definition at line 81 of file propagate.cpp.
|
inline |
Record that view must be equal to j, return false if not possible.
Definition at line 85 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 93 of file propagate.cpp.
|
protected |
Values (sorted) to be pruned from view.
Definition at line 61 of file propagate.cpp.
|
protected |
Number of values to be pruned.
Definition at line 63 of file propagate.cpp.
|
protected |
Value to which view should be assigned.
Definition at line 65 of file propagate.cpp.