def __init__(self, state_word_len, variables): """ Initialize the internal helper class. """ self.state_word_len = state_word_len self.variables = variables variable_names = map(lambda i: 'S%d' % i, xrange(self.state_word_len)) variable_names += self.variables self.qm = QM(variable_names)