
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.