Interface: SetValue

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Values / SetValue

Interface: SetValue

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

A set value with lower and upper bounds and an optional sort constraint.

Represents partial information about set membership using Smyth powerdomain semantics.

Properties

type

type: "Set"

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

---

value

value: object

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

lower

lower: string[]

Lower bound — definite members.

sortConstraint?

optional sortConstraint: string | null

Optional sort constraint for set members.

upper

upper: string[]

Upper bound — possible members.