| 31 | #endif |
| 32 | |
| 33 | SignConstraint::SignConstraint( unsigned b, unsigned f ) |
| 34 | : PiecewiseLinearConstraint( TWO_PHASE_PIECEWISE_LINEAR_CONSTRAINT ) |
| 35 | , _b( b ) |
| 36 | , _f( f ) |
| 37 | , _direction( PHASE_NOT_FIXED ) |
| 38 | , _haveEliminatedVariables( false ) |
| 39 | { |
| 40 | } |
| 41 | |
| 42 | SignConstraint::SignConstraint( const String &serializedSign ) |
| 43 | : _haveEliminatedVariables( false ) |