Redesign When Equation Implementation in Backend

[Jens Frenkel]

The current implementation for when equations does not consider the MSL3.2 requirements in an efficient way.

cr = ...
(cr,cr,..) = ...

For example the following when

when cond then

(cr1,cr2) = func(...)

elsewhen cond1 then

cr1 = exp;
cr2 = exp;

end when;

should be legal modelica but its not efficient supported.

[Willi Braun]

Which MSL3.2 Model does use such construct?
As far as I can see in the whole library MSL32 contains
only 3 times "elsewhen"

Modelica$ grep "elsewhen" * -R -n | grep -P '^(?!.*.svn).*$'
Blocks/MathBoolean.mo:416:        elsewhen not u then
Electrical/Digital.mo:3086:          elsewhen time >= t_next then
Electrical/Digital.mo:3158:         elsewhen time >= t_next then

and they occurs only in algorithms, which are supported correctly
Additional, as far as I know even Dymola does not not support
"elsewhen" in equations at least till version 2012.

However, I agree we should redesign the processing of when equations in
the Backend and consider such constructs therefoer,
but maybe that has no priority right now.

[Martin Sjölund]

Postponed until 1.9.1

[Martin Sjölund]

This ticket was not closed for 1.9.1, which has now been released. It was batch modified for milestone 1.9.2 (but maybe an empty milestone was more appropriate; feel free to change it).