Interface: EquivalenceClassDto
@kortexya/reasoninglayer / EquivalenceClassDto
Interface: EquivalenceClassDto
Section titled “Interface: EquivalenceClassDto”Defined in: src/types/sorts.ts:1099
A group of sorts that are equivalent under the fuzzy preorder.
Properties
Section titled “Properties”size:
number
Defined in: src/types/sorts.ts:1103
Number of sorts in the class.
sortIds
Section titled “sortIds”sortIds:
string[]
Defined in: src/types/sorts.ts:1101
Sort UUIDs in this equivalence class.