| author | wneuper |
| Wed, 15 Jun 2005 18:31:02 +0200 | |
| branch | java_rename_format |
| changeset 3922 | fcd5648113ca |
| permissions | -rw-r--r-- |
1 /*
2 * Created on Jun 25, 2004
3 */
4 package isac.util.tactics;
6 /**
7 * @author richard
8 */
9 public class Rewrite extends Tactic {
11 Theorem theorem_;
13 public Rewrite() {
14 }
16 public String toSMLString() {
17 return name_ + theorem_.toSMLString();
18 }
20 /**
21 * @return
22 */
23 public Theorem getTheorem() {
24 return theorem_;
25 }
27 /**
28 * for use in
29 *
30 * @see isac.util.parser.XMLParserDigest.java
31 * @param theorem
32 */
33 public void setTheorem(Theorem theorem) {
34 this.theorem_ = theorem;
35 }
37 }