Searched defs:LinBin (Results 1 – 2 of 2) sorted by relevance
/dports/math/gecode/gecode-0916a1a/gecode/int/linear/ | ||
H A D | int-bin.hpp | 42 LinBin<Val,A,B,pc>::LinBin(Home home, A y0, B y1, Val c0) in LinBin() function in Gecode::Int::Linear::LinBin |
/dports/math/gecode/gecode-0916a1a/gecode/int/ | ||
H A D | linear.hh | 65 class LinBin : public Propagator { class |