Method subscribe

gecode/int/var-imp/int.cpp:361–365

* Dependencies * */

   *
   */
  void
  IntVarImp::subscribe(Space& home, Propagator& p, PropCond pc,
                       bool schedule) {
    IntVarImpBase::subscribe(home,p,pc,dom.min()==dom.max(),schedule);
  }

  void
  IntVarImp::reschedule(Space& home, Propagator& p, PropCond pc) {