.Modelica_Synchronous.IntegerSignals.NonPeriodic.IntegerChange .Modelica_Synchronous.IntegerSignals.NonPeriodic.IntegerChangeprevious instead of the implicit pre of
change to set the Boolean output y to
true when the integer input u changed. Thus, it's
logic is:
if firstTick() then
y = false;
else
y = not(u == previous(u));
end if;
This block might be superfluous and replaced by
Modelica.Blocks.Math.IntegerChange when the semantics
of change are relaxed and well-defined for
clocked discrete-time partitions.