在 MPS 中,我定义了一个模板:
template reduce_Car
Input Car
parameters
color : String
<TF [<Car>???</Car>] TF>
现在我想在我的模板中使用定义的参数“颜色”?
在 MPS 中,我定义了一个模板:
template reduce_Car
Input Car
parameters
color : String
<TF [<Car>???</Car>] TF>
现在我想在我的模板中使用定义的参数“颜色”?