Function linear

gecode/float/linear.cpp:40–51

namespace Gecode {

  void
  linear(Home home,
         const FloatVarArgs& x, FloatRelType frt, FloatVal c) {
    using namespace Float;
    GECODE_POST;
    Region re;
    Linear::Term* t = re.alloc<Linear::Term>(x.size());
    for (int i = x.size(); i--; ) {
      t[i].a=1.0; t[i].x=x[i];
    }
    Linear::post(home,t,x.size(),frt,c);
  }

  void
  linear(Home home,