8.1.6 Valid_State_Status_Vector Procedure

The Valid_State_Status_Vector procedure returns true iff the status is in a valid state - that is, iff the status passes all of the valid state tests.

Calling syntax:

Logical = Valid_State(S)

Input variable:

 S  The status vector to be checked.

Output variable:

 Valid_State  True iff the entire status vector is in a valid state.

The Valid_State_Status_Vector code listing contains additional documentation.

Michael L. Hall