Method getAssertions

src/api/java/Fixedpoint.java:275–279

Retrieve set of assertions added to fixedpoint context. @throws Z3Exception

()

     * @throws Z3Exception
     **/
    public BoolExpr[] getAssertions()
    {
        ASTVector v = new ASTVector(getContext(), Native.fixedpointGetAssertions(getContext().nCtx(), getNativeObject()));
        return v.ToBoolExprArray();
    }

    /**
     * Fixedpoint statistics.