equal
deleted
inserted
replaced
94 |
94 |
95 // drop THIS one and setStatusString |
95 // drop THIS one and setStatusString |
96 |
96 |
97 /** |
97 /** |
98 * Format the object in a way that the bridge can handle it FIXME.WN041008 |
98 * Format the object in a way that the bridge can handle it FIXME.WN041008 |
99 * this is Formalization.toSMLString, _NOT_ CalcHead.toSMLString |
99 * this is Formalization.toSMLString, _NOT_ CalcHead.toSMLString !!! |
100 * !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! |
|
101 * |
100 * |
102 * @return SML representation |
101 * @return SML representation |
103 */ |
102 */ |
104 public String toSMLString() { |
103 public String toSMLString() { |
105 //this should go to Formalization???WN050420 dont understand |
104 //this should go to Formalization???WN050420 dont understand |