KSLCore
Toggle table of contents
R1.7
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
KSLCore
KSLCore
/
ksl.modeling.decision
/
UnitCoverage
/
UnitCoverage
Unit
Coverage
constructor
(
observationsDeclared
:
Int
,
observations
:
Int
,
leversDeclared
:
Int
,
levers
:
Int
,
constraintsChecked
:
Int
,
constraintsPartlyChecked
:
Int
,
constraints
:
Int
)
(
source
)