---
# Array of possible states that can be transitioned to.
State[] available_states