Function p_cumulative_opt

gecode/flatzinc/registry.cpp:1321–1330

    }

    void p_cumulative_opt(FlatZincSpace& s, const ConExpr& ce,
                      AST::Node* ann) {
      IntVarArgs start = s.arg2intvarargs(ce[0]);
      IntArgs duration = s.arg2intargs(ce[1]);
      IntArgs height = s.arg2intargs(ce[2]);
      BoolVarArgs opt = s.arg2boolvarargs(ce[3]);
      int bound = ce[4]->getInt();
      unshare(s,start);
      cumulative(s,bound,start,duration,height,opt,s.ann2ipl(ann));
    }

    void p_cumulatives(FlatZincSpace& s, const ConExpr& ce,
                      AST::Node* ann) {