/*

 * 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_ + "\"";

    }

}