Skip to content

Interface: ConstrainedPlainVar

@kortexya/reasoninglayer


@kortexya/reasoninglayer / PlainValues / ConstrainedPlainVar

Interface: ConstrainedPlainVar

Defined in: src/types/plain-values.ts:83

A constrained variable for use in inference contexts.

Remarks

Created via the constrained() helper. Distinguished from plain arrays by the __constrainedVar brand field, which is stripped before serialization.

Example

psi("eligible", { score: constrained("?S", guard("gt", 700)) })

Properties

constraint

readonly constraint: TermInputDto | PsiTermInput

Defined in: src/types/plain-values.ts:89

Constraint as a TermInputDto or PsiTermInput.


name

readonly name: string

Defined in: src/types/plain-values.ts:87

Variable name (must start with ”?”).