38 namespace Gecode {
namespace Int {
Duplicate of a Boolean view.
void update(Space &home, bool share, BoolTraceView x)
Update duplicate view during copying.
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.
static unsigned int slack(BoolView x)
Return slack of x.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
Gecode toplevel namespace
Boolean view for Boolean variables.