After waiting some years and looking into this several times, the answer is that disjointness checking is not supported.
Checking disjointness of Stateflow truth tables?
2 views (last 30 days)
Show older comments
Monika Jaskolka on 22 Sep 2014
Answered: Monika Jaskolka on 25 Mar 2021
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.
More Answers (0)
Find more on Complex Logic in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!