1.1 --- a/src/java/isac/util/interfaces/IToCalc.java	Wed Jun 08 17:37:21 2005 +0200
     1.2 +++ b/src/java/isac/util/interfaces/IToCalc.java	Tue Jun 14 17:22:50 2005 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  
     1.5  import isac.bridge.CalcTree;
     1.6  import isac.util.Formalization;
     1.7 +import isac.util.NotInSpecificationPhaseException;
     1.8  import isac.util.formulae.*;
     1.9  import isac.util.tactics.*;
    1.10  
    1.11 @@ -294,4 +295,16 @@
    1.12              ICalcIterator iterator_to, Integer level,
    1.13              boolean result_includes_tactics) throws RemoteException;
    1.14  
    1.15 +	/**
    1.16 +	 * Match a given problem for this CalcTree
    1.17 +	 * 
    1.18 +	 * @param problemID
    1.19 +	 * @param CalcHead FIXXXME.WN050610 drop !!!
    1.20 +	 * 
    1.21 +	 * @return CalcHead, if the operation was successful, else null
    1.22 +	 * ... replaced by ref-arg to be used instead
    1.23 +	 */
    1.24 +	public void tryMatch(CalcHead calcHead, CalcHeadCompoundID problemID)
    1.25 +			throws NotInSpecificationPhaseException;
    1.26 +
    1.27  }
    1.28 \ No newline at end of file