KSLCore/ksl.modeling.decision/UnitCoverage

UnitCoverage

data class UnitCoverage(val observationsDeclared: Int, val observations: Int, val leversDeclared: Int, val levers: Int, val constraintsChecked: Int, val constraintsPartlyChecked: Int, val constraints: Int)(source)

How much of a decision surface's units were declared, and how much of the checking that makes possible actually ran (§4.2.4, G.9 row 7).

unit is optional, so every check built on it is conditional on someone having declared one. That is a defensible design and an easy one to let rot: a surface where nothing declares a unit passes every unit check trivially, and looks identical in a green test run to one where every check fired. This type is what makes the difference visible, and it is the answer to D.10's objection that a field documenting an unenforced invariant is a fault — the invariant is enforced where it can be, and the coverage of that enforcement is reported rather than assumed.

Constructors

UnitCoverage

constructor(observationsDeclared: Int, observations: Int, leversDeclared: Int, levers: Int, constraintsChecked: Int, constraintsPartlyChecked: Int, constraints: Int)