/*

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

    }

}