Interface: GetEquivalenceClassesResponse
@kortexya/reasoninglayer / GetEquivalenceClassesResponse
Interface: GetEquivalenceClassesResponse
Section titled “Interface: GetEquivalenceClassesResponse”Defined in: src/types/sorts.ts:1119
Response containing equivalence classes based on the combined preorder.
Remarks
Section titled “Remarks”Per Definition IV.9 (Milanese and Pasi 2024), two sorts are equivalent when
each reaches the other: s1 ~ s2 iff preorder(s1, s2) > 0 AND
preorder(s2, s1) > 0. The preorder here is the COMBINED one
(SortPreorderGranularity), where a similarity edge is itself a step.
Computed process-wide and then filtered. GetQuotientOrderResponse answers the same classes on the tenant-visible hierarchy, with their degrees and the partial order between them.
Properties
Section titled “Properties”count:
number
Defined in: src/types/sorts.ts:1123
Total number of equivalence classes.
equivalenceClasses
Section titled “equivalenceClasses”equivalenceClasses:
EquivalenceClassDto[]
Defined in: src/types/sorts.ts:1121
Groups of sorts that are equivalent under the fuzzy preorder.