Interface: ResiduationDto
@kortexya/reasoninglayer / Terms / ResiduationDto
Interface: ResiduationDto
Defined in: src/types/terms.ts:62
A residuation record for a witness that could not be satisfied yet.
Properties
partialBindings
partialBindings:
Record<string,string>
Defined in: src/types/terms.ts:66
Partial bindings found so far.
trigger
trigger:
string
Defined in: src/types/terms.ts:68
What would trigger re-evaluation.
witnessId
witnessId:
string
Defined in: src/types/terms.ts:64
ID of the witness that residuated.