Function p_regular_set

gecode/flatzinc/registry.cpp:1209–1213

    }

    void p_regular_set(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
      p_regular(s, s.arg2intvarargs(ce[0]), ce[1]->getInt(), ce[2]->getInt(),
                ce[3]->getInt(), s.arg2intargs(ce[4]), ce[5]->getInt(),
                ce[6]->getSet(), ann);
    }
    
    void
    p_sort(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {