Closed alexzucca90 closed 1 month ago
No, because it's instead reported by the DisjointList
(via inheritance from ArraySymbol
. And, due to the way that it's stored under the hood that count is accurate.
It's an implementation detail that the state is managed by DisjointLists
rather than the successors.
This should be different than 0.