Lines Matching defs:cardinality
203 assert 0 <= N < self.cardinality
217 self.cardinality = len(self.types)
253 self.cardinality = 0
255 self.cardinality += num_combinations(len(self.values), num)
286 self.cardinality = self.typeGen.cardinality
299 self.cardinality = len(self.sizes)*self.typeGen.cardinality
302 S,T = getNthPairBounded(N, len(self.sizes), self.typeGen.cardinality)
313 self.cardinality = len(self.sizes)*self.typeGen.cardinality
316 S,T = getNthPairBounded(N, len(self.sizes), self.typeGen.cardinality)
330 self.cardinality = self.W * self.typeGen.cardinality
333 S,T = getNthPairBounded(N, self.W, self.typeGen.cardinality)
358 S = aleph0 * self.typeGen.cardinality
362 S += M * (self.typeGen.cardinality ** i)
363 self.cardinality = S
369 fields = map(self.typeGen.get,getNthTuple(I,self.maxSize,self.typeGen.cardinality))
382 S = aleph0 * self.typeGen.cardinality()
386 S += self.typeGen.cardinality ** i
390 S += self.typeGen.cardinality ** i
391 self.cardinality = S
396 argIndices = getNthTuple(N+1, self.maxSize+1, self.typeGen.cardinality)
401 argIndices = getNthTuple(N, self.maxSize, self.typeGen.cardinality)
419 self.bounds = [g.cardinality for g in self.generators]
421 cardinality = property(getCardinality, None)
434 raise RuntimeError,"Infinite loop in setting cardinality"
460 print 'Cardinality:',atg.cardinality
462 if i == atg.cardinality:
465 raise RuntimeError,"Cardinality was wrong"
