cloud9_root/src/third_party/stp/src/parser/lexsmt2.cpp
/** Immediately switch to a different input stream.
 * @param input_file A readable stream.
 * 
 * @note This function does not reset the start condition to @c INITIAL .
 */
Immediately switch to a different input stream.
@param input_file A readable stream.

@note This function does not reset the start condition to @c INITIAL .
Immediately switch to a different input stream . @param input_file A readable stream . @note This function does not reset the start condition to @c INITIAL .
void smt2restart  (FILE * input_file )
{
	if ( ! YY_CURRENT_BUFFER ){
        smt2ensure_buffer_stack ();
		YY_CURRENT_BUFFER_LVALUE =
            smt2_create_buffer(smt2in,YY_BUF_SIZE );
	}
	smt2_init_buffer(YY_CURRENT_BUFFER,input_file );
	smt2_load_buffer_state( );
}
void smt2restart ( FILE * input_file ) { if ( ! YY_CURRENT_BUFFER ) { smt2ensure_buffer_stack ( ) ; YY_CURRENT_BUFFER_LVALUE = smt2_create_buffer ( smt2in , YY_BUF_SIZE ) ; } smt2_init_buffer ( YY_CURRENT_BUFFER , input_file ) ; smt2_load_buffer_state ( ) ; }
Immediately switch to a different input stream.
Immediately switch to a different input stream .