profiler_extra (library)

Implementation of some predicates related with the profiler, but that don't requires the activation of the profiling option in the engine.

Usage and interface

Library usage:
:- use_module(library(profilercc/profiler_extra)).
Exports:
- Predicates:
  measure/2, measure/3, measure_nf/3, measure_0/3, get_option/1, time_option/2.

Usage:measure(Goal,Value)

Same as measure/3, but uses ticks to measure the time.

The following properties should hold at call time:
(cgoal/1)Goal is a term which represents a goal, i.e., an atom or a structure.
The following properties should hold upon exit:
(num/1)Value is a number.

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

Usage:measure(Option,Goal,Value)

Unifies Value with the time spent in evaluate Goal, using the type of time Option.

Call and exit should be compatible with:
(atom/1)Option is currently instantiated to an atom.
(cgoal/1)Goal is a term which represents a goal, i.e., an atom or a structure.
The following properties should hold upon exit:
(num/1)Value is a number.

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

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

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

No further documentation available for this predicate. The predicate is of type data.

No further documentation available for this predicate.

This module has the following direct dependencies: