Interface: BindVariableResponse
@kortexya/reasoninglayer / BindVariableResponse
Interface: BindVariableResponse
Section titled “Interface: BindVariableResponse”Defined in: src/types/proof-engine.ts:245
Response after binding a variable.
Properties
Section titled “Properties”boundTo
Section titled “boundTo”boundTo:
string
Defined in: src/types/proof-engine.ts:247
Term ID the variable was bound to.
success
Section titled “success”success:
boolean
Defined in: src/types/proof-engine.ts:249
Whether the binding was successful.
trailLength
Section titled “trailLength”trailLength:
number
Defined in: src/types/proof-engine.ts:251
Trail length after binding (for backtracking).
variableId
Section titled “variableId”variableId:
string
Defined in: src/types/proof-engine.ts:253
Variable ID that was bound.