reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
398 if (isFullSet() || Other.isEmptySet()) return true; 399 if (isEmptySet() || Other.isFullSet()) return false; 402 if (Other.isUpperWrapped()) 405 return Lower.ule(Other.getLower()) && Other.getUpper().ule(Upper); 405 return Lower.ule(Other.getLower()) && Other.getUpper().ule(Upper); 408 if (!Other.isUpperWrapped()) 409 return Other.getUpper().ule(Upper) || 410 Lower.ule(Other.getLower()); 412 return Other.getUpper().ule(Upper) && Lower.ule(Other.getLower()); 412 return Other.getUpper().ule(Upper) && Lower.ule(Other.getLower());