Method for determining a value of an integer scaling in a linking of input sets to output sets, and computer program product

A method for determining a value of an integer scaling in a linking of input sets to output sets, wherein the linking comprises operators, each of which has operator inputs and operator outputs that are at least partially linked to one another or to the input sets or to the output sets, wherein a computer device has a processing unit, a memory unit, and an output unit is used, and in each case a representation of the effect of each of the operators on the particular integer scaling of its operator inputs is provided for generating the particular integer scaling of its operator outputs, wherein the method comprises:

• storing, for each input set, each operator input, each operator output, and each output set, an initial representation of the set of all allowed integer scalings and a representation of a rescaling of an integer scaling to a set of all integer scalings, which are achievable by allowable transformations, in each case in the memory unit,
• propagating forward the initial representations of the input sets through the linking, so that, for each operator input, for each operator output, and for each output set, a representation of the set of all possible integer scalings is generated in the processing unit, wherein, according to the connections in the linking, and consistent with the initial representations for each translation of an input set to an operator input, the representation of the rescaling is applied, for each translation of an operator output to an operator input or to an output set, the representation of the rescaling is applied, and for each operator, the representation of its effect is applied, and
• specifying one element from one of the generated sets as the value of the integer scaling, based on a selection that is made in an automated manner in the processing unit, and
• outputting the specified value in the output unit.