cloud9_root/src/third_party/stp/src/parser/lexsmt.cpp
/** Removes and deletes the top of the stack, if present.
 *  The next element becomes the new top.
 *  
 */
Removes and deletes the top of the stack, if present.
The next element becomes the new top.
Removes and deletes the top of the stack if present . The next element becomes the new top .
void smtpop_buffer_state (void)
{
    	if (!YY_CURRENT_BUFFER)
		return;
	smt_delete_buffer(YY_CURRENT_BUFFER );
	YY_CURRENT_BUFFER_LVALUE = NULL;
	if ((yy_buffer_stack_top) > 0)
		--(yy_buffer_stack_top);
	if (YY_CURRENT_BUFFER) {
		smt_load_buffer_state( );
		(yy_did_buffer_switch_on_eof) = 1;
	}
}
void smtpop_buffer_state ( void ) { if ( ! YY_CURRENT_BUFFER ) return ; smt_delete_buffer ( YY_CURRENT_BUFFER ) ; YY_CURRENT_BUFFER_LVALUE = NULL ; if ( ( yy_buffer_stack_top ) > 0 ) -- ( yy_buffer_stack_top ) ; if ( YY_CURRENT_BUFFER ) { smt_load_buffer_state ( ) ; ( yy_did_buffer_switch_on_eof ) = 1 ; } }
Removes and deletes the top of the stack, if present.
Removes and deletes the top of the stack if present .