Module: ppl/ppl Branch: master Commit: 975155b93f219d5b8e5faddbb811c11101e76ffb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=975155b93f219...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 28 06:33:57 2011 +0200
Use standard notation for pairs.
---
src/CO_Tree.defs.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/CO_Tree.defs.hh b/src/CO_Tree.defs.hh index 5936105..f565ffd 100644 --- a/src/CO_Tree.defs.hh +++ b/src/CO_Tree.defs.hh @@ -75,7 +75,7 @@ namespace Parma_Polyhedra_Library { available caches.
Assuming \p n is the number of elements in the tree and \p B is the number - of <dimension_type,Coefficient> pairs that fit in a cache line, the + of (dimension_type, Coefficient) pairs that fit in a cache line, the time and cache misses complexities are the following:
- Insertions/Queries/Deletions: \f$O(\log^2 n)\f$ time,