Method mkConstructor

src/api/java/Context.java:355–360

Create a datatype constructor. @param name constructor name @param recognizer name of recognizer function. @param fieldNames names of the constructor fields. @param sorts field sorts, 0 if the field sort refers to a recursive sort. @param sortRefs reference to datatype sort that is an argument to th

(Symbol name, Symbol recognizer,
            Symbol[] fieldNames, Sort[] sorts, int[] sortRefs)

     * declared.
     **/
    public final <R> Constructor<R> mkConstructor(Symbol name, Symbol recognizer,
            Symbol[] fieldNames, Sort[] sorts, int[] sortRefs)

    {
        return of(this, name, recognizer, fieldNames, sorts, sortRefs);
    }

    /**
     * Create a datatype constructor.