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