Functional coverage tree: Difference between revisions
Content added Content deleted
m (J: add some minor explanations) |
|||
Line 404: | Line 404: | ||
let go fraction node = |
let go fraction node = |
||
let forest = subForest node |
let forest = subForest node |
||
weights = (weight . rootLabel) <$> forest |
|||
weights = snd <$> cws |
|||
weightTotal = sum weights |
weightTotal = sum weights |
||
nodeRoot = rootLabel node |
nodeRoot = rootLabel node |