34 namespace Gecode {
namespace Int {
Duplicate of a Boolean view.
BoolTraceView(void)
Default constructor (initializes with no view)
void prune(Space &home, BoolView y, const Delta &d)
Update duplicated view from view y and modification delta d.
void update(Space &home, BoolTraceView x)
Update duplicate view during copying.
static unsigned int slack(BoolView x)
Return slack of x.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
Post propagator for SetVar x
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
Gecode toplevel namespace
Boolean view for Boolean variables.