equal
deleted
inserted
replaced
7 import java.rmi.RemoteException; |
7 import java.rmi.RemoteException; |
8 import java.util.Vector; |
8 import java.util.Vector; |
9 |
9 |
10 import isac.bridge.CalcTree; |
10 import isac.bridge.CalcTree; |
11 import isac.util.Formalization; |
11 import isac.util.Formalization; |
|
12 import isac.util.NotInSpecificationPhaseException; |
12 import isac.util.formulae.*; |
13 import isac.util.formulae.*; |
13 import isac.util.tactics.*; |
14 import isac.util.tactics.*; |
14 |
15 |
15 /** |
16 /** |
16 * Interface to be used to communicate in the direction towards the Math Engine. |
17 * Interface to be used to communicate in the direction towards the Math Engine. |
292 */ |
293 */ |
293 public Vector getElementsFromTo(ICalcIterator iterator_from, |
294 public Vector getElementsFromTo(ICalcIterator iterator_from, |
294 ICalcIterator iterator_to, Integer level, |
295 ICalcIterator iterator_to, Integer level, |
295 boolean result_includes_tactics) throws RemoteException; |
296 boolean result_includes_tactics) throws RemoteException; |
296 |
297 |
|
298 /** |
|
299 * Match a given problem for this CalcTree |
|
300 * |
|
301 * @param problemID |
|
302 * @param CalcHead FIXXXME.WN050610 drop !!! |
|
303 * |
|
304 * @return CalcHead, if the operation was successful, else null |
|
305 * ... replaced by ref-arg to be used instead |
|
306 */ |
|
307 public void tryMatch(CalcHead calcHead, CalcHeadCompoundID problemID) |
|
308 throws NotInSpecificationPhaseException; |
|
309 |
297 } |
310 } |