Stateflow User's Guide

Defining an Underspecified Truth Table

An underspecified truth table lacks one or more possible decisions that might require an action to avoid undefined behavior. The following is the Condition Table of an underspecified truth table:

Complete coverage of the conditions in the preceding truth table requires a Condition Table with every possible decision, like the following example:

A possible workaround is to specify an action for all other possible decisions through a default decision, as in the following example:

The last decision column is the default decision for the truth table. The default decision covers any remaining decisions not tested for in the preceding decision columns. See The Default Decision Column for an example and more complete description of the default decision column for a Condition Table.

Defining an Overspecified Truth Table

Model Coverage for Truth Tables

© 1994-2005 The MathWorks, Inc.