Method getNumAssertions

src/api/java/Solver.java:211–215

The number of assertions in the solver. @throws Z3Exception

()

     * @throws Z3Exception
     **/
    public int getNumAssertions()
    {
        ASTVector assrts = new ASTVector(getContext(), Native.solverGetAssertions(getContext().nCtx(), getNativeObject()));
        return assrts.size();
    }

    /**
     * The set of asserted formulas.