V-Matrix → Terminal Summary Generation

Renders a VMatrix as a terminal summary with box-drawing characters and confidence bars.

def VerifiedMBSE.Output.confidenceBar (level : Float) : String

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) '░')

def VerifiedMBSE.Output.confidencePct (level : Float) : String

Percentage string.

Equations

• VerifiedMBSE.Output.confidencePct level = toString (level * 100.0).toUInt32.toNat ++ toString "%"

def VerifiedMBSE.Output.avgConfidence (col : Matrix.VColumn) : Float

Calculate the average confidence of a VColumn.

Equations

• One or more equations did not get rendered due to their size.

def VerifiedMBSE.Output.columnSummaryLine (col : Matrix.VColumn) : String

Summary line for a VColumn.

Equations

• One or more equations did not get rendered due to their size.

def VerifiedMBSE.Output.VMatrix.toTerminal (m : Matrix.VMatrix) (title : String := "Satellite") : String

Convert a VMatrix to a terminal summary string.

Equations

• One or more equations did not get rendered due to their size.