Method ConstructorDecl

src/api/java/Constructor.java:49–56

The function declaration of the constructor. @throws Z3Exception @throws Z3Exception on error

()

     * @throws Z3Exception on error
     **/
    public FuncDecl<DatatypeSort<R>> ConstructorDecl()
    {
        Native.LongPtr constructor = new Native.LongPtr();
        Native.LongPtr tester = new Native.LongPtr();
        long[] accessors = new long[n];
        Native.queryConstructor(getContext().nCtx(), getNativeObject(), n, constructor, tester, accessors);
        return new FuncDecl<>(getContext(), constructor.value);
    }

    /**
     * The function declaration of the tester.