|
1 /* |
|
2 * Created on Sep 11, 2003 |
|
3 * |
|
4 * To change the template for this generated file go to |
|
5 * Window>Preferences>Java>Code Generation>Code and Comments |
|
6 */ |
|
7 package isac.util.tactics; |
|
8 |
|
9 import isac.util.formulae.CalcElement; |
|
10 import isac.util.formulae.CalcFormula; |
|
11 |
|
12 /** |
|
13 * @author Alan Krempler (method stubs) |
|
14 * |
|
15 */ |
|
16 public class Tactic extends CalcElement { |
|
17 |
|
18 protected String name_; |
|
19 |
|
20 public String getName() { |
|
21 return name_; |
|
22 } |
|
23 |
|
24 public void setName(String name) { |
|
25 this.name_ = name; |
|
26 } |
|
27 |
|
28 public String getDescription() { |
|
29 return ""; |
|
30 } |
|
31 |
|
32 //FIXME.WN0504 put down in inheritance (valid only for some tacs) |
|
33 public String getTheoremName() { |
|
34 return ""; |
|
35 } |
|
36 |
|
37 //FIXME.WN0504 put down in inheritance (valid only for some tacs) |
|
38 public String getTheoremDescription() { |
|
39 return ""; |
|
40 } |
|
41 |
|
42 //FIXME.WN0504 put down in inheritance (valid only for some tacs) |
|
43 public CalcFormula getTheoremSymbolic() { |
|
44 CalcFormula dummy; |
|
45 dummy = new CalcFormula(); |
|
46 return dummy; |
|
47 } |
|
48 |
|
49 //FIXME.WN0504 put down in inheritance (valid only for some tacs) |
|
50 public CalcFormula getTheoremInstantiated(CalcFormula formula) { |
|
51 CalcFormula dummy; |
|
52 dummy = new CalcFormula(); |
|
53 return dummy; |
|
54 } |
|
55 |
|
56 //FIXME.WN0504 put down in inheritance (valid only for some tacs) |
|
57 // itself and selected by passing an integer |
|
58 public CalcFormula makeFillFormula(CalcFormula formula, String pattern) { |
|
59 CalcFormula dummy; |
|
60 dummy = new CalcFormula(); |
|
61 return dummy; |
|
62 } |
|
63 |
|
64 /* |
|
65 * (non-Javadoc) |
|
66 * |
|
67 * @see isac.util.CalcElement#getText() |
|
68 */ |
|
69 public String toSMLString() { |
|
70 // TODO Auto-generated method stub |
|
71 return null; |
|
72 } |
|
73 |
|
74 /* |
|
75 * (non-Javadoc) |
|
76 * |
|
77 * @see isac.util.CalcElement#getMathML() |
|
78 */ |
|
79 public String getMathML() { |
|
80 // TODO Auto-generated method stub |
|
81 return null; |
|
82 } |
|
83 |
|
84 /* |
|
85 * (non-Javadoc) |
|
86 * |
|
87 * @see isac.util.CalcElement#getType() |
|
88 */ |
|
89 public int getType() { |
|
90 return CALCEL_TACTIC; |
|
91 } |
|
92 |
|
93 } |