Function subsumesME

gecode/set/rel/common.hpp:67–71

  }

  forceinline bool
  subsumesME(ModEvent me0, ModEvent me1, ModEvent me2, ModEvent me) {
    ModEvent cme = SetVarImp::me_combine(me0,SetVarImp::me_combine(me1, me2));
    return SetVarImp::me_combine(cme, me)==cme;
  }
  forceinline bool
  subsumesME(ModEvent me0, ModEvent me1, ModEvent me) {
    ModEvent cme = SetVarImp::me_combine(me0, me1);