☰

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).

      PREDICATEstat_no_store/2
      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.

        PREDICATEgather_stats/2

        Usage:gather_stats(Operation,Stats)

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

        • The following properties should hold at call time:
          (nonvar/1)Operation is currently a term which is not a free variable.
          (var/1)Stats is a free variable.

        PREDICATEpretty_print_stats/1

        Usage:pretty_print_stats(Stats)

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

        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.

        PREDICATEadd_stat_step/1

        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.

            PREDICATEclean_stat_steps/0
            Cleans the steps of the database.

            PREDICATEreset_total_info/0
            No further documentation available for this predicate.

            PREDICATEset_total_info/1
            No further documentation available for this predicate.

            PREDICATEadd_to_total_info/1
            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.

            • The following properties should hold at call time:
              (nonvar/1)Info is currently a term which is not a free variable.
              (nonvar/1)PrevInfo is currently a term which is not a free variable.
              (var/1)TotalInfo is a free variable.

            PREDICATEget_total_info/1
            No further documentation available for this predicate.

            PREDICATEpretty_print_acheck_stats/1
            No further documentation available for this predicate.

            PREDICATEpp_statistics/2
            No further documentation available for this predicate.

            Documentation on imports

            This module has the following direct dependencies:
            Generated with LPdoc using Ciao