Duplicate of a Boolean view.
void operator++(void)
Move iterator to next range (if possible)
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
int n
Number of negative literals for node type.
bool operator()(void) const
Test whether iterator is still at a range or done.
Generic domain change information to be supplied to advisors.
int min(void) const
Return smallest value of range.
Gecode toplevel namespace
BoolTraceDelta(Int::BoolTraceView o, Int::BoolView n, const Delta &d)
Initialize with old trace view o, new view n, and delta d.
int delta
Delta information.
int max(void) const
Return largest value of range.
Boolean view for Boolean variables.