Method simplify

src/api/java/Goal.java:183–192

Simplifies the goal. Remarks: Essentially invokes the `simplify' tactic on the goal.

()

     * on the goal.
     **/
    public Goal simplify()
    {
        Tactic t = getContext().mkTactic("simplify");
        ApplyResult res = t.apply(this);

        if (res.getNumSubgoals() == 0)
            throw new Z3Exception("No subgoals");
        else
            return res.getSubgoals()[0];
    }
    
    /**
     * Simplifies the goal.