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