この操作は何を意味し、その機能は何ですか？

Question

私はこれが何を意味するのか分かりにくいです。

誰かが私の操作を説明できますか？特にmとnの値。

私はシステムとintが何であるか知っています。スクリーンショットはプレデアのチュートリアルから取っているので、オーナー/作者が作ったものであると確信しています。私はまだそれが何をすべきかを理解できません。私はそれがどこに作られているのかわかりません。

Answer 1

NATとNAT1は

Answer 2

動作はCスタイルのパラメータ、すなわちコンマで示されている...クラス、等インタフェース、データ型、列挙が、モデルで作成しなければなりません - name:typeの分離されたリスト。 typeは、int,boolなどのプリミティブとすることができますが、クラスまたはその他の複合型でもかまいません。あなたの場合は、natまたはnat1というクラスがあるかどうかをモデルで調べる必要があります。その場合は、モデルのエディタに問い合わせて、大文字で型を開始するという規約があることを伝える必要があります（NatまたはNat1なので）。