Searched refs:renewkeys (Results 1 – 1 of 1) sorted by relevance
27 def __init__(self, inf, sup, seed=None, forever=1, renewkeys=0): argument29 self.renewkeys = renewkeys51 if self.turns == 0 or (self.i == 0 and self.renewkeys):