我试图根据要满足的条件让参数成为特定类型。但我不太确定如何做到这一点,或者这在 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;