| 253 | Gecode::VarImp<Gecode::Int::IntVarImpConf>::schedule(home,p,me); |
| 254 | } |
| 255 | forceinline void |
| 256 | IntVarImpBase::reschedule(Gecode::Space& home, Gecode::Propagator& p, Gecode::PropCond pc, bool assigned) { |
| 257 | Gecode::VarImp<Gecode::Int::IntVarImpConf>::reschedule(home,p,pc,assigned,ME_INT_BND); |
| 258 | } |
| 259 | |
| 260 | forceinline Gecode::ModEvent |
| 261 | IntVarImpBase::notify(Gecode::Space& home, Gecode::ModEvent me, Gecode::Delta& d) { |
nothing calls this directly
no test coverage detected