Interface: GlbLubTraceStep
@kortexya/reasoninglayer / Visualization / GlbLubTraceStep
Interface: GlbLubTraceStep
Defined in: src/types/visualization.ts:401
A step in the GLB/LUB computation trace.
Properties
createdSynthetic
createdSynthetic:
boolean
Defined in: src/types/visualization.ts:403
Whether this step created a synthetic sort.
description
description:
string
Defined in: src/types/visualization.ts:405
Description of the step.
involvedSorts
involvedSorts:
string[]
Defined in: src/types/visualization.ts:407
Sort IDs involved in this step.
step
step:
number
Defined in: src/types/visualization.ts:409
Step number.