34 namespace Gecode {
namespace Int {
View base(void) const
Return view from which this view is derived.
bool same(const CachedView< View > &x, const CachedView< View > &y)
BoolTest bool_test(const BoolView &b0, const BoolView &b1)
Same variable but complement.
Gecode toplevel namespace
Boolean view for Boolean variables.