/// <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);
}
}