예제 #1
0
 bool DependsDirectlyOn(TP Xi, TP Xj)
 {
     if (Xj.Fixed)
     {
         return(false);
     }
     for (int k = 0; k < arguments.Count; k++)
     {
         if (InputTypes(arguments[k], parameterTypes[k]).Any(t => Xj.OccursIn(t)) &&
             OutputTypes(arguments[k], parameterTypes[k]).Any(t => Xi.OccursIn(t)))
         {
             return(true);
         }
     }
     return(false);
 }
예제 #2
0
		bool DependsDirectlyOn(TP Xi, TP Xj)
		{
			if (Xj.Fixed)
				return false;
			for (int k = 0; k < arguments.Count; k++) {
				if (InputTypes(arguments[k], parameterTypes[k]).Any(t => Xj.OccursIn(t))
				    && OutputTypes(arguments[k], parameterTypes[k]).Any(t => Xi.OccursIn(t)))
				{
					return true;
				}
			}
			return false;
		}