Method subscribe

gecode/kernel/var-imp.hpp:242–245

    : Gecode::VarImp<Gecode::Int::IntVarImpConf>(home,x) {}

  forceinline void
  IntVarImpBase::subscribe(Gecode::Space& home, Gecode::Propagator& p, Gecode::PropCond pc, bool assigned, bool schedule) {
    Gecode::VarImp<Gecode::Int::IntVarImpConf>::subscribe(home,p,pc,assigned,ME_INT_BND,schedule);
  }
  forceinline void
  IntVarImpBase::subscribe(Gecode::Space& home, Gecode::Advisor& a, bool assigned, bool failed) {
    Gecode::VarImp<Gecode::Int::IntVarImpConf>::subscribe(home,a,assigned,failed);