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 CenterFile Exchange에서 Complex Logic에 대해 자세히 알아보기

Community Treasure Hunt

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

Start Hunting!

Translated by