[PPL-devel] [GIT] ppl/ppl(master): Better terminology and identifiers concerning time units.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 8f37574794416e4c97d012e8a51be42fe3b310aa
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f37574794416e4c97d012e8a51be42fe3b310aa

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Oct 10 08:39:04 2011 +0200

Better terminology and identifiers concerning time units.
(Thanks to Anthony Foiani.)

---

 Watchdog/src/Time.cc                               |    2 +-
 Watchdog/src/Time.defs.hh                          |   10 +++++-----
 Watchdog/src/Time.inlines.hh                       |   19 +++++++++----------
 Watchdog/src/Watchdog.cc                           |    6 +++---
 Watchdog/src/Watchdog.defs.hh                      |   10 +++++-----
 Watchdog/src/Watchdog.inlines.hh                   |   20 ++++++++++----------
 Watchdog/tests/watchdog1.cc                        |    6 +++---
 demos/ppl_lpsol/ppl_lpsol.c                        |   10 +++++-----
 interfaces/C/ppl_c_header.h                        |   14 +++++++-------
 interfaces/C/ppl_c_implementation_common.cc        |    6 +++---
 interfaces/C/tests/watchdog1.c                     |    5 ++---
 interfaces/Java/jni/ppl_java_globals.cc            |   10 +++++-----
 .../Parma_Polyhedra_Library.java                   |   14 +++++++-------
 .../Java/tests/Parma_Polyhedra_Library_test2.java  |    8 ++++----
 interfaces/OCaml/OCaml_interface.dox               |    8 ++++----
 interfaces/Prolog/Prolog_interface.dox             |    6 +++---
 interfaces/Prolog/ppl_prolog_common.cc             |    9 ++++-----
 interfaces/Prolog/ppl_prolog_common.defs.hh        |    2 +-
 interfaces/Prolog/ppl_prolog_sysindep_dox          |    4 ++--
 interfaces/Prolog/tests/pl_check.pl                |    6 +++---
 tests/Polyhedron/watchdog1.cc                      |    5 ++---
 utils/timings.cc                                   |   18 +++++++++---------
 22 files changed, 97 insertions(+), 101 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8f37574794416e4c97d012e8a51be42fe3b310aa