/*

  * Created on Jun 25, 2004

  */

 package isac.util.tactics;

 /**

  * @author richard

  */

 public class RewriteInst extends Tactic {

     String variable_, value_;

     Theorem theorem_;

     public RewriteInst() {

     }

     public String toSMLString() {

         return name_ + " ([\"(" + variable_ + "," + value_ + ")\"],"

                 + theorem_.toSMLString() + ")";

     }

     /**

      * @return

      */

     public String getValue() {

         return value_;

     }

     /**

      * @return

      */

     public String getVariable() {

         return variable_;

     }

     /**

      * @param string

      */

     public void setValue(String string) {

         value_ = string;

     }

     /**

      * @param string

      */

     public void setVariable(String string) {

         variable_ = string;

     }

     /**

      * @return

      */

     public Theorem getTheorem() {

         return theorem_;

     }

     /**

      * @param theorem

      */

     public void setTheorem(Theorem theorem) {

         this.theorem_ = theorem;

     }

 }