Function exactly

gecode/minimodel/aliases.hpp:100–104

  }

  inline void
  exactly(Home home, const IntVarArgs& x, int n, int m,
          IntPropLevel ipl) {
    count(home,x,n,IRT_EQ,m,ipl);
  }
  inline void
  exactly(Home home, const IntVarArgs& x, IntVar y, int m,
          IntPropLevel ipl) {