/// <summary> /// Checks whether the term includes integer constants /// </summary> /// <param name="termManager"></param> /// <param name="condition"></param> /// <returns></returns> private static bool IsInteger(TermManager termManager, Term condition) { //further processing is required only for integer types switch (termManager.GetLayoutKind(condition)) { case LayoutKind.I1: case LayoutKind.I2: case LayoutKind.I4: case LayoutKind.I8: return(true); default: return(false); } }