diff options
| author | Roberto Bagnara <bagnara@cs.unipr.it> | 2010-03-18 18:22:12 +0400 |
|---|---|---|
| committer | Roberto Bagnara <bagnara@cs.unipr.it> | 2010-03-18 18:25:30 +0400 |
| commit | a1178929241483912d8f0839edf1f512a552653c (patch) | |
| tree | ea273a9e7e008e29583ea6ef12b758a36387b499 /NEWS | |
| parent | 9eda06954832ce1cc59c0888d00ef514ed08065c (diff) | |
| download | ppl-a1178929241483912d8f0839edf1f512a552653c.tar.gz ppl-a1178929241483912d8f0839edf1f512a552653c.tar.bz2 ppl-a1178929241483912d8f0839edf1f512a552653c.zip | |
New Linear_Expression methods.
Methods bool Linear_Expression::is_zero() const and
bool Linear_Expression::all_homogeneous_terms_are_zero() const
return true if and only if `*this' is 0, and if and only if all the
homogeneous terms of `*this' are 0, respectively.
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -38,6 +38,14 @@ o The C and Java interfaces now support timeout computation facilities. o New configuration option `--with-gmp-build=DIR' allows to use a non-installed build of GMP in DIR. +o New methods + + bool Linear_Expression::is_zero() const + bool Linear_Expression::all_homogeneous_terms_are_zero() const + + return true if and only if `*this' is 0, and if and only if all the + homogeneous terms of `*this' are 0, respectively. + Deprecated and removed methods ------------------------------ |