13.3.3 Valid_State_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.

Michael L. Hall