/*

 * Created on Jun 25, 2004

 */

package isac.util.tactics;

/**

 * @author richard

 */

public class Rewrite extends Tactic {

    Theorem theorem_;

    public Rewrite() {

    }

    public String toSMLString() {

        return name_ + theorem_.toSMLString();

    }

    /**

     * @return

     */

    public Theorem getTheorem() {

        return theorem_;

    }

    /**

     * for use in

     * 

     * @see isac.util.parser.XMLParserDigest.java

     * @param theorem

     */

    public void setTheorem(Theorem theorem) {

        this.theorem_ = theorem;

    }

}