Class VariableSet

Represents a set of possible values for a variable. Supports union (combining possibilities) and disjunction (finding common values).

Index

Constructors

Properties

isNoFixed values

Methods

disjunct termIsCompatible union createNoFixed

Constructors

constructor

new VariableSet(...values: Term[]): VariableSet
Parameters
- ...values: Term[]
Returns VariableSet
- Defined in lib/transformations/variableSet.ts:13

Properties

isNoFixed

isNoFixed: boolean

If true, the variable has no fixed set of values (any value is possible)

values

values: Term[]

The set of possible values (only meaningful if isNoFixed is false)

Methods

disjunct

disjunct(other: VariableSet): VariableSet
Computes the intersection of two VariableSets (values present in both). If one set is unbounded, returns the bounded set's values.
Parameters
- other: VariableSet
  The other VariableSet
Returns VariableSet
A new VariableSet with common values
- Defined in lib/transformations/variableSet.ts:50

termIsCompatible

termIsCompatible(term: Term): boolean
Checks if a term is compatible with this set of possible values. Variables are always compatible; concrete terms must be in the value set.
Parameters
- term: Term
  The term to check
Returns boolean
True if the term could match this VariableSet
- Defined in lib/transformations/variableSet.ts:71

union

union(other: VariableSet): VariableSet
Computes the union of two VariableSets (all possible values from both). If either set is unbounded, the result is unbounded.
Parameters
- other: VariableSet
  The other VariableSet
Returns VariableSet
A new VariableSet with combined values
- Defined in lib/transformations/variableSet.ts:34

`Static`createNoFixed

createNoFixed(): VariableSet
Creates a VariableSet representing an unbounded variable.

Returns VariableSet
A VariableSet where any value is possible
- Defined in lib/transformations/variableSet.ts:22