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