Checking disjointness of Stateflow truth tables?

1 回表示 (過去 30 日間)
Monika Jaskolka
Monika Jaskolka 2014 年 9 月 22 日
回答済み: Monika Jaskolka 2021 年 3 月 25 日
Is there a diagnostic tool for Stateflow truth tables which does disjointness checking on the decision rules? I am aware of the overspecification and underspesification checking tools, and am looking for something similar which flags/checks whether or not decision rules overlap. Stateflow documentation yields no results.

採用された回答

Monika Jaskolka
Monika Jaskolka 2021 年 3 月 25 日
After waiting some years and looking into this several times, the answer is that disjointness checking is not supported.

その他の回答 (0 件)

カテゴリ

Help Center および File ExchangeStateflow についてさらに検索

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by