Lines Matching full:variants
1896 // Signed variants on "max(a,b)>=a -> true".1965 // Unsigned variants on "max(a,b)>=a -> true".2035 // Variants on "max(x,y) >= min(x,z)".
