Function p_int_div

gecode/flatzinc/registry.cpp:468–475

      pow(s, x0, ce[1]->getInt(), x2, s.ann2ipl(ann));
    }
    void p_int_div(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVar x0 = s.arg2IntVar(ce[0]);
      IntVar x1 = s.arg2IntVar(ce[1]);
      IntVar x2 = s.arg2IntVar(ce[2]);
      IntVarArgs x = {x0, x1, x2};
      unshare(s, x);
      div(s,x[0],x[1],x[2], s.ann2ipl(ann));
    }
    void p_int_mod(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVar x0 = s.arg2IntVar(ce[0]);
      IntVar x1 = s.arg2IntVar(ce[1]);