Stateflow User's Guide Previous page   Next Page

Defining an Overspecified Truth Table

An overspecified truth table contains at least one decision that will never be executed because it is already specified in a previous decision in the Condition Table. The following is the Condition Table of an overspecified truth table:

The decision in column D3 (-TT) specifies the decisions FTT and TTT. These decisions have already been specified by decisions D1 (FTT) and D2 (TTT and TFT). Therefore column D3 is an overspecification.

The following is the Condition Table of a truth table that appears overspecified but is not:

In this case, the decision D4 specifies two decisions (TTT and FTT). The second of these is specified by decision D1. However, the first is not specified in a previous decision column. Therefore, this Condition Table is not overspecified.


Previous page  Correcting Over- and Underspecified Truth Tables Defining an Underspecified Truth Table Next page

© 1994-2005 The MathWorks, Inc.