- The CiaoPP Program Processor »
- PART IV - CiaoPP Internals »
- Debugging the fixpoint operations »
- view_fixp (library)
ON THIS PAGE
view_fixp (library)
Usage and interface
- Library usage:
:- use_module(ciaopp(plai/view_fixp)). - Exports:
- Predicates:
start_view/0, end_view/0, clean_fixpoint_graph/0, view_fixpoint/7.
- Predicates:
Documentation on exports
PREDICATEstart_view/0
No further documentation available for this predicate.
PREDICATEend_view/0
No further documentation available for this predicate.
PREDICATEclean_fixpoint_graph/0
No further documentation available for this predicate.
PREDICATEview_fixpoint/7
No further documentation available for this predicate.
Documentation on imports
This module has the following direct dependencies:- System library modules:
datafacts_rt. - Internal (engine) modules:
term_basic, arithmetic, atomic_basic, basiccontrol, exceptions, term_compare, term_typing, debugger_support, basic_props. - Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, datafacts, ciaopp(ciaopp_options).