k that selects which debug messages are to be printed. See <A href="sf-debug.html">Debug</A>.</P>
    </DD>

    <DT>
      <TT><A name="bab">bab</A></TT>
    </DT>
    <DD><P>Should be set to true for Branch & Bound search. Otherwise (simple search), should be false.</P>
    </DD>

    <DT>
      <TT><A name="bound">bound</A> <I>(space, solution)</I></TT>
    </DT>
    <DD><P>Should bound the given space with the given solution.</P>
        <P><B>Required</B>: This function is called only if Branch & Bound