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