Interface: BacktrackTermStoreResponse
@kortexya/reasoninglayer / BacktrackTermStoreResponse
Interface: BacktrackTermStoreResponse
Section titled “Interface: BacktrackTermStoreResponse”Defined in: src/types/proof-engine.ts:377
Response after backtracking in the term store.
Properties
Section titled “Properties”currentTrailLength
Section titled “currentTrailLength”currentTrailLength:
number
Defined in: src/types/proof-engine.ts:379
Current trail length after backtracking.
success
Section titled “success”success:
boolean
Defined in: src/types/proof-engine.ts:381
Whether the backtrack was successful.
undoneEntries
Section titled “undoneEntries”undoneEntries:
number
Defined in: src/types/proof-engine.ts:383
Number of trail entries that were undone.