Function p_distinct

gecode/flatzinc/registry.cpp:77–82

  namespace {

    void p_distinct(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVarArgs va = s.arg2intvarargs(ce[0]);
      IntPropLevel ipl = s.ann2ipl(ann);
      unshare(s, va);
      distinct(s, va, ipl == IPL_DEF ? IPL_BND : ipl);
    }

    void p_distinctOffset(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      IntVarArgs va = s.arg2intvarargs(ce[1]);