Skip to content

Interface: ResiduationDto

@kortexya/reasoninglayer


@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.