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