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.
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.
Mode for setting the current flag to a single value.
Mode for setting the current flag to several values.
trace_option(no). trace_option(op_count). trace_option(trace). trace_option(view).