
Support-based iterator for negative view. More...
#include <int-dom.hpp>
Public Member Functions | |
| bool | reset (Val &d) |
| Reset iterator to beginning and adjust. More... | |
| bool | adjust (Val &d) |
| Adjust. More... | |
Public Member Functions inherited from Gecode::Int::Linear::SupportIter< Val > | |
| void | init (Region &r, int a, const IntView &x, Val l, Val u) |
| Initialize view. More... | |
| void | support (void) |
| Record value at current position as supported. More... | |
| ModEvent | tell (Space &home) |
| Tell back new variable domain according to support found. More... | |
Additional Inherited Members | |
Protected Attributes inherited from Gecode::Int::Linear::SupportIter< Val > | |
| int | a |
| Integer coefficient for view. More... | |
| IntView | x |
| Integer view. More... | |
| SupportSet | s |
| Set of support for values in x. More... | |
| int | c |
| Current value. More... | |
| unsigned int | p |
| Position of current value. More... | |
| Val | l |
| Lower bound information for value. More... | |
| Val | u |
| Upper bound information for value. More... | |
Support-based iterator for negative view.
Definition at line 142 of file int-dom.hpp.
|
inline |
|
inline |