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