/*

  * 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;

     }

 }