Interface: GetEquivalenceClassesResponse
@kortexya/reasoninglayer / Sorts / GetEquivalenceClassesResponse
Interface: GetEquivalenceClassesResponse
Defined in: src/types/sorts.ts:450
Response containing equivalence classes based on the combined preorder.
Remarks
Per Definition IV.9 (Milanese and Pasi 2024): s1 ~ s2 iff preorder_dot(s1, s2) > 0 AND preorder_dot(s2, s1) > 0
Properties
count
count:
number
Defined in: src/types/sorts.ts:454
Total number of equivalence classes.
equivalenceClasses
equivalenceClasses:
EquivalenceClassDto[]
Defined in: src/types/sorts.ts:452
Groups of sorts that are equivalent under the fuzzy preorder.