The Valid_State_Collected_Array procedure returns true iff the Collected_Array is in a valid state - that is, iff the Collected_Array passes all of the valid state tests.
|Logical = Valid_State(CA)|
|CA||The Collected_Array to be checked.|
|Valid_State||True iff the Collected_Array is in a valid state.|
The Valid_State_Collected_Array code listing contains additional documentation.