Skip to content

Interface: GlbLubTraceRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Visualization / GlbLubTraceRequest

Interface: GlbLubTraceRequest

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

Request for GLB/LUB computation trace.

Properties

generateDot?

optional generateDot: boolean

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

Whether to generate DOT output with trace highlighted.


operation

operation: GlbLubOperation

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

Operation type (GLB or LUB).


sort1Id

sort1Id: string

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

First sort ID (UUID).


sort2Id

sort2Id: string

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

Second sort ID (UUID).