- Real linear_combination (Real x) const {
- Drul_array<Real> da (elem (LEFT),
- elem (RIGHT));
- return ::linear_combination (da, x);
- }
- String to_string () const;
-
- bool contains (T r);
- void negate () {
- T r = -elem (LEFT);
- T l = -elem (RIGHT);
- elem (LEFT) = l;
- elem (RIGHT) =r;
+ Real linear_combination (Real x) const;
+ string to_string () const;
+
+ bool contains (T r) const;
+ void negate ()
+ {
+ T r = -at (LEFT);
+ T l = -at (RIGHT);
+ at (LEFT) = l;
+ at (RIGHT) = r;