def __init__(self, player, threshold=None, options=None): """Initialize runtime.""" Runtime.__init__(self, player, threshold, options) self.threshold = self.num_players - 1 self.s = 1 self.d = 0 self.s_lambda = 1
def __init__(self, player, options): """Initialize runtime.""" Runtime.__init__(self, player, options)
def __init__(self, player, threshold, options=None): """Initialize runtime.""" Runtime.__init__(self, player, threshold, options)