equal
deleted
inserted
replaced
|
1 /* |
|
2 * Created on Jun 25, 2004 |
|
3 */ |
|
4 package isac.util.tactics; |
|
5 |
|
6 import java.io.Serializable; |
|
7 |
|
8 /** |
|
9 * This is a helper class used by Rewrite Tactic and RewriteInst Tactic |
|
10 * |
|
11 * @author richard |
|
12 */ |
|
13 |
|
14 public class Theorem implements Serializable { |
|
15 String id_, formula_; |
|
16 |
|
17 //Theorem consist of the ID, and |
|
18 //the formula (still as a string -- waiting for MathML) |
|
19 |
|
20 /** |
|
21 * Format the class to a string which can be used as SML-Input |
|
22 * |
|
23 * @return |
|
24 */ |
|
25 public String toSMLString() { |
|
26 return "(\"" + id_ + "\",\"\")"; //formula may be empty at input |
|
27 } |
|
28 |
|
29 public String getFormula() { |
|
30 return formula_; |
|
31 } |
|
32 |
|
33 public String getId() { |
|
34 return id_; |
|
35 } |
|
36 |
|
37 public void setFormula(String string) { |
|
38 formula_ = string; |
|
39 } |
|
40 |
|
41 public void setId(String string) { |
|
42 id_ = string; |
|
43 } |
|
44 |
|
45 } |