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 Exchange で Complex Logic についてさらに検索

タグ

製品

Community Treasure Hunt

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

Start Hunting!

Translated by