Interface: ConstraintGraphRequest
@kortexya/reasoninglayer / ConstraintGraphRequest
Interface: ConstraintGraphRequest
Section titled “Interface: ConstraintGraphRequest”Defined in: src/types/constraints.ts:107
Request for the tenant’s constraint graph.
Properties
Section titled “Properties”detectCycles?
Section titled “detectCycles?”
optionaldetectCycles?:boolean
Defined in: src/types/constraints.ts:117
Whether to report the dependency tracker’s cycles.
generateDot?
Section titled “generateDot?”
optionalgenerateDot?:boolean
Defined in: src/types/constraints.ts:119
Whether to render the response graph as DOT in graph.dotOutput.
includeFdDomains?
Section titled “includeFdDomains?”
optionalincludeFdDomains?:boolean
Defined in: src/types/constraints.ts:121
Whether to list the state of every variable node in fdDomains.
termId?
Section titled “termId?”
optionaltermId?:string|null
Defined in: src/types/constraints.ts:115
Focus term (UUID). Absent: every bound constraint declared on a sort, with
sort-level feature paths as variables and no status. Present: every
constraint that governs this term (own and inherited), evaluated now, with
(term, feature) slots as variables. A term the tenant does not hold
answers 404.