Home
last modified time | relevance | path

Searched refs:EqBin (Results 1 – 4 of 4) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/int/linear/
H A Dint-bin.hpp142 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()
H A Dint-nary.hpp312 return new (home) EqBin<Val,IntView,IntView> in eqtobin()
320 return new (home) EqBin<Val,IntView,IntView> in eqtobin()
328 return new (home) EqBin<Val,IntView,IntView> in eqtobin()
331 return new (home) EqBin<Val,IntView,MinusView> in eqtobin()
333 return new (home) EqBin<Val,IntView,IntView> in eqtobin()
H A Dint-post.cpp324 case IRT_EQ: GECODE_INT_PL_BIN(EqBin); break; in post()
/dports/math/gecode/gecode-0916a1a/gecode/int/
H A Dlinear.hh134 class EqBin : public LinBin<Val,A,B,PC_INT_BND> { class
141 EqBin(Space& home, EqBin& p);
143 EqBin(Home home, A x0, B x1, Val c);
146 EqBin(Space& home, Propagator& p, A x0, B x1, Val c);