Method getRules

src/api/java/Fixedpoint.java:264–268

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

()

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

    /**
     * Retrieve set of assertions added to fixedpoint context.