40 namespace Gecode {
namespace Int {
namespace Distinct {
79 return new (home)
Dom<View>(home,share,*
this);
89 return home.ES_SUBSUMED(*
this);
91 return home.ES_FIX_PARTIAL(*
this,View::med(
ME_INT_DOM));
92 es = prop_bnd<View>(home,x);
95 return home.ES_SUBSUMED(*
this);
96 es = prop_val<View,true>(home,x);
99 return home.ES_SUBSUMED(*
this);
100 return home.ES_FIX_PARTIAL(*
this,View::med(
ME_INT_DOM));
108 if (dc.available()) {