Class Splitting::SplitKind

A split kind. Each control flow node can have at most one split of a given kind.

Direct supertypes

Known direct subtypes

    Predicates

    appliesTo

    Holds if some split of this kind applies to control flow element cfe.

    getASplit

    Gets a split of this kind.

    getListOrder

    Gets a unique integer representing this split kind. The integer is used to represent sets of splits as ordered lists.

    getListRank

    Gets the rank of this split kind among all the split kinds that apply to control flow element cfe. The rank is based on the order defined by getListOrder().

    isEnabled

    Holds if this split kind is enabled for control flow element cfe. For performance reasons, the number of splits is restricted by the maxSplits() predicate.

    toString

    Gets a textual representation of this split kind.