Interface: EquivalenceClassDto
@kortexya/reasoninglayer / Sorts / EquivalenceClassDto
Interface: EquivalenceClassDto
Defined in: src/types/sorts.ts:436
A group of sorts that are equivalent under the fuzzy preorder.
Properties
size
size:
number
Defined in: src/types/sorts.ts:440
Number of sorts in the class.
sortIds
sortIds:
string[]
Defined in: src/types/sorts.ts:438
Sort UUIDs in this equivalence class.