Method getTrail

src/api/java/Solver.java:377–381

Retrieve the solver decision trail. Remarks: This retrieves the trail of decisions made by the solver after a check call. The trail represents the sequence of Boolean literals (decisions and propagations) in the order they were assigned. @return An array of Boolean expressions representing

()

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

    /**
     * A brief justification of why the last call to {@code Check} returned