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 this split kind is enabled for control flow element
Gets a textual representation of this split kind.