Checking disjointness of Stateflow truth tables?

1 Ansicht (letzte 30 Tage)
Monika Jaskolka
Monika Jaskolka am 22 Sep. 2014
Beantwortet: Monika Jaskolka am 25 Mär. 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.

Melden Sie sich an, um diese Frage zu beantworten.

Akzeptierte Antwort

Monika Jaskolka
Monika Jaskolka am 25 Mär. 2021
After waiting some years and looking into this several times, the answer is that disjointness checking is not supported.

Weitere Antworten (0)

Kategorien

Mehr zu Complex Logic finden Sie in Help Center und File Exchange

Tags

Produkte

Community Treasure Hunt

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

Start Hunting!

Translated by