1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/java/isac/util/tactics/Rewrite.java	Wed Jun 15 18:31:02 2005 +0200
     1.3 @@ -0,0 +1,37 @@
     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 Rewrite extends Tactic {
    1.13 +
    1.14 +    Theorem theorem_;
    1.15 +
    1.16 +    public Rewrite() {
    1.17 +    }
    1.18 +
    1.19 +    public String toSMLString() {
    1.20 +        return name_ + theorem_.toSMLString();
    1.21 +    }
    1.22 +
    1.23 +    /**
    1.24 +     * @return
    1.25 +     */
    1.26 +    public Theorem getTheorem() {
    1.27 +        return theorem_;
    1.28 +    }
    1.29 +
    1.30 +    /**
    1.31 +     * for use in
    1.32 +     * 
    1.33 +     * @see isac.util.parser.XMLParserDigest.java
    1.34 +     * @param theorem
    1.35 +     */
    1.36 +    public void setTheorem(Theorem theorem) {
    1.37 +        this.theorem_ = theorem;
    1.38 +    }
    1.39 +
    1.40 +}
    1.41 \ No newline at end of file