modelica - 方程式セクションの if ケースの操作

Question

Modelicaで次のことがどのように可能か疑問に思っていました:

suppose variables a,b
Timetable object c

    equation
    if a>c.y then
      b = f(a) // with f a mathematical function
    else
      b = g(a) // with g a mathematical function
    end if;

    der(a) = h(a,b) //with h a mathematical function

Modelica は if ステートメントのどのケースが true かをどのように判断できますか? if ステートメントで決定される "b" の値がなければ、"a" の値を計算することはできません。