34namespace Gecode {
namespace Int {
View base(void) const
Return view from which this view is derived.
Boolean view for Boolean variables.
BoolTest bool_test(const BoolView &b0, const BoolView &b1)
@ BT_COMP
Same variable but complement.
Gecode toplevel namespace