Support constants in parametrized automaton definition/instantiation
Currently the use of constants is not supported for automaton definitions. Consider the following example:
plant def ExamplePlantDef(const int low; const int high):
disc int[low..high] x in any;
location: initial; marked;
end
ExamplePlant1:ExamplePlantDef(1,2);
ExamplePlant2:ExamplePlantDef(5,8);
Above plant definition is not possible, because a const
is not allowed as a parameter.
Using an alg int
is not possible in the above example, because they can not be statically evaluated which is required for integer bounds.
Note that supporting constants is also beneficial for setting list bounds etc.