Function p_table_int

gecode/flatzinc/registry.cpp:1267–1274

    }

    void
    p_table_int(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVarArgs x = s.arg2intvarargs(ce[0]);
      IntArgs tuples = s.arg2intargs(ce[1]);
      TupleSet ts = s.arg2tupleset(tuples,x.size());
      unshare(s,x);
      extensional(s,x,ts,s.ann2ipl(ann));
    }

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