| 190 | } |
| 191 | |
| 192 | List<unsigned> Equation::getListParticipatingVariables() const |
| 193 | { |
| 194 | List<unsigned> result; |
| 195 | for ( const auto &addend : _addends ) |
| 196 | result.append( addend._variable ); |
| 197 | |
| 198 | return result; |
| 199 | } |
| 200 | |
| 201 | double Equation::getCoefficient( unsigned variable ) const |
| 202 | { |
no test coverage detected