code: def activations(self):
          
          activation = lib.EnvGetNextActivation(self._env, ffi.NULL)
  
          while activation != ffi.NULL:
              yield Activation(self._env, activation)
  
              activation = lib.EnvGetNextActivation(self._env, activation)
docs: Iterate over the Activations in the Agenda.