Module BooleanSplitting
Import path
import semmle.code.csharp.controlflow.internal.SplittingPredicates
Classes
| BooleanSplit | 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. |