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