Function p_table_int_reif

gecode/flatzinc/registry.cpp:1276–1283

    }

    void
    p_table_int_reif(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,Reify(s.arg2BoolVar(ce[2]),RM_EQV),s.ann2ipl(ann));
    }

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