MCPcopy Create free account
hub / github.com/Gecode/gecode / atleast

Function atleast

gecode/minimodel/aliases.hpp:69–73  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

67 }
68
69 inline void
70 atleast(Home home, const IntVarArgs& x, int n, int m,
71 IntPropLevel ipl) {
72 count(home,x,n,IRT_GQ,m,ipl);
73 }
74 inline void
75 atleast(Home home, const IntVarArgs& x, IntVar y, int m,
76 IntPropLevel ipl) {

Callers 8

postMethod · 0.85
postMethod · 0.85
postMethod · 0.85
postMethod · 0.85
postMethod · 0.85
postMethod · 0.85
propagateMethod · 0.85
propagateMethod · 0.85

Calls 1

countFunction · 0.50

Tested by

no test coverage detected