Method mkTactic

src/api/java/Context.java:3104–3107

Creates a new Tactic.

(String name)

     * Creates a new Tactic.
     **/
    public Tactic mkTactic(String name)
    {
        return new Tactic(this, name);
    }

    /**
     * Create a tactic that applies {@code t1} to a Goal and then