Function linear

gecode/int/linear-int.cpp:40–51

  using namespace Int;

  void
  linear(Home home,
         const IntVarArgs& x, IntRelType irt, int c,
         IntPropLevel ipl) {
    GECODE_POST;
    Region re;
    Linear::Term<IntView>* t = re.alloc<Linear::Term<IntView>>(x.size());
    for (int i=0; i<x.size(); i++) {
      t[i].a=1; t[i].x=x[i];
    }
    Linear::post(home,t,x.size(),irt,c,ipl);
  }

  void
  linear(Home home,