@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
81 lines • 30.4 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript" src="lpdoc.js"></script><title>The CiaoPP high-level interface — The CiaoPP Program Processor v1.5</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="part_usage.html">↑</a><a class="lpdoc-navbutton" href="part_usage.html">←</a><a class="lpdoc-navbutton" href="ciaopp.html">→</a><a class="lpdoc-navbutton" href="ciaopp_ref_mansearch.html">🔍</a></span><span><a href="ciaopp_ref_manfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciaopp_ref_man.html">The CiaoPP Program Processor</a> »<br/> </li><li><a href="part_usage.html">PART I - Using CiaoPP</a> »<br/> </li><li><a href=""><strong>The CiaoPP high-level interface</strong></a></li></ul><hr></hr><em>ON THIS PAGE</em><ul><li><a href="#Usage and interface">Usage and interface</a></li><li><a href="#Documentation on exports">Documentation on exports</a></li><li><a href="#Documentation on multifiles">Documentation on multifiles</a></li><li><a href="#Documentation on imports">Documentation on imports</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>The CiaoPP high-level interface</h1><a class="lpdoc-idx-anchor" href="ciaopp_ref_mansearch.html#auto_interface"></a>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="CiaoPP development team" href="ciaopp_ref_mansearch.html#CiaoPP development team">CiaoPP development team</a>.<p>
This module defines the high-level interface for CiaoPP, which makes it easy to perform some analysis and transformation tasks, such as checking program assertions (i.e., types, modes, determinacy, non-failure, cost, etc.), and performing optimizations such as specialization and parallelization. The results can be observed both as CiaoPP messages and as a transformed annotated program.<p>In the <a class="lpdoc-idx-anchor" id="0" href="ciaopp_ref_mansearch.html#emacs"><tt>emacs</tt></a> environment these actions can be performed by clicking on the corresponding button in the toolbar or in the CiaoPP menus. The high-level interface allows calling these actions as predicates from a <strong>CiaoPP top-level</strong> shell:<p><ul> <li><tt>auto_check_assert(File)</tt>: check assertions in File <li><tt>auto_analyze(File)</tt>: analyze File <li><tt>auto_optimize(File)</tt>: optimize File </ul> <p>The actions above can be controlled by a set of <strong>preprocessor flags</strong>. Note that, depending on some of these flags, processing can be of one module or also all the related modules. The default values of the CiaoPP flags can be changed with the following predicates:<p><ul> <li><tt>customize(all)</tt>: select (interactively) the values for the different options (do not perform any action). <li><a class="lpdoc-idx-anchor" id="1" href="ciaopp_ref_mansearch.html#set_menu_flag/3"><tt>set_menu_flag/3</tt></a>: select flag values non-interactively. </ul> <p>The <a class="lpdoc-idx-anchor" id="2" href="ciaopp_ref_mansearch.html#emacs"><tt>emacs</tt></a> environment offers a graphical version of these menus.<p>These customization menus can be configured to show more or less detailed options, depending on the level of expertise of the user. This can be configured in the menu changing the <tt>Menu Level</tt> flag to <tt>naive</tt> or <tt>expert</tt>. The following predicates provide handy shortcuts to perform customization and preprocessing actions:<p><ul> <li><tt>customize_and_preprocess(File)</tt>: enter a menu to select the preprocessing action and options to be performed on file <span class="lpdoc-var">File</span> (or <span class="lpdoc-var">File</span> and its related modules), select the different options, and then perform the action.<p><li><tt>again</tt>: perform again the last actions selected for <a class="lpdoc-idx-anchor" id="3" href="#customize_and_preprocess/1"><tt>customize_and_preprocess/1</tt></a> on the same file (useful for re-processing after changing a file). </ul> <br/><div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li><strong>Library usage:</strong><br/><tt>:- use_module(ciaopp(auto_interface)).</tt><li><strong>Exports:</strong><br/><ul class="lpdoc-itemize-minus"><li><em>Predicates:</em><br/><a class="lpdoc-idx-anchor" id="4" href="#auto_analyze/1"><tt>auto_analyze/1</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#auto_optimize/1"><tt>auto_optimize/1</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#auto_check_assert/1"><tt>auto_check_assert/1</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#auto_analyze/2"><tt>auto_analyze/2</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#auto_optimize/2"><tt>auto_optimize/2</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#auto_check_assert/2"><tt>auto_check_assert/2</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#customize/0"><tt>customize/0</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#customize/1"><tt>customize/1</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#customize_and_preprocess/0"><tt>customize_and_preprocess/0</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#customize_and_preprocess/1"><tt>customize_and_preprocess/1</tt></a>, <a class="lpdoc-idx-anchor" id="14" href="#customize_but_dont_save/1"><tt>customize_but_dont_save/1</tt></a>, <a class="lpdoc-idx-anchor" id="15" href="#again/0"><tt>again/0</tt></a>.
<li><em>Multifiles:</em><br/><a class="lpdoc-idx-anchor" id="16" href="#hook_menu_flag_values/3"><tt>hook_menu_flag_values/3</tt></a>, <a class="lpdoc-idx-anchor" id="17" href="#hook_menu_check_flag_value/3"><tt>hook_menu_check_flag_value/3</tt></a>, <a class="lpdoc-idx-anchor" id="18" href="#hook_menu_flag_help/3"><tt>hook_menu_flag_help/3</tt></a>, <a class="lpdoc-idx-anchor" id="19" href="#hook_menu_default_option/3"><tt>hook_menu_default_option/3</tt></a>, <a class="lpdoc-idx-anchor" id="20" href="#aidomain/1"><tt>aidomain/1</tt></a>.
</ul></ul></div></div><div id="Documentation on exports"><h2>Documentation on exports</h2><div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="auto_analyze/1" href="ciaopp_ref_mansearch.html#auto_analyze/1">auto_analyze/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>auto_analyze(F)</tt>
</span><p>Analyze the module <span class="lpdoc-var">F</span> with the current analysis options (use <tt>customize(analyze)</tt> to change these options).</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="auto_optimize/1" href="ciaopp_ref_mansearch.html#auto_optimize/1">auto_optimize/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>auto_optimize(F)</tt>
</span><p>Optimize file <span class="lpdoc-var">F</span> with the current options (use <tt>customize(optimize)</tt> to change these options).</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="auto_check_assert/1" href="ciaopp_ref_mansearch.html#auto_check_assert/1">auto_check_assert/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>auto_check_assert(F)</tt>
</span><p>Check the assertions in file <span class="lpdoc-var">F</span>, with the current options, giving errors if assertions are violated (use <tt>customize(check_assertions)</tt> to change these options).</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="auto_analyze/2" href="ciaopp_ref_mansearch.html#auto_analyze/2">auto_analyze/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>auto_analyze(F,OFile)</tt>
</span><p>Same as <a class="lpdoc-idx-anchor" id="21" href="#auto_analyze/1"><tt>auto_analyze/1</tt></a> but the output file will be <span class="lpdoc-var">OFile</span>.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="auto_optimize/2" href="ciaopp_ref_mansearch.html#auto_optimize/2">auto_optimize/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>auto_optimize(F,OFile)</tt>
</span><p>Same as <a class="lpdoc-idx-anchor" id="22" href="#auto_optimize/1"><tt>auto_optimize/1</tt></a> but the output file will be <span class="lpdoc-var">OFile</span>.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="auto_check_assert/2" href="ciaopp_ref_mansearch.html#auto_check_assert/2">auto_check_assert/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>auto_check_assert(F,OFile)</tt>
</span><p>Same as <a class="lpdoc-idx-anchor" id="23" href="ciaopp_ref_mansearch.html#auto_check_assrt/1"><tt>auto_check_assrt/1</tt></a> but the output file will be <span class="lpdoc-var">OFile</span>.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="customize/0" href="ciaopp_ref_mansearch.html#customize/0">customize/0</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><p>Enter an interactive menu to select the preprocessing action (analysis / assertion checking / transformation / optimization / ...) to be performed by default and the different options (i.e., setting the preprocessor flags).</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="customize/1" href="ciaopp_ref_mansearch.html#customize/1">customize/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>customize(X)</tt>
</span><p>Customize is used for changing the values of the flags used during preprocessing. These flags are grouped into three main classes of actions: <em>analyzing</em>, <em>checking assertions</em>, or <em>optimizing</em> programs. <span class="lpdoc-var">X</span> should be instantiated to one of: <tt>analyze</tt>, <tt>check_assertions</tt>, <tt>optimize</tt>, or <tt>all</tt> (which allows choosing among the previous three).</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="customize_and_preprocess/0" href="ciaopp_ref_mansearch.html#customize_and_preprocess/0">customize_and_preprocess/0</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><p>Select options using <tt>customize/0</tt>, and then call <a class="lpdoc-idx-anchor" id="24" href="#auto_analyze/1"><tt>auto_analyze/1</tt></a>, <a class="lpdoc-idx-anchor" id="25" href="#auto_optimize/1"><tt>auto_optimize/1</tt></a>, or <a class="lpdoc-idx-anchor" id="26" href="#auto_check_assert/1"><tt>auto_check_assert/1</tt></a> (as determined by the selected options) on the default file. If no default file is defined, prompt for the name of to be processed, which becomes from now on the default file.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="customize_and_preprocess/1" href="ciaopp_ref_mansearch.html#customize_and_preprocess/1">customize_and_preprocess/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>customize_and_preprocess(File)</tt>
</span><p>Select options using <tt>customize/0</tt>, and then call <a class="lpdoc-idx-anchor" id="27" href="#auto_analyze/1"><tt>auto_analyze/1</tt></a>, <a class="lpdoc-idx-anchor" id="28" href="#auto_optimize/1"><tt>auto_optimize/1</tt></a>, or <a class="lpdoc-idx-anchor" id="29" href="#auto_check_assert/1"><tt>auto_check_assert/1</tt></a> (as determined by the selected options) with <span class="lpdoc-var">File</span> as argument. <span class="lpdoc-var">File</span> is from now on the default file.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="customize_but_dont_save/1" href="ciaopp_ref_mansearch.html#customize_but_dont_save/1">customize_but_dont_save/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>customize_but_dont_save(Option)</tt>
</span><p>Same as customize(<span class="lpdoc-var">Option</span>), but menu flags will not be modified.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="again/0" href="ciaopp_ref_mansearch.html#again/0">again/0</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><p>Performs the last actions done by <a class="lpdoc-idx-anchor" id="30" href="#customize_and_preprocess/1"><tt>customize_and_preprocess/1</tt></a>, on the last file previously analyzed, checked, or optimized</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="get_menu_configs/1" href="ciaopp_ref_mansearch.html#get_menu_configs/1">get_menu_configs/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>get_menu_configs(X)</tt>
</span><p>Returns a list of atoms in <span class="lpdoc-var">X</span> with the name of stored configurations.</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold at call time:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="31" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)</span><span><span class="lpdoc-var">X</span> is a free variable.
</span>
<li><em>The following properties should hold upon exit:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="32" href="basic_props.html#list/2"><tt>list/2</tt></a>)</span><span><span class="lpdoc-var">X</span> is a list of <span class="lpdoc-var">atm</span>s.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="save_menu_config/1" href="ciaopp_ref_mansearch.html#save_menu_config/1">save_menu_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>save_menu_config(Name)</tt>
</span><p>Save the current flags configuration under the <span class="lpdoc-var">Name</span> key.</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold at call time:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="33" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is an atom.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="remove_menu_config/1" href="ciaopp_ref_mansearch.html#remove_menu_config/1">remove_menu_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>remove_menu_config(Name)</tt>
</span><p>Remove the configuration stored with the <span class="lpdoc-var">Name</span> key (the same provided in <a class="lpdoc-idx-anchor" id="34" href="#save_menu_config/1"><tt>save_menu_config/1</tt></a>).</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold at call time:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="35" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is an atom.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="restore_menu_config/1" href="ciaopp_ref_mansearch.html#restore_menu_config/1">restore_menu_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>restore_menu_config(Name)</tt>
</span><p>Restore the configuration saved with the <span class="lpdoc-var">Name</span> key (the same provided in <a class="lpdoc-idx-anchor" id="36" href="#save_menu_config/1"><tt>save_menu_config/1</tt></a>).</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold at call time:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="37" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is an atom.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="show_menu_configs/0" href="ciaopp_ref_mansearch.html#show_menu_configs/0">show_menu_configs/0</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><p>Show all stored configurations.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="show_menu_config/1" href="ciaopp_ref_mansearch.html#show_menu_config/1">show_menu_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>show_menu_config(C)</tt>
</span><p>Show specific configuration values pointed by <span class="lpdoc-var">C</span> key (the same provided in <a class="lpdoc-idx-anchor" id="38" href="#save_menu_config/1"><tt>save_menu_config/1</tt></a>).</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold at call time:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="39" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">C</span> is an atom.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="get_menu_flag/3" href="ciaopp_ref_mansearch.html#get_menu_flag/3">get_menu_flag/3</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="40" href="ciaopp_ref_mansearch.html#menu_generator"><tt>menu_generator</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="get_menu_flag/3" href="ciaopp_ref_mansearch.html#get_menu_flag/3">get_menu_flag/3</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="41" href="ciaopp_ref_mansearch.html#menu_generator"><tt>menu_generator</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="set_menu_flag/3" href="ciaopp_ref_mansearch.html#set_menu_flag/3">set_menu_flag/3</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="42" href="ciaopp_ref_mansearch.html#menu_generator"><tt>menu_generator</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="set_menu_flag/3" href="ciaopp_ref_mansearch.html#set_menu_flag/3">set_menu_flag/3</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="43" href="ciaopp_ref_mansearch.html#menu_generator"><tt>menu_generator</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="menu_branch/4" href="ciaopp_ref_mansearch.html#menu_branch/4">menu_branch/4</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="44" href="ciaopp_ref_mansearch.html#menu_rt"><tt>menu_rt</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="menu_branch/3" href="ciaopp_ref_mansearch.html#menu_branch/3">menu_branch/3</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="45" href="ciaopp_ref_mansearch.html#menu_rt"><tt>menu_rt</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="true/2" href="ciaopp_ref_mansearch.html#true/2">true/2</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="46" href="ciaopp_ref_mansearch.html#menu_rt"><tt>menu_rt</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="true1/1" href="ciaopp_ref_mansearch.html#true1/1">true1/1</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="47" href="ciaopp_ref_mansearch.html#menu_rt"><tt>menu_rt</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">(UNDOC_REEXPORT)</span><a class="lpdoc-idx-anchor" id="functor1/2" href="ciaopp_ref_mansearch.html#functor1/2">functor1/2</a></div><div class="lpdoc-deftext">
Imported from <a class="lpdoc-idx-anchor" id="48" href="ciaopp_ref_mansearch.html#menu_rt"><tt>menu_rt</tt></a> (see the corresponding documentation for details).<br/></div></div><p>
</div><div id="Documentation on multifiles"><h2>Documentation on multifiles</h2><div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="hook_menu_flag_values/3" href="ciaopp_ref_mansearch.html#hook_menu_flag_values/3">hook_menu_flag_values/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is <em>multifile</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="hook_menu_check_flag_value/3" href="ciaopp_ref_mansearch.html#hook_menu_check_flag_value/3">hook_menu_check_flag_value/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is <em>multifile</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="hook_menu_flag_help/3" href="ciaopp_ref_mansearch.html#hook_menu_flag_help/3">hook_menu_flag_help/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is <em>multifile</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="hook_menu_default_option/3" href="ciaopp_ref_mansearch.html#hook_menu_default_option/3">hook_menu_default_option/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is <em>multifile</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="aidomain/1" href="ciaopp_ref_mansearch.html#aidomain/1">aidomain/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is <em>multifile</em>.<br/></div></div><p>
</div><div id="Documentation on imports"><h2>Documentation on imports</h2>This module has the following direct dependencies:<ul class="lpdoc-itemize-minus"><li><em>Application modules:</em><br/><a class="lpdoc-idx-anchor" id="49" href="frontend_driver.html"><tt>frontend_driver</tt></a>, <a class="lpdoc-idx-anchor" id="50" href="analyze_driver.html"><tt>analyze_driver</tt></a>, <a class="lpdoc-idx-anchor" id="51" href="transform_driver.html"><tt>transform_driver</tt></a>, <a class="lpdoc-idx-anchor" id="52" href="ciaopp_ref_mansearch.html#ciaopp_log"><tt>ciaopp_log</tt></a>, <a class="lpdoc-idx-anchor" id="53" href="ciaopp_ref_mansearch.html#p_dump"><tt>p_dump</tt></a>, <a class="lpdoc-idx-anchor" id="54" href="ciaopp_ref_mansearch.html#fixpo_ops"><tt>fixpo_ops</tt></a>, <a class="lpdoc-idx-anchor" id="55" href="ciaopp_ref_mansearch.html#acc_ops"><tt>acc_ops</tt></a>, <a class="lpdoc-idx-anchor" id="56" href="intermod.html"><tt>intermod</tt></a>, <a class="lpdoc-idx-anchor" id="57" href="ciaopp_ref_mansearch.html#infer_db"><tt>infer_db</tt></a>, <a class="lpdoc-idx-anchor" id="58" href="ciaopp_ref_mansearch.html#infer_dom"><tt>infer_dom</tt></a>, <a class="lpdoc-idx-anchor" id="59" href="ciaopp_ref_mansearch.html#analysis_stats"><tt>analysis_stats</tt></a>, <a class="lpdoc-idx-anchor" id="60" href="preprocess_flags.html"><tt>preprocess_flags</tt></a>, <a class="lpdoc-idx-anchor" id="61" href="ciaopp_ref_mansearch.html#static_abs_exec_table"><tt>static_abs_exec_table</tt></a>, <a class="lpdoc-idx-anchor" id="62" href="ciaopp_ref_mansearch.html#abs_exec"><tt>abs_exec</tt></a>.
<li><em>System library modules:</em><br/><a class="lpdoc-idx-anchor" id="63" href="ciaopp_ref_mansearch.html#datafacts_rt"><tt>datafacts_rt</tt></a>, <a class="lpdoc-idx-anchor" id="64" href="ciaopp_ref_mansearch.html#menu_generator"><tt>menu_generator</tt></a>, <a class="lpdoc-idx-anchor" id="65" href="ciaopp_ref_mansearch.html#menu_rt"><tt>menu_rt</tt></a>, <a class="lpdoc-idx-anchor" id="66" href="ciaopp_ref_mansearch.html#assrt_lib"><tt>assrt_lib</tt></a>, <a class="lpdoc-idx-anchor" id="67" href="p_unit.html"><tt>p_unit</tt></a>, <a class="lpdoc-idx-anchor" id="68" href="ciaopp_ref_mansearch.html#p_unit_db"><tt>p_unit_db</tt></a>, <a class="lpdoc-idx-anchor" id="69" href="ciaopp_ref_mansearch.html#lists"><tt>lists</tt></a>, <a class="lpdoc-idx-anchor" id="70" href="ciaopp_ref_mansearch.html#aggregates"><tt>aggregates</tt></a>, <a class="lpdoc-idx-anchor" id="71" href="ciaopp_ref_mansearch.html#system"><tt>system</tt></a>, <a class="lpdoc-idx-anchor" id="72" href="ciaopp_ref_mansearch.html#messages"><tt>messages</tt></a>, <a class="lpdoc-idx-anchor" id="73" href="ciaopp_ref_mansearch.html#prompt"><tt>prompt</tt></a>, <a class="lpdoc-idx-anchor" id="74" href="ciaopp_ref_mansearch.html#pathnames"><tt>pathnames</tt></a>, <a class="lpdoc-idx-anchor" id="75" href="ciaopp_ref_mansearch.html#port_reify"><tt>port_reify</tt></a>, <a class="lpdoc-idx-anchor" id="76" href="ciaopp_ref_mansearch.html#llists"><tt>llists</tt></a>, <a class="lpdoc-idx-anchor" id="77" href="ciaopp_ref_mansearch.html#sort"><tt>sort</tt></a>.
<li><em>Internal (engine) modules:</em><br/><a class="lpdoc-idx-anchor" id="78" href="ciaopp_ref_mansearch.html#term_basic"><tt>term_basic</tt></a>, <a class="lpdoc-idx-anchor" id="79" href="ciaopp_ref_mansearch.html#arithmetic"><tt>arithmetic</tt></a>, <a class="lpdoc-idx-anchor" id="80" href="ciaopp_ref_mansearch.html#atomic_basic"><tt>atomic_basic</tt></a>, <a class="lpdoc-idx-anchor" id="81" href="ciaopp_ref_mansearch.html#basiccontrol"><tt>basiccontrol</tt></a>, <a class="lpdoc-idx-anchor" id="82" href="ciaopp_ref_mansearch.html#exceptions"><tt>exceptions</tt></a>, <a class="lpdoc-idx-anchor" id="83" href="ciaopp_ref_mansearch.html#term_compare"><tt>term_compare</tt></a>, <a class="lpdoc-idx-anchor" id="84" href="ciaopp_ref_mansearch.html#term_typing"><tt>term_typing</tt></a>, <a class="lpdoc-idx-anchor" id="85" href="ciaopp_ref_mansearch.html#debugger_support"><tt>debugger_support</tt></a>, <a class="lpdoc-idx-anchor" id="86" href="basic_props.html"><tt>basic_props</tt></a>, <a class="lpdoc-idx-anchor" id="87" href="ciaopp_ref_mansearch.html#hiord_rt"><tt>hiord_rt</tt></a>, <a class="lpdoc-idx-anchor" id="88" href="ciaopp_ref_mansearch.html#io_basic"><tt>io_basic</tt></a>.
<li><em>Packages:</em><br/><a class="lpdoc-idx-anchor" id="89" href="ciaopp_ref_mansearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="90" href="ciaopp_ref_mansearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="91" href="ciaopp_ref_mansearch.html#condcomp"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="92" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="93" href="ciaopp_ref_mansearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="94" href="ciaopp_ref_mansearch.html#fsyntax"><tt>fsyntax</tt></a>, <a class="lpdoc-idx-anchor" id="95" href="ciaopp_ref_mansearch.html#dcg"><tt>dcg</tt></a>, <a class="lpdoc-idx-anchor" id="96" href="ciaopp_ref_mansearch.html#datafacts"><tt>datafacts</tt></a>, <a class="lpdoc-idx-anchor" id="97" href="ciaopp_ref_mansearch.html#ciaopp(ciaopp_options)"><tt>ciaopp(ciaopp_options)</tt></a>, <a class="lpdoc-idx-anchor" id="98" href="ciaopp_ref_mansearch.html#isomodes"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="99" href="ciaopp_ref_mansearch.html#menu"><tt>menu</tt></a>, <a class="lpdoc-idx-anchor" id="100" href="ciaopp_ref_mansearch.html#argnames"><tt>argnames</tt></a>.
</ul></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>