Interface: TermUnifyVisualizationRequest
@kortexya/reasoninglayer / TermUnifyVisualizationRequest
Interface: TermUnifyVisualizationRequest
Section titled “Interface: TermUnifyVisualizationRequest”Defined in: src/types/visualization.ts:532
Request to render the unification (or anti-unification) of two Ψ-terms.
Properties
Section titled “Properties”
optionalop?:TermUnifyOperation
Defined in: src/types/visualization.ts:538
The operation. Default unify.
term1Id
Section titled “term1Id”term1Id:
string
Defined in: src/types/visualization.ts:534
First operand term id.
term2Id
Section titled “term2Id”term2Id:
string
Defined in: src/types/visualization.ts:536
Second operand term id.