Implements a partition in a partition graph. Partitions are nodes, but they do not explicitly represent their edges. Instead, they know the EventNodes they contain, and generate the edges on the fly using existential abstraction. The class is complicated by the fact that in the state based view, eac
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected