| 32 | #endif |
| 33 | |
| 34 | MaxConstraint::MaxConstraint( unsigned f, const Set<unsigned> &elements ) |
| 35 | : PiecewiseLinearConstraint( elements.size() ) |
| 36 | , _f( f ) |
| 37 | , _elements( elements ) |
| 38 | , _initialElements( elements ) |
| 39 | , _obsolete( false ) |
| 40 | , _maxLowerBound( FloatUtils::negativeInfinity() ) |
| 41 | , _haveFeasibleEliminatedPhases( false ) |
| 42 | , _maxValueOfEliminatedPhases( FloatUtils::negativeInfinity() ) |
| 43 | { |
| 44 | } |
| 45 | |
| 46 | MaxConstraint::MaxConstraint( const String &serializedMax ) |
| 47 | { |