| 173 | } |
| 174 | |
| 175 | void SigmoidConstraint::eliminateVariable( __attribute__( ( unused ) ) unsigned variable, |
| 176 | __attribute__( ( unused ) ) double fixedValue ) |
| 177 | { |
| 178 | ASSERT( variable == _b || variable == _f ); |
| 179 | |
| 180 | // In a Sigmoid constraint, if a variable is removed the entire constraint can be discarded. |
| 181 | _haveEliminatedVariables = true; |
| 182 | } |
| 183 | |
| 184 | bool SigmoidConstraint::constraintObsolete() const |
| 185 | { |
nothing calls this directly
no outgoing calls
no test coverage detected