States

The States field is a simple list of strings, where each entry is the name of a state variable. The syntax is simply :

"States" : ["Var1", "Var2", "Var3"]

State variables are constrained to take integer values.