/*

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

    }

}