Interface: DomainValue
@kortexya/reasoninglayer / DomainValue
Interface: DomainValue
Section titled “Interface: DomainValue”Defined in: src/types/values.ts:201
A finite domain of candidate values — the variable is one of them, not yet decided which.
Remarks
Section titled “Remarks”Unifies by intersection: meeting two domains keeps the values in both, and an empty intersection is ⊥. Distinct from ListValue, which is one value that happens to be a sequence.
Properties
Section titled “Properties”type:
"Domain"
Defined in: src/types/values.ts:202
value:
ValueDto[]
Defined in: src/types/values.ts:203