| 1637 | } |
| 1638 | |
| 1639 | void Tableau::dumpEquations() |
| 1640 | { |
| 1641 | TableauRow row( _n - _m ); |
| 1642 | |
| 1643 | printf( "Dumping tableau equations:\n" ); |
| 1644 | for ( unsigned i = 0; i < _m; ++i ) |
| 1645 | { |
| 1646 | printf( "x%u = ", _basicIndexToVariable[i] ); |
| 1647 | getTableauRow( i, &row ); |
| 1648 | row.dump(); |
| 1649 | printf( "\n" ); |
| 1650 | } |
| 1651 | } |
| 1652 | |
| 1653 | void Tableau::storeState( TableauState &state, TableauStateStorageLevel level ) const |
| 1654 | { |