| 676 | } |
| 677 | |
| 678 | unsigned Tableau::getLeavingVariable() const |
| 679 | { |
| 680 | if ( _leavingVariable == _m ) |
| 681 | return _nonBasicIndexToVariable[_enteringVariable]; |
| 682 | |
| 683 | return _basicIndexToVariable[_leavingVariable]; |
| 684 | } |
| 685 | |
| 686 | unsigned Tableau::getLeavingVariableIndex() const |
| 687 | { |