Currently, we compute the interior, border edges and transitions separately. But since they both require iterating over all transitions leaving a state that belongs to the Scc, we could combine the two operations and compute both the interior and border sets at the same time.
Currently, we compute the interior, border edges and transitions separately. But since they both require iterating over all transitions leaving a state that belongs to the Scc, we could combine the two operations and compute both the interior and border sets at the same time.