Searched refs:setOutstream (Results 1 – 9 of 9) sorted by relevance
47 val setOutstream : outstream * StreamIO.outstream -> unit value
59 val setOutstream : outstream * StreamIO.outstream -> unit value318 ImpIO.setOutstream(stdOut, stdOutStream);319 ImpIO.setOutstream(stdErr, stdErrStream)
157 and setOutstream(OutStream{fStream}, s) = fStream := SOME s function
132 val () = setOutstream(stdOut,536 val () = setOutstream(stdOut,
66 val setOutstream : outstream * StreamIO.outstream -> unit value
467 void setOutstream(Osenc_outstream *stream){ m_pauxOutstream = stream; } in setOutstream() function
147 [setOutstream(ostr, sostr)] redirects the outstream ostr so that
191 [setOutstream(ostr, sostr)] redirects the outstream ostr so that
297 setOutstream(m_spxout); in SPxSCIP()921 scaler->setOutstream(m_spxout); in solve()