Module Splitting::BooleanSplitting

Classes

BooleanSplitImpl

A split for elements that can reach a condition where this split determines the Boolean value that the condition evaluates to. For example, in

BooleanSplitSubKind

A sub-classification of Boolean splits.

SsaBooleanSplitSubKind

A Boolean split that records the value of a Boolean SSA variable.