State variables are all declared variable, relations and functions that can be assigned (modified) in actions.

If a relation or function is defined then it is immutable and not a state variable. Attempting to assign to a defined variable produces an error.

State variables should not be confused with logical variables.