満たされる条件に応じて、パラメーターを特定のタイプにしようとしています。しかし、これを行う方法や、これがModelicaで実際に可能/合法であるかどうかはよくわかりません。原則として、私が持ちたいのは次のようなものです(動作しないコード例):
package test
type TypeA=enumeration(A,C,E);
type TypeB=enumeration(B,D,F);
model foo
parameter Boolean Condition;
parameter if Condition then TypeA else TypeB MyParameter;
end foo;
end test;