Interface: AntiUnifyBatchResponse
@kortexya/reasoninglayer / AntiUnifyBatchResponse
Interface: AntiUnifyBatchResponse
Section titled “Interface: AntiUnifyBatchResponse”Defined in: src/types/operations.ts:48
Result of a batch anti-unification call.
Properties
Section titled “Properties”computationTimeMs
Section titled “computationTimeMs”computationTimeMs:
number
Defined in: src/types/operations.ts:50
Total computation time in milliseconds.
lgg:
TermDto
Defined in: src/types/operations.ts:52
Full enriched view of the final LGG.
lggTermId
Section titled “lggTermId”lggTermId:
string
Defined in: src/types/operations.ts:54
Id of the final LGG term.
steps:
string[]
Defined in: src/types/operations.ts:56
Intermediate LGG ids from the left fold (empty when N = 2).