Function p_int_pow

gecode/flatzinc/registry.cpp:463–467

      mult(s, x0, x1, x2, s.ann2ipl(ann));
    }
    void p_int_pow(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVar x0 = s.arg2IntVar(ce[0]);
      IntVar x2 = s.arg2IntVar(ce[2]);
      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]);