A set of conditions controlling whether it is possible to leave a state.