Method getTesterDecl

src/api/java/Constructor.java:63–70

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

()

     * @throws Z3Exception on error
     **/
    public FuncDecl<BoolSort> getTesterDecl()
    {
        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(), tester.value);
    }

    /**
     * The function declarations of the accessors