Type Alias: SpaceConstraintDto
@kortexya/reasoninglayer / SpaceConstraintDto
Type Alias: SpaceConstraintDto
Section titled “Type Alias: SpaceConstraintDto”SpaceConstraintDto =
GeneratedSpaceConstraintDto
Defined in: src/types/spaces.ts:12
A constraint in a computation space.
Remarks
Section titled “Remarks”Re-exported from generated types. Discriminated union with type field.
Supports unification, arithmetic, all_different, and set constraints.