Polyspace 関数を MATLAB で使用できない理由をチェックする
問題
Polyspace® を MATLAB® または Simulink® から直接使用するには、Polyspace 関数を含むフォルダーを MATLAB の検索パスに含めなければなりません。その場所がない場合、または検索パスから削除された場合、Polyspace 関数は MATLAB コマンド ウィンドウから使用できなくなります。
考えられる解決方法
考えられる解決方法:MATLAB や Simulink と Polyspace を統合したかどうかをチェックする
Polyspace 関数は Polyspace インストール環境に含まれていますが、その場所は MATLAB に対して未知です。MATLAB と Polyspace のインストール後にその場所を MATLAB 検索パスに追加しない限り、それらの関数は使用できません。
Polyspace 関数を MATLAB と Simulink から使用するには、その場所を MATLAB 検索パスに追加するため、関数 polyspacesetup を呼び出します。MATLAB や Simulink との Polyspace の統合を参照してください。
考えられる解決方法:MATLAB 更新後に Polyspace がサポートされているかどうかを確認する
MATLAB を更新すると、MATLAB 検索パスは既定に戻され、以前に追加された Polyspace インストール環境へのパスは削除されます。MATLAB 更新後には、Polyspace 関数のパスが削除されるため、Polyspace と MATLAB の統合が解除されます。統合を再確立する必要があります。
更新後、Polyspace と MATLAB を統合する手順を繰り返してください。MATLAB を最新リリースに更新したが Polyspace を更新していない場合、Polyspace による MATLAB のサポートが以前とは異なる可能性があります。MATLAB および Simulink のさまざまなリリースについての Polyspace でのサポートを参照してください。
Polyspace と MATLAB のバージョンに応じて、それらの製品を完全にまたは部分的に統合します。MATLAB や Simulink との Polyspace の統合を参照してください。
