| H A D | int-bin.hpp | 373 GqBin<Val,A,B>::GqBin(Home home, A x0, B x1, Val c) in GqBin() function in Gecode::Int::Linear::GqBin
378 GqBin<Val,A,B>::post(Home home, A x0, B x1, Val c) { in post()
379 (void) new (home) GqBin<Val,A,B>(home,x0,x1,c); in post()
386 GqBin<Val,A,B>::GqBin(Space& home, GqBin<Val,A,B>& p) in GqBin() function in Gecode::Int::Linear::GqBin
391 GqBin<Val,A,B>::copy(Space& home) { in copy()
392 return new (home) GqBin<Val,A,B>(home,*this); in copy()
397 GqBin<Val,A,B>::GqBin(Space& home, Propagator& p, in GqBin() function in Gecode::Int::Linear::GqBin
403 GqBin<Val,A,B>::propagate(Space& home, const ModEventDelta&) { in propagate()
452 GECODE_REWRITE(*this,(GqBin<Val,A,B>::post(home(*this),x0,x1,c+1))); in propagate()
|