☰

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

PREDICATEfixpoint_trace/7
No further documentation available for this predicate.

PREDICATEtrace_fixp/1
trace_fixp(X)

Toggle a trace of the fixpoint computation during analysis. The (X=op_count) option counts steps of fixpoint operations, 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 show_fixpoint_op_count.

Usage 1:trace_fixp(X)

Mode for setting the current flag to a single value.

Usage 2: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.

PREDICATEmemotable_trace/3
No further documentation available for this predicate.

PREDICATEshow_spypoint_op_count/0
No further documentation available for this predicate.

PREDICATEshow_updated_memotable/3
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.

PREDICATEtrace_reset/0
No further documentation available for this predicate.

REGTYPEtrace_option/1
A regular type, defined as follows:
trace_option(no).
trace_option(op_count).
trace_option(trace).
trace_option(view).

Generated with LPdoc using Ciao