1.1 --- a/src/java/isac/bridge/MathEngine.java	Wed Jun 08 17:37:21 2005 +0200
     1.2 +++ b/src/java/isac/bridge/MathEngine.java	Tue Jun 14 17:22:50 2005 +0200
     1.3 @@ -175,51 +175,52 @@
     1.4  	 *      catch (RemoteException e) { e.printStackTrace(); } }
     1.5  	 */
     1.6  
     1.7 -	/**
     1.8 -	 * Refine a given problem for this CalcTree
     1.9 -	 * 
    1.10 -	 * @param problemID
    1.11 -	 * @return CalcHead, if the operation was successful, else null
    1.12 -	 */
    1.13 -	public void tryRefine(CalcHead calcHead, CalcHeadCompoundID problemID)
    1.14 -			throws NotInSpecificationPhaseException {
    1.15 -		CalcHead newCalcHead = null;
    1.16 -		try {
    1.17 -			//WN040924 newCalcHead =
    1.18 -			// bridgeRMI.tryRefine(calcHead.getCalcTreeID(), problemID);
    1.19 -			bridgeRMI.tryRefine(calcHead.getCalcTreeID(), problemID);
    1.20 -			if (newCalcHead == null) {
    1.21 -				throw new NotInSpecificationPhaseException();
    1.22 -			}
    1.23 -			calcHead.fillValuesfrom(newCalcHead);
    1.24 -		} catch (RemoteException e) {
    1.25 -			// TODO Auto-generated catch block
    1.26 -			e.printStackTrace();
    1.27 -		}
    1.28 -	}
    1.29 +//	/**
    1.30 +//	 * Refine a given problem for this CalcTree
    1.31 +//	 * 
    1.32 +//	 * @param problemID
    1.33 +//	 * @return CalcHead, if the operation was successful, else null
    1.34 +//	 */
    1.35 +//	public void tryRefine(CalcHead calcHead, CalcHeadCompoundID problemID)
    1.36 +//			throws NotInSpecificationPhaseException {
    1.37 +//		CalcHead newCalcHead = null;
    1.38 +//		try {
    1.39 +//			//WN040924 newCalcHead =
    1.40 +//			// bridgeRMI.tryRefine(calcHead.getCalcTreeID(), problemID);
    1.41 +//			bridgeRMI.tryRefine(calcHead.getCalcTreeID(), problemID);
    1.42 +//			if (newCalcHead == null) {
    1.43 +//				throw new NotInSpecificationPhaseException();
    1.44 +//			}
    1.45 +//			calcHead.fillValuesfrom(newCalcHead);
    1.46 +//		} catch (RemoteException e) {
    1.47 +//			// TODO Auto-generated catch block
    1.48 +//			e.printStackTrace();
    1.49 +//		}
    1.50 +//	}
    1.51  
    1.52 -	/**
    1.53 -	 * Match a given problem for this CalcTree
    1.54 -	 * 
    1.55 -	 * @param problemID
    1.56 -	 * @return CalcHead, if the operation was successful, else null
    1.57 -	 */
    1.58 -	public void tryMatch(CalcHead calcHead, CalcHeadCompoundID problemID)
    1.59 -			throws NotInSpecificationPhaseException {
    1.60 -		CalcHead newCalcHead = null;
    1.61 -		try {
    1.62 -			//WN040924 newCalcHead =
    1.63 -			// bridgeRMI.tryMatch(calcHead.getCalcTreeID(), problemID);
    1.64 -			bridgeRMI.tryMatch(calcHead.getCalcTreeID(), problemID);
    1.65 -			if (newCalcHead == null) {
    1.66 -				throw new NotInSpecificationPhaseException();
    1.67 -			}
    1.68 -			calcHead.fillValuesfrom(newCalcHead);
    1.69 -		} catch (RemoteException e) {
    1.70 -			// TODO Auto-generated catch block
    1.71 -			e.printStackTrace();
    1.72 -		}
    1.73 -	}
    1.74 +//WN050610 transferred toCalcTree
    1.75 +//	/**
    1.76 +//	 * Match a given problem for this CalcTree
    1.77 +//	 * 
    1.78 +//	 * @param problemID
    1.79 +//	 * @return CalcHead, if the operation was successful, else null
    1.80 +//	 */
    1.81 +//	public void tryMatch(CalcHead calcHead, CalcHeadCompoundID problemID)
    1.82 +//			throws NotInSpecificationPhaseException {
    1.83 +//		CalcHead newCalcHead = null;
    1.84 +//		try {
    1.85 +//			//WN040924 newCalcHead =
    1.86 +//			// bridgeRMI.tryMatch(calcHead.getCalcTreeID(), problemID);
    1.87 +//			bridgeRMI.tryMatch(calcHead.getCalcTreeID(), problemID);
    1.88 +//			if (newCalcHead == null) {
    1.89 +//				throw new NotInSpecificationPhaseException();
    1.90 +//			}
    1.91 +//			calcHead.fillValuesfrom(newCalcHead);
    1.92 +//		} catch (RemoteException e) {
    1.93 +//			// TODO Auto-generated catch block
    1.94 +//			e.printStackTrace();
    1.95 +//		}
    1.96 +//	}
    1.97  
    1.98  	// Delegated methods from CalcTree/Iterator
    1.99  	int setNextTactic(int id, Tactic tactic) throws RemoteException {