Home | History | Annotate | Download | only in ABITest

Lines Matching refs:bounds

60     # Gallop to find bounds for line
91 raise ValueError("Invalid bounds")
93 raise ValueError("Invalid input (out of bounds)")
109 # bounds than using divmod.
176 bounds = [maxElement**i for i in range(1, maxSize+1)]
177 S,M = getNthPairVariableBounds(N, bounds)
190 def getNthPairVariableBounds(N, bounds):
191 """getNthPairVariableBounds(N, bounds) -> (x, y)
193 Given a finite list of bounds (which may be finite or aleph0),
194 return the N-th pair such that 0 <= x < len(bounds) and 0 <= y <
195 bounds[x]."""
197 if not bounds:
198 raise ValueError("Invalid bounds")
199 if not (0 <= N < sum(bounds)):
200 raise ValueError("Invalid input (out of bounds)")
203 active = list(range(len(bounds)))
204 active.sort(key=lambda i: bounds[i])
207 level = bounds[index]
223 def getNthPairVariableBoundsChecked(N, bounds, GNVP=getNthPairVariableBounds):
224 x,y = GNVP(N,bounds)
225 assert 0 <= x < len(bounds) and 0 <= y < bounds[x]
252 bounds = [2,2,4,aleph0,5,aleph0]
255 for i in range(min(sum(bounds),40)):
256 x,y = getNthPairVariableBounds(i, bounds)