     <TT>vec (<I>n</I>,<I>dom</I>)</TT>
    </DT>
    <DD>
      <P>returns a vector of size <I>n</I> of
         freshly created finite domain variable terms. Each variable
         is initialized with <I>dom</I>.
      </P>
    </DD>

    <DT>
      <TT>distribute (<I>s</I>,<I>v</I>)</TT>
    </DT>
    <DD>
      <P>distributes the variables in <I>v</I> according to the
         given strategy <I>s</I>. For details, see
         <A HREF="fd.html">here</A>.
      </P>
    </DD>

    <DT>
      <TT>distinct