Interface: CdlVerificationDto
@kortexya/reasoninglayer / CDL / CdlVerificationDto
Interface: CdlVerificationDto
Defined in: src/types/cdl.ts:252
Post-adaptation verification result.
Properties
constraintSatisfied
constraintSatisfied:
boolean
Defined in: src/types/cdl.ts:254
Whether the constraint is satisfied after adaptation.
maxViolation
maxViolation:
number
Defined in: src/types/cdl.ts:256
Maximum violation magnitude.
sortCount
sortCount:
number
Defined in: src/types/cdl.ts:258
Sort count after adaptation.