Closed communicating class (source code)

= Closed communicating class

A communicating class is closed when no transition from it can reach a state outside it.