Method apply

src/api/java/Tactic.java:52–55

Execute the tactic over the goal. @throws Z3Exception

(Goal g)

     * @throws Z3Exception 
     **/
    public ApplyResult apply(Goal g)
    {    
        return apply(g, null);
    }

    /**
     * Execute the tactic over the goal.