| 63 | } |
| 64 | |
| 65 | PiecewiseLinearConstraint *SignConstraint::duplicateConstraint() const |
| 66 | { |
| 67 | SignConstraint *clone = new SignConstraint( _b, _f ); |
| 68 | *clone = *this; |
| 69 | this->initializeDuplicateCDOs( clone ); |
| 70 | return clone; |
| 71 | } |
| 72 | |
| 73 | void SignConstraint::restoreState( const PiecewiseLinearConstraint *state ) |
| 74 | { |
nothing calls this directly
no test coverage detected