Interface: CdlVerificationDto
@kortexya/reasoninglayer / CdlVerificationDto
Interface: CdlVerificationDto
Section titled “Interface: CdlVerificationDto”Defined in: src/types/cdl.ts:262
Post-adaptation verification result.
Properties
Section titled “Properties”constraintSatisfied
Section titled “constraintSatisfied”constraintSatisfied:
boolean
Defined in: src/types/cdl.ts:264
Whether the constraint is satisfied after adaptation.
maxViolation
Section titled “maxViolation”maxViolation:
number
Defined in: src/types/cdl.ts:266
Maximum violation magnitude.
sortCount
Section titled “sortCount”sortCount:
number
Defined in: src/types/cdl.ts:268
Sort count after adaptation.