def __init__(self, num_states):
StateSpace.__init__(self, num_states)
self._num_states = num_states
def __init__(self):
StateSpace.__init__(self)
def __init__(self, num_states):
StateSpace.__init__(self, num_states)
self._num_states = num_states
def __init__(self):
StateSpace.__init__(self)