Class ControlFlow::Internal::BooleanSplitting::BooleanSplitSubKind

A sub-classification of Boolean splits.

Import path

import csharp

Direct supertypes

Known direct subtypes

    Predicates

    canReachCorrelatedCondition

    Holds if basic block bb can reach a condition correlated with a split of this kind.

    correlatesConditions

    Holds if the branch taken by condition cb1 should be recorded in this split, and the recorded value determines the branch taken by a later condition cb2, possibly inverted.

    getEnclosingCallable

    Gets the callable that this Boolean split kind belongs to.

    getLocation

    Gets the location of this Boolean split kind.

    startsSplit

    Holds if control flow element cfe starts a split of this kind.

    toString

    Gets a textual representation of this Boolean split kind.