CDL
@kortexya/reasoninglayer / CDL
CDL
Interfaces
- ArchitectureInfoDto
- CdlComponentStatus
- CdlStatusResponse
- CdlVerificationDto
- ClassifySafetyRequest
- ClassifySafetyResponse
- DerivedInferenceRequest
- DerivedInferenceResponse
- DerivedInferenceResultDto
- DifferentiableFcRequest
- DifferentiableFcResponse
- DynamicAddSortRequest
- DynamicAddSortResponse
- FeaturePair
- IterationMetricDto
- MonadicFactDto
- MonadicFixpointRequest
- MonadicFixpointResponse
- SafetyModelInfoDto
- SoftUnifyRequest
- SoftUnifyResponse
- SymbolicResultDto
- TaggedFactDto
- TaggedFcRequest
- TaggedFcResponse
- WeightedFactDto