Implement step 9 of escet plcgen
From #397 (closed): 9. Collect automata, and construct location pointer variables for each. Needs
- target-specific notion of (location) enum values in the PLC (for those targets that support enum values),
- representation of locations by integers (for those targets that don't support enum values)
- constructing a mapping between automaton location in CIF and value of a location variable in PLC.
- initialization of the location variables.
I am considering a LocationPointer
object, that contains the location pointer for an automaton, and produces specific expressions based on the locations and target.