Code generation for querying an active state of a model

A non-transitory computer-readable medium storing instructions, the instructions comprising:

• one or more instructions that, when executed by one or more processors, cause the one or more processors to:
• determine information that identifies a model of a finite state machine,
• the model including information that identifies states of the model, including a plurality of leaf states,
• the plurality of leaf states including states of the model that have no child states;
• determine that a state, included in the model, has XOR decomposition;
• determine a quantity of variables based on determining that the state has XOR decomposition;
• determine, based on the quantity of variables, one or more variables for storing information that identifies an active state of the model;
• generate, based on the one or more variables, a numbering scheme;
• generate, based on the numbering scheme, information indicating an association between a leaf state, of the plurality of leaf states, and a value;
• and
• store the generated information.

A method, comprising:

• determining information associated with a model of a finite state machine,
• the model including information that identifies a plurality of leaf states,
• the plurality of leaf states including states of the model that have no child states,
• the determining being performed by a device that includes one or more processors;
• identifying one or more variables for storing information that identifies an active state of the model,
• the one or more variables being based on the information associated with the model,
• the identifying being performed by the device;
• generating, based on the one or more variables, a numbering scheme for encoding the plurality of leaf states,
• the generating being performed by the device;
• and
• encoding the plurality of leaf states based on the numbering scheme,
• where encoding the plurality of leaf states includes generating and storing information indicating an association between a leaf state and a value,
• the encoding being performed by the device.