Skip to content

Interface: SetValue

@kortexya/reasoninglayer


@kortexya/reasoninglayer / SetValue

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

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

Represents partial information about set membership using Smyth powerdomain semantics.

type: "Set"

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


value: object

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

lower: string[]

Lower bound — definite members.

optional sortConstraint?: string | null

Optional sort constraint for set members.

upper: string[]

Upper bound — possible members.