/*

  * Created on Oct 14, 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 RewriteSet extends Tactic {

     private String rule_set_;

     public RewriteSet() {

     }

     public RewriteSet(String name) {

         this.name_ = name;

     }

     public RewriteSet(String name, String ruleSet) {

         this.name_ = name;

         this.rule_set_ = ruleSet;

     }

     public String getName() {

         return name_;

     }

     public void setRuleSet(String ruleSet) {

         this.rule_set_ = ruleSet;

     }

     public String getRuleSet() {

         return this.rule_set_;

     }

     public String toSMLString() {

         return name_ + " \"" + rule_set_ + "\"";

     }

 }