Type Alias: WaitingConditionType

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / WaitingConditionType

Type Alias: WaitingConditionType

WaitingConditionType = "variable_binding" | "feature_binding" | "sort_narrowing" | "term_creation" | "external_input" | "constraint_satisfaction"

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

Type of waiting condition for a residuation.