| << Prev | - Up - | Next >> |
::?D::+Spec
{FD.int+Spec?D}
tells the constraint store that D is an integer in Spec.
:::Dv:::+Spec
{FD.dom+Spec?Dv}
tells the constraint store that Dv is a vector of integers in Spec. Waits until Dv is constrained to a vector.
list{FD.list+I+Spec?Ds}
tells the constraint store that Ds is a list of integers in Spec of length I.
tuple{FD.tuple+L+I+Spec?Dt}
tells the constraint store that Dt is a tuple of integers in Spec of width I and label L.
record{FD.record+L+Ls+Spec?Dr}
tells the constraint store that Dr is a record of integers in Spec with features Ls and label L.
decl{FD.decl?D}
Abbreviates {FD.int 0#FD.sup D}.
| << Prev | - Up - | Next >> |