Type Alias: WaitingConditionType

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

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

Type of waiting condition for a residuation.