Interface: GlbLubTraceStep
@kortexya/reasoninglayer / GlbLubTraceStep
Interface: GlbLubTraceStep
Section titled “Interface: GlbLubTraceStep”Defined in: src/types/visualization.ts:587
A step in the GLB/LUB computation trace.
Properties
Section titled “Properties”createdSynthetic
Section titled “createdSynthetic”createdSynthetic:
boolean
Defined in: src/types/visualization.ts:589
Whether this step created a synthetic sort.
description
Section titled “description”description:
string
Defined in: src/types/visualization.ts:591
Description of the step.
involvedSorts
Section titled “involvedSorts”involvedSorts:
string[]
Defined in: src/types/visualization.ts:593
Sort IDs involved in this step.
step:
number
Defined in: src/types/visualization.ts:595
Step number.