/*

  * Created on Oct 10, 2003

  *

  * To change the template for this generated file go to

  * Window>Preferences>Java>Code Generation>Code and Comments

  */

 package isac.util.tactics;

 /**

  * @author rgradisc

  * 

  * To change the template for this generated type comment go to

  * Window>Preferences>Java>Code Generation>Code and Comments

  */

 public class RewriteSetInst extends Tactic {

     String rule_set_, variable_, value_;

     public RewriteSetInst() {

     }

     public RewriteSetInst(String name) {

         this.name_ = name;

     }

     public String getName() {

         return name_;

     }

     public String toSMLString() {

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

                 + rule_set_ + "\")";

     }

     /**

      * @return

      */

     public String getRuleSet() {

         return rule_set_;

     }

     /**

      * @return

      */

     public String getValue() {

         return value_;

     }

     /**

      * @return

      */

     public String getVariable() {

         return variable_;

     }

     /**

      * @param string

      */

     public void setRuleSet(String string) {

         rule_set_ = string;

     }

     /**

      * @param string

      */

     public void setValue(String string) {

         value_ = string;

     }

     /**

      * @param string

      */

     public void setVariable(String string) {

         variable_ = string;

     }

 }