Interface: TermUnifyVisualizationResponse
@kortexya/reasoninglayer / TermUnifyVisualizationResponse
Interface: TermUnifyVisualizationResponse
Section titled “Interface: TermUnifyVisualizationResponse”Defined in: src/types/visualization.ts:557
The rendered unification (or anti-unification) of two Ψ-terms.
Remarks
Section titled “Remarks”The graph holds operand 1, operand 2 and the result, distinguished by each
node’s properties.role. The engine runs the operation in a sandbox, so the
tenant’s term store is not changed.
Properties
Section titled “Properties”bindings?
Section titled “bindings?”
optionalbindings?:UnifyBindingDto[]
Defined in: src/types/visualization.ts:563
The variable bindings, when the engine reports them.
graph:
VisualizationGraphDto
Defined in: src/types/visualization.ts:559
Operands and result, as one graph.
resultTermId?
Section titled “resultTermId?”
optionalresultTermId?:string
Defined in: src/types/visualization.ts:565
Term id of the result, when one was produced.
success
Section titled “success”success:
boolean
Defined in: src/types/visualization.ts:561
Whether the operation succeeded (unification can fail).