| 36 | namespace Gecode { |
| 37 | |
| 38 | inline void |
| 39 | atmost(Home home, const IntVarArgs& x, int n, int m, |
| 40 | IntPropLevel ipl) { |
| 41 | count(home,x,n,IRT_LQ,m,ipl); |
| 42 | } |
| 43 | inline void |
| 44 | atmost(Home home, const IntVarArgs& x, IntVar y, int m, |
| 45 | IntPropLevel ipl) { |