Interface: GetQuotientOrderResponse
@kortexya/reasoninglayer / GetQuotientOrderResponse
Interface: GetQuotientOrderResponse
Section titled “Interface: GetQuotientOrderResponse”Defined in: src/types/sorts.ts:1080
Response for the Definition IV.9 quotient order.
Remarks
Section titled “Remarks”The classes with their per-class degrees, and the fuzzy PARTIAL order between the classes — antisymmetric (Prop. IV.11), unlike either preorder it is built from.
Computed on the TENANT-VISIBLE hierarchy, so the degrees and the order describe exactly the sorts the caller can see. This is what distinguishes it from GetEquivalenceClassesResponse, which the engine computes process-wide and then filters.
Properties
Section titled “Properties”classes
Section titled “classes”classes:
QuotientClassDto[]
Defined in: src/types/sorts.ts:1084
The classes, each with its degree.
count:
number
Defined in: src/types/sorts.ts:1086
Number of classes.
granularity
Section titled “granularity”granularity:
SortPreorderGranularity
Defined in: src/types/sorts.ts:1082
The granularity the quotient was computed over.
orderEdges
Section titled “orderEdges”orderEdges:
QuotientOrderEdgeDto[]
Defined in: src/types/sorts.ts:1095
The strictly-positive off-diagonal entries of the class order.
Remarks
Section titled “Remarks”Sparse: an absent pair means degree 0. QuotientOrderEdgeDto.from
and QuotientOrderEdgeDto.to index into
GetQuotientOrderResponse.classes.