Fixpoint tracer

Stability: [devel] Currently the subject of active development and/or research. Functionality may be limited and API and/or functionality may change without warning or deprecation period. Not recommended yet for use in production.


This module traces the operations of fixpoints by explicitely calling fixpoint_trace/7 during computation.

To deactivate tracing (it can slowdown the analysis), package ciaopp(plai/notrace) has to be imported in the used fixpoint.

Usage and interface

Documentation on exports

No further documentation available for this predicate.

PREDICATEtrace_fixp/1
trace_fixp(X)

Toggle a trace of the fixpoint computation during analysis. The trace can add up information on the analysis (X=info), show certain relevant spy points during analysis (X=trace), and/or display the analysis graph which is being constructed (X=view). The information added up can be seen at end of analysis with ciao:fixpoint_info.

Usage 1:trace_fixp(X)

Mode for querying the current flag value.

  • The following properties should hold at call time:
    (var/1)X is a free variable.
  • The following properties should hold upon exit:
    (list/2)X is a list of trace_options.

Usage 2:trace_fixp(X)

Mode for setting the current flag to a single value.

Usage 3:trace_fixp(X)

Mode for setting the current flag to several values.

  • The following properties should hold at call time:
    (list/2)X is a list of trace_options.
  • The following properties should hold globally:
    (not_further_inst/2)X is not further instantiated.

PREDICATEcleanup/0
No further documentation available for this predicate.

No further documentation available for this predicate.

No further documentation available for this predicate.

No further documentation available for this predicate.

PREDICATEtrace_init/0
No further documentation available for this predicate.

PREDICATEtrace_end/0
No further documentation available for this predicate.

A regular type, defined as follows:
trace_option(no).
trace_option(info).
trace_option(trace).
trace_option(view).