Returns the unmodifiable (read-only) set of states that follow this state if we transition along an event. @param event @return
(TxnEType event)
source not stored for this graph (policy: none)