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