Next:Convertingpoly_ints, Previous:Alignment ofpoly_ints, Up:Sizes and offsets as runtime invariants [Contents][Index]
poly_ints ¶poly_int also provides routines for calculating lower and upper bounds:
Assert thata is nonnegative and return the smallest value it can have.
Return the least valuea can have, given that the context inwhicha appears guarantees that the answer is no less thanb.In other words, the caller is asserting thata is greater than orequal tob even if ‘known_ge (a,b)’ doesn’t hold.
Return the greatest valuea can have, given that the context inwhicha appears guarantees that the answer is no greater thanb.In other words, the caller is asserting thata is less than or equaltob even if ‘known_le (a,b)’ doesn’t hold.
Return a value that is always less than or equal to botha andb.It will be the greatest such value for some indeterminate valuesbut necessarily for all.
Return a value that is always greater than or equal to botha andb. It will be the least such value for some indeterminate valuesbut necessarily for all.