Next: 13.3.4 Initialized_Solver Procedure Up: 13.3 Solver Class Previous: 13.3.2 Finalize_Solver Procedure
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.
Calling syntax:
| Logical = Valid_State(Solver) |
Input variables:
| Solver | The Solver to be checked. |
Output variable:
| Valid_State | True iff the Solver is in a valid state. |
The Valid_State_Solver code listing contains additional documentation.