A split kind. Each control flow node can have at most one split of a given kind.
Known direct subtypes
Holds if some split of this kind applies to control flow element
Gets a split of this kind.
Gets a unique integer representing this split kind. The integer is used to represent sets of splits as ordered lists.
Gets the rank of this split kind among all the split kinds that apply to control flow element
Holds if a split of this kind is mandatory. That is, a split of this kind must be taken into account, regardless of whether we might exceed the maximum number of splits (
Gets a textual representation of this split kind.