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)
