V-Matrix → Terminal Summary Generation #
Renders a VMatrix as a terminal summary with box-drawing characters
and confidence bars.
Display confidence as a bar (20 characters wide).
Equations
- VerifiedMBSE.Output.confidenceBar level = String.ofList (List.replicate ((level * 20.0).toUInt32.toNat ⊓ 20) '█') ++ String.ofList (List.replicate (20 - (level * 20.0).toUInt32.toNat ⊓ 20) '░')
Instances For
Calculate the average confidence of a VColumn.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Summary line for a VColumn.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Convert a VMatrix to a terminal summary string.
Equations
- One or more equations did not get rendered due to their size.