H A D | int-bin.hpp | 142 EqBin<Val,A,B>::EqBin(Home home, A x0, B x1, Val c) in EqBin() function in Gecode::Int::Linear::EqBin 147 EqBin<Val,A,B>::post(Home home, A x0, B x1, Val c) { in post() 148 (void) new (home) EqBin<Val,A,B>(home,x0,x1,c); in post() 155 EqBin<Val,A,B>::EqBin(Space& home, EqBin<Val,A,B>& p) in EqBin() function in Gecode::Int::Linear::EqBin 160 EqBin<Val,A,B>::EqBin(Space& home, Propagator& p, in EqBin() function in Gecode::Int::Linear::EqBin 166 EqBin<Val,A,B>::copy(Space& home) { in copy() 167 return new (home) EqBin<Val,A,B>(home,*this); in copy() 188 EqBin<Val,A,B>::propagate(Space& home, const ModEventDelta&) { in propagate() 246 GECODE_REWRITE(*this,(EqBin<Val,A,B>::post(home(*this),x0,x1,c))); in propagate()
|