状態不変式

[ベース]タブ

• 名前

  • 状態不変式名を編集します。

• 不変式

  • 状態不変式を編集します。

[ハイパーリンク]タブ

詳細は 基本機能 - ハイパーリンク をご覧ください。