This class implements a partition graph. Nodes are Partition instances, which are sets of messages -- ( EventNode) -- and edges are not maintained explicitly, but generated on-the-fly by class Partition. PartitionGraphs can only be modified via the method apply which
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected