Interface: ConstraintGraphResponse
@kortexya/reasoninglayer / ConstraintGraphResponse
Interface: ConstraintGraphResponse
Section titled “Interface: ConstraintGraphResponse”Defined in: src/types/constraints.ts:191
The tenant’s constraint graph.
Remarks
Section titled “Remarks”Without a focus term, each bound constraint declared on a sort is one
constraint node, with fd_variable nodes for its sort-level feature paths
(node properties scope: "declaration", sort, feature). With a focus
term, each governing constraint is one node with id
constraint:<term_id>:<index> and properties scope: "instance",
declared_on, relation, kind, on_violation, target, source_path,
term_id, status (satisfied | violated | type_mismatch | pending |
open) and an optional detail; its variable nodes have ids
<term uuid>.<feature>. Tracker dependencies are added in both modes.
Properties
Section titled “Properties”cycles?
Section titled “cycles?”
optionalcycles?:CycleDto[]
Defined in: src/types/constraints.ts:197
Detected cycles (if requested).
fdDomains?
Section titled “fdDomains?”
optionalfdDomains?:FdDomainStateDto[]
Defined in: src/types/constraints.ts:199
FD domain states (if requested).
graph:
VisualizationGraphDto
Defined in: src/types/constraints.ts:193
The visualization graph.
stats:
ConstraintGraphStats
Defined in: src/types/constraints.ts:195
Statistics.