be localized. State
and its switch state [...] be localized. State
" functionality. State
state [...] ) whose state [...] " functionality. State
. State variables
) State variables