Skip to content

Interface: WaitingConditionDto

@kortexya/reasoninglayer


@kortexya/reasoninglayer / WaitingConditionDto

Defined in: src/types/visualization.ts:625

What a residuation is waiting for.

conditionType: WaitingConditionType

Defined in: src/types/visualization.ts:627

Condition type.


description: string

Defined in: src/types/visualization.ts:629

Description.


optional featureName?: string | null

Defined in: src/types/visualization.ts:631

Feature name (if waiting on feature).


optional targetId?: string | null

Defined in: src/types/visualization.ts:633

Target term/variable ID (UUID).


optional variable?: string | null

Defined in: src/types/visualization.ts:638

The awaited variable as the witness wrote it (e.g. ?y), when the target is a named variable.