| 328 | } |
| 329 | |
| 330 | void Tableau::assignIndexToBasicVariable( unsigned variable, unsigned index ) |
| 331 | { |
| 332 | _basicIndexToVariable[index] = variable; |
| 333 | _variableToIndex[variable] = index; |
| 334 | } |
| 335 | |
| 336 | void Tableau::initializeTableau( const List<unsigned> &initialBasicVariables ) |
| 337 | { |
nothing calls this directly
no outgoing calls
no test coverage detected