| 182 | } |
| 183 | |
| 184 | bool SigmoidConstraint::constraintObsolete() const |
| 185 | { |
| 186 | return _haveEliminatedVariables; |
| 187 | } |
| 188 | |
| 189 | void SigmoidConstraint::getEntailedTightenings( List<Tightening> &tightenings ) const |
| 190 | { |
nothing calls this directly
no outgoing calls
no test coverage detected