Assumption

[ベース]タブ

• 名前空間

  • Assumptionが所属する名前空間(Moduleの階層)を表示します。

• ID

  • Assumptionが所属する名前空間内で一意な識別子を示し変更可能です。

• Uninstantiated

  • このチェックボックスがチェックされた場合、Assumptionが具体化されておらず、後で詳細が補完される予定であることを示します。

• Public

  • このチェックボックスがチェックされた場合、他のModuleから参照できることを明示します。

• Statement

  • このAssumptionについての説明です。

[ハイパーリンク]タブ

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