INTERNAL: Do not use.
Provides classes and predicates relevant for splitting the control flow graph.
Provides a predicate for the successor relation with split information, as well as logic used to construct the type
The default C# CodeQL library.
A split for a control flow element. For example, a tag that determines how to continue execution after leaving a
A split kind. Each control flow node can have at most one split of a given kind.
A set of control flow node splits. The set is represented by a list of splits, ordered by ascending rank.