diff options
| author | Enea Zaffanella <zaffanella@cs.unipr.it> | 2004-12-23 20:19:23 +0000 |
|---|---|---|
| committer | Enea Zaffanella <zaffanella@cs.unipr.it> | 2004-12-23 20:19:23 +0000 |
| commit | 8f61ca175867de0b4d08cde43da4540134164371 (patch) | |
| tree | bd6360704a95f9c3de83d97fcf274217be492dd4 /README | |
| parent | e2b6f55ad1e92b4f04ab0b83c9fdab1e2aa47789 (diff) | |
| download | ppl-8f61ca175867de0b4d08cde43da4540134164371.tar.gz ppl-8f61ca175867de0b4d08cde43da4540134164371.tar.bz2 ppl-8f61ca175867de0b4d08cde43da4540134164371.zip | |
Drafted the doxygen documentation for Coefficient, GMP_Integer, Checked_Number
and Native_Integer, as well as corresponding traits.
Corrected a minor error in the README file.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -13,7 +13,8 @@ To be more precise, the Parma Polyhedra Library (PPL) can handle: + all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described - by an equality or a (strict or non-strict) with rational coefficients; + by an equality or a (strict or non-strict) inequality with rational + coefficients; + finite powersets of the above. |