| read_matrix |
| List of: | Functions | |
| Subjects: | Mathematics, SAT Save and Restore | |
| Contents: | Kernel | |
| Action: | Reads a SPAmatrix as three row vectors. | ||||||||||||||||||||||||||||||||||||||||||||||
| Prototype: |
|
||||||||||||||||||||||||||||||||||||||||||||||
| Includes: |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
| Description: | This routine is used as part of restore from a SAT or SAB file. | ||||||||||||||||||||||||||||||||||||||||||||||
| read_vector | vector v1 | ||||||||||||||||||||||||||||||||||||||||||||||
| read_vector | vector v2 | ||||||||||||||||||||||||||||||||||||||||||||||
| read_vector | vector v3 | ||||||||||||||||||||||||||||||||||||||||||||||
| Library: | kernel | ||||||||||||||||||||||||||||||||||||||||||||||
| Filename: | kern/kernel/kernutil/fileio/fileio.hxx | ||||||||||||||||||||||||||||||||||||||||||||||
| Effect: | Read-only | ||||||||||||||||||||||||||||||||||||||||||||||