1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/RewriteInst.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,64 @@
     1.4 +/*
     1.5 + * Created on Jun 25, 2004
     1.6 + */
     1.7 +package isac.util.tactics;
     1.8 +
     1.9 +/**
    1.10 + * @author richard
    1.11 + */
    1.12 +public class RewriteInst extends Tactic {
    1.13 +    String variable_, value_;
    1.14 +
    1.15 +    Theorem theorem_;
    1.16 +
    1.17 +    public RewriteInst() {
    1.18 +    }
    1.19 +
    1.20 +    public String toSMLString() {
    1.21 +        return name_ + " ([\"(" + variable_ + "," + value_ + ")\"],"
    1.22 +                + theorem_.toSMLString() + ")";
    1.23 +    }
    1.24 +
    1.25 +    /**
    1.26 +     * @return
    1.27 +     */
    1.28 +    public String getValue() {
    1.29 +        return value_;
    1.30 +    }
    1.31 +
    1.32 +    /**
    1.33 +     * @return
    1.34 +     */
    1.35 +    public String getVariable() {
    1.36 +        return variable_;
    1.37 +    }
    1.38 +
    1.39 +    /**
    1.40 +     * @param string
    1.41 +     */
    1.42 +    public void setValue(String string) {
    1.43 +        value_ = string;
    1.44 +    }
    1.45 +
    1.46 +    /**
    1.47 +     * @param string
    1.48 +     */
    1.49 +    public void setVariable(String string) {
    1.50 +        variable_ = string;
    1.51 +    }
    1.52 +
    1.53 +    /**
    1.54 +     * @return
    1.55 +     */
    1.56 +    public Theorem getTheorem() {
    1.57 +        return theorem_;
    1.58 +    }
    1.59 +
    1.60 +    /**
    1.61 +     * @param theorem
    1.62 +     */
    1.63 +    public void setTheorem(Theorem theorem) {
    1.64 +        this.theorem_ = theorem;
    1.65 +    }
    1.66 +
    1.67 +}
    1.68 \ No newline at end of file