Skip to content

Interface: ConstraintGraphRequest

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ConstraintGraphRequest

Defined in: src/types/constraints.ts:107

Request for the tenant’s constraint graph.

optional detectCycles?: boolean

Defined in: src/types/constraints.ts:117

Whether to report the dependency tracker’s cycles.


optional generateDot?: boolean

Defined in: src/types/constraints.ts:119

Whether to render the response graph as DOT in graph.dotOutput.


optional includeFdDomains?: boolean

Defined in: src/types/constraints.ts:121

Whether to list the state of every variable node in fdDomains.


optional termId?: 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.