Interface: QuotientClassDto
@kortexya/reasoninglayer / QuotientClassDto
Interface: QuotientClassDto
Section titled “Interface: QuotientClassDto”Defined in: src/types/sorts.ts:1043
One equivalence class of the quotient, with its Definition IV.9 degree.
Properties
Section titled “Properties”alpha:
number
Defined in: src/types/sorts.ts:1054
The class degree, the weakest mutual reachability inside the class.
Remarks
Section titled “Remarks”1.0 for a singleton class — the empty meet, not a perfect match.
size:
number
Defined in: src/types/sorts.ts:1047
Number of sorts in the class.
sortIds
Section titled “sortIds”sortIds:
string[]
Defined in: src/types/sorts.ts:1045
Sort UUIDs in this class.