Method getNonUnits

src/api/java/Solver.java:362–366

Retrieve non-unit atomic formulas in the solver state. Remarks: This retrieves atomic formulas that are not units after a check call. @return An array of Boolean expressions representing the non-unit formulas @throws Z3Exception

()

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

    /**
     * Retrieve the solver decision trail.