Lines Matching refs:maxSize
320 def __init__(self, typeGen, maxSize, useIncomplete=False, useZero=False):
325 self.maxSize = int(maxSize)
326 self.W = useIncomplete + useZero + self.maxSize
348 def __init__(self, typeGen, useUnion, maxSize):
352 self.maxSize = int(maxSize)
357 if self.maxSize is aleph0:
361 for i in range(self.maxSize+1):
369 fields = map(self.typeGen.get,getNthTuple(I,self.maxSize,self.typeGen.cardinality))
373 def __init__(self, typeGen, useReturn, maxSize):
377 self.maxSize = maxSize
381 if self.maxSize is aleph0:
385 for i in range(1,self.maxSize+1+1):
389 for i in range(self.maxSize+1):
396 argIndices = getNthTuple(N+1, self.maxSize+1, self.typeGen.cardinality)
401 argIndices = getNthTuple(N, self.maxSize, self.typeGen.cardinality)