Skip to content

Interface: ChoiceValue

@kortexya/reasoninglayer


@kortexya/reasoninglayer / ChoiceValue

Defined in: src/types/values.ts:214

A disjunction of alternatives — {v1; v2; …} — carried as one value.

Unifies alternative-wise, so a choice narrows as information arrives rather than failing. Distinct from DomainValue, which enumerates a finite domain for a solver to label.

type: "Choice"

Defined in: src/types/values.ts:215


value: ValueDto[]

Defined in: src/types/values.ts:216