Analysis statistics library

Author(s): Isabel Garcia-Contreras.

This module is a database for statistics gathered during modular and incremental analysis.

Documentation on exports

PREDICATEclean_stats/1

Usage:clean_stats(What)

Removes all stored stats with identifier What.

    PREDICATEstat/2

    Usage:stat(What,Goal)

    Runs Goal and stores the time that it took.

      Meta-predicate with arguments: stat(?,goal).

      No further documentation available for this predicate. Meta-predicate with arguments: stat_no_store(goal,?).

      PREDICATEadd_stat/2

      Usage:add_stat(What,Stat)

      Adds a statistic (Stat) with identifier What to the database.

        Usage:gather_stats(+Operation,-Stats)

        Gathers the stats associated with a phase of analysis of ciaopp.

          PREDICATEget_stat/2

          Usage:get_stat(Stats,X)

          Given a statistics structure (currently implemented a as list), gets the value of a specific statistic contained in the set).

          • The following properties should hold at call time:
            (list/1)Stats is a list.

          Usage:add_stat_step(Mod)

          Collects all the stats generated during a modular analysis, i.e., the stats generated in each of the iterations that it requires.

            PREDICATEdump_steps/1

            Usage:dump_steps(File)

            Writes in a file (with terms) the steps generated by add_stat_step.

              Cleans the steps of the database.

              No further documentation available for this predicate.

              No further documentation available for this predicate.

              No further documentation available for this predicate.

              PREDICATEadd_to_info/3

              Usage:add_to_info(+Info,+PrevInfo,-TotalInfo)

              Adds Info to previously accumulated statistics (PrevInfo) to prouce TotalInfo.

                No further documentation available for this predicate.

                Documentation on imports

                This module has the following direct dependencies: