| 68 | } |
| 69 | |
| 70 | void Information_scheme::init_yY () |
| 71 | /* Initialisation directly from Information |
| 72 | * Precondition: |
| 73 | * y, Y |
| 74 | * Postcondition: |
| 75 | * y, Y is PSD |
| 76 | */ |
| 77 | { |
| 78 | // Postconditions |
| 79 | if (!isPSD (Y)) |
| 80 | error (Numeric_exception("Initial Y not PSD")); |
| 81 | update_required = true; |
| 82 | } |
| 83 | |
| 84 | void Information_scheme::update_yY () |
| 85 | /* Postcondition: |
nothing calls this directly
no test coverage detected