what if judge current state for output in a state machine's timing block?

Question

I find that, in a 3-block state machine template, the signal output block use "next state" to determine what value should be outputted. like the code below