Checks whether the given control dependencies are exhaustive (i.e. if for every control dependency on a boolean, the list contains a dependency on the true and on the false case).
true
false
happensInEveryBranch - for the array-based version
Checks whether the given control dependencies are exhaustive (i.e. if for every control dependency on a boolean, the list contains a dependency on the
trueand on thefalsecase).