Checking disjointness of Stateflow truth tables?

1 visualización (últimos 30 días)
Monika Jaskolka
Monika Jaskolka el 22 de Sept. de 2014
Respondida: Monika Jaskolka el 25 de Mzo. de 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.

Iniciar sesión para responder a esta pregunta.

Respuesta aceptada

Monika Jaskolka
Monika Jaskolka el 25 de Mzo. de 2021
After waiting some years and looking into this several times, the answer is that disjointness checking is not supported.

Más respuestas (0)

Categorías

Más información sobre Complex Logic en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by