cloud9_root/src/third_party/stp/src/parser/lexsmt2.cpp
/* smt2lex_destroy is for both reentrant and non-reentrant scanners. */
smt2lex_destroy is for both reentrant and non-reentrant scanners.
smt2lex_destroy is for both reentrant and non - reentrant scanners .
int smt2lex_destroy  (void)
{
	while(YY_CURRENT_BUFFER){
		smt2_delete_buffer(YY_CURRENT_BUFFER  );
		YY_CURRENT_BUFFER_LVALUE = NULL;
		smt2pop_buffer_state();
	}
	smt2free((yy_buffer_stack) );
	(yy_buffer_stack) = NULL;
    yy_init_globals( );
    return 0;
}
int smt2lex_destroy ( void ) { while ( YY_CURRENT_BUFFER ) { smt2_delete_buffer ( YY_CURRENT_BUFFER ) ; YY_CURRENT_BUFFER_LVALUE = NULL ; smt2pop_buffer_state ( ) ; } smt2free ( ( yy_buffer_stack ) ) ; ( yy_buffer_stack ) = NULL ; yy_init_globals ( ) ; return 0 ; }
smt2lex_destroy is for both reentrant and non-reentrant scanners.
smt2lex_destroy is for both reentrant and non - reentrant scanners .
/* Pop the buffer stack, destroying each element. */ /* Destroy the stack itself. */ /* Reset the globals. This is important in a non-reentrant scanner so the next time
     * smt2lex() is called, initialization will occur. */