Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR introduces "skip nodes". These are nodes that are not expanded, but instead "skip" the rest of the succession diagram and lead to some of the child spaces further down in the succession diagram (by default, these are minimal trap spaces). To preserve the correctness of other methods, it is required that each skip node still has successors that cover every minimal trap space relevant for that skip node (this is mainly to ensure that we don't detect the attractors in minimal trap spaces multiple times).
This makes it possible to stop the expansion at a particular SD size and run attractor detection that uses all available information, even if the SD is incomplete.