leaf-analysis/src/simulation/ModelSpec.java
/**
	 * Update the time point name when time points are being merged
	 * @param element the model element of the desired time point
	 * @param oldTP	the old time point value
	 * @param newTP the new time point value
	 * @return whether the function was able to find the old value and update it
	 */
Update the time point name when time points are being merged
@param element the model element of the desired time point
@param oldTP the old time point value
@param newTP the new time point value
@return whether the function was able to find the old value and update it
Update the time point name when time points are being merged @param element the model element of the desired time point @param oldTP the old time point value @param newTP the new time point value @return whether the function was able to find the old value and update it
private boolean updateRefTP(AbstractElement element, String oldTP, String newTP) {
		if (element instanceof Intention)
			return ((Intention) element).updateRealFuncSegTP(oldTP, newTP);
		else if (element instanceof AbstractElementLink) {
			((AbstractElementLink) element).updateLinkTP(newTP);
			return true;
		} else if (element instanceof NotBothLink) {
			((NotBothLink) element).updateLinkTP(newTP);
			return true;
		} else
			return false;	
	}
private boolean updateRefTP ( AbstractElement element , String oldTP , String newTP ) { if ( element instanceof Intention ) return ( ( Intention ) element ) . updateRealFuncSegTP ( oldTP , newTP ) ; else if ( element instanceof AbstractElementLink ) { ( ( AbstractElementLink ) element ) . updateLinkTP ( newTP ) ; return true ; } else if ( element instanceof NotBothLink ) { ( ( NotBothLink ) element ) . updateLinkTP ( newTP ) ; return true ; } else return false ; }
Update the time point name when time points are being merged
 @param element the model element of the desired time point
 @param oldTP the old time point value
 @param newTP the new time point value
 @return whether the function was able to find the old value and update it
Update the time point name when time points are being merged @param element the model element of the desired time point @param oldTP the old time point value @param newTP the new time point value @return whether the function was able to find the old value and update it