Transition Properties dialog box

Lists the source state and destination state of the transition, as well as the transition equation.

Use VHDL 'OTHERS' transition— Allows you to use a VHDL-style 'OTHERS' transition if none of the outgoing transitions from the state are true. If you turn on this option, any equation information is replaced and the equation remains empty if you subsequently turn it off.