next up previous contents [pdf] index

Next: sf_conjprec_close Up: sf_conjprec_init Previous: Definition

Input parameters


\begin{desclist}{\tt }{\quad}[\tt hasp01]
\setlength \itemsep{0pt}
\item[nx1]...
...}).
\item[hasp01] if there is a initial model (\texttt{bool}).
\end{desclist}




2011-07-02