Interface: FdDomainStateDto
@kortexya/reasoninglayer / FdDomainStateDto
Interface: FdDomainStateDto
Section titled “Interface: FdDomainStateDto”Defined in: src/types/constraints.ts:159
Finite domain state for a variable.
Properties
Section titled “Properties”isDetermined
Section titled “isDetermined”isDetermined:
boolean
Defined in: src/types/constraints.ts:168
Whether the slot holds a value of any type. Always false for a declaration variable.
optionalmax?:number|null
Defined in: src/types/constraints.ts:174
The slot’s integer value, when it holds one.
optionalmin?:number|null
Defined in: src/types/constraints.ts:172
The slot’s integer value, when it holds one.
values?
Section titled “values?”
optionalvalues?:number[]
Defined in: src/types/constraints.ts:170
[v] when the slot holds the integer v; empty otherwise.
variableId
Section titled “variableId”variableId:
string
Defined in: src/types/constraints.ts:161
The variable’s node id in graph.nodes.
variableName?
Section titled “variableName?”
optionalvariableName?:string|null
Defined in: src/types/constraints.ts:166
Readable name: sort.feature_path for a declaration variable, the node id
(<term uuid>.<feature>) for a term slot.