push_state


Description:

private inline void push_state (State state)