def activations(self):
activation = lib.EnvGetNextActivation(self._env, ffi.NULL)<EOL>while activation != ffi.NULL:<EOL><INDENT>yield Activation(self._env, activation)<EOL>activation = lib.EnvGetNextActivation(self._env, activation)<EOL><DEDENT>
Iterate over the Activations in the Agenda.