@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
75 lines • 22.5 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>Database for intermodular analysis driver — 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="intermod.html">↑</a><a class="lpdoc-navbutton" href="intermod.html">←</a><a class="lpdoc-navbutton" href="intermod_schedule.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_internals.html">PART IV - CiaoPP Internals</a> »<br/> </li><li><a href="intermod.html">Modular driver</a> »<br/> </li><li><a href=""><strong>Database for intermodular analysis driver</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 imports">Documentation on imports</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Database for intermodular analysis driver</h1><a class="lpdoc-idx-anchor" href="ciaopp_ref_mansearch.html#intermod_db"></a>
This module contains the predicates used as data base (state) of intermodular analysis. This includes the program unit graph, i.e., the imported/exported modules graph; and the global analysis graph (registry), i.e., the intermodular equivalent of complete/7 in plai_db, that contains the relations of the predicates in the boundaries of the modules, i.e., how exported predicates call imported predicates.<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(plai/intermod_db)).</tt><li><strong>Exports:</strong><br/><ul class="lpdoc-itemize-minus"><li><em>Predicates:</em><br/><a class="lpdoc-idx-anchor" id="0" href="#add_main_module/1"><tt>add_main_module/1</tt></a>, <a class="lpdoc-idx-anchor" id="1" href="#main_module/2"><tt>main_module/2</tt></a>, <a class="lpdoc-idx-anchor" id="2" href="#punit_module/2"><tt>punit_module/2</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="#local_ana_module/2"><tt>local_ana_module/2</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#registry/3"><tt>registry/3</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#registry_header/2"><tt>registry_header/2</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#module_depth/2"><tt>module_depth/2</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#imported_module/2"><tt>imported_module/2</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#caller_module/2"><tt>caller_module/2</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#src_changed/1"><tt>src_changed/1</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#add_src_changed/1"><tt>add_src_changed/1</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#unset_src_changed/1"><tt>unset_src_changed/1</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#clean_program_structure/0"><tt>clean_program_structure/0</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#set_main_module/1"><tt>set_main_module/1</tt></a>, <a class="lpdoc-idx-anchor" id="14" href="#set_punit_modules/1"><tt>set_punit_modules/1</tt></a>, <a class="lpdoc-idx-anchor" id="15" href="#set_local_ana_modules/1"><tt>set_local_ana_modules/1</tt></a>, <a class="lpdoc-idx-anchor" id="16" href="#get_registry/4"><tt>get_registry/4</tt></a>, <a class="lpdoc-idx-anchor" id="17" href="#add_registry/2"><tt>add_registry/2</tt></a>, <a class="lpdoc-idx-anchor" id="18" href="#cleanup_registry/1"><tt>cleanup_registry/1</tt></a>, <a class="lpdoc-idx-anchor" id="19" href="#reg_version/1"><tt>reg_version/1</tt></a>, <a class="lpdoc-idx-anchor" id="20" href="#registry_header_format/2"><tt>registry_header_format/2</tt></a>, <a class="lpdoc-idx-anchor" id="21" href="#mod_typedb/2"><tt>mod_typedb/2</tt></a>, <a class="lpdoc-idx-anchor" id="22" href="#add_mod_typedb/2"><tt>add_mod_typedb/2</tt></a>, <a class="lpdoc-idx-anchor" id="23" href="#enum_mod_typedb/1"><tt>enum_mod_typedb/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="add_main_module/1" href="ciaopp_ref_mansearch.html#add_main_module/1">add_main_module/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="main_module/2" href="ciaopp_ref_mansearch.html#main_module/2">main_module/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>main_module(Base,Mod)</tt>
</span><p>Succeeds if <span class="lpdoc-var">Base</span> is an entry module of the program unit to be analyzed.</p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="punit_module/2" href="ciaopp_ref_mansearch.html#punit_module/2">punit_module/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>punit_module(Base,Mod)</tt>
</span><p>Succeeds if <span class="lpdoc-var">Base</span> is a module of the program unit to be analyzed (if reachable).</p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="local_ana_module/2" href="ciaopp_ref_mansearch.html#local_ana_module/2">local_ana_module/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>local_ana_module(Base,Mod)</tt>
</span><p>Succeeds if <span class="lpdoc-var">File</span> is a module of the program unit that is being analyzed in this iteration of the intermodular analysis.</p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="registry/3" href="ciaopp_ref_mansearch.html#registry/3">registry/3</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>registry(Key,Module,Registry)</tt>
</span><p>Data predicate to locally store information about the registry of one or several modules. <span class="lpdoc-var">Module</span> is the name of the module for which <span class="lpdoc-var">Registry</span> is an entry in the registry file. It corresponds to the <em>global answer table</em> as it is described in [<a class="lpdoc-idx-anchor" id="24" href="ciaopp_ref_manrefs.html#mod-an-spec_tr_2003">PCH03</a>], or other auxiliary information (e.g., types).</p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="registry_header/2" href="ciaopp_ref_mansearch.html#registry_header/2">registry_header/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>registry_header(Module,HeaderTerm)</tt>
</span><p><span class="lpdoc-var">HeaderTerm</span> is a term read from the registry header of module <span class="lpdoc-var">Module</span>. Data predicate to store the header terms of every registry file read. The list of registry header terms depends on the registry file version, and is stored in <tt>registry_header_format/2</tt></p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="module_depth/2" href="ciaopp_ref_mansearch.html#module_depth/2">module_depth/2</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="imported_module/2" href="ciaopp_ref_mansearch.html#imported_module/2">imported_module/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>imported_module(Module,Base)</tt>
</span><p>Enumerates the modules imported by the current module</p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="caller_module/2" href="ciaopp_ref_mansearch.html#caller_module/2">caller_module/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>caller_module(Module,BaseName)</tt>
</span><p>List of caller modules to be processed.</p><ul class="lpdoc-itemize-minus"></ul>
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="src_changed/1" href="ciaopp_ref_mansearch.html#src_changed/1">src_changed/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.
The predicate is of type <em>data</em>.<br/></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="add_src_changed/1" href="ciaopp_ref_mansearch.html#add_src_changed/1">add_src_changed/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="unset_src_changed/1" href="ciaopp_ref_mansearch.html#unset_src_changed/1">unset_src_changed/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="clean_program_structure/0" href="ciaopp_ref_mansearch.html#clean_program_structure/0">clean_program_structure/0</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="set_main_module/1" href="ciaopp_ref_mansearch.html#set_main_module/1">set_main_module/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>set_main_module(File)</tt>
</span><p></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="25" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)</span><span><span class="lpdoc-var">File</span> is currently a term which is not a free variable.
</span>
<li><em>The following properties should hold globally:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="26" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)</span><span>All the calls of the form <span class="lpdoc-var">set_main_module(File)</span> do not fail.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="set_punit_modules/1" href="ciaopp_ref_mansearch.html#set_punit_modules/1">set_punit_modules/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>set_punit_modules(File)</tt>
</span><p></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="27" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)</span><span><span class="lpdoc-var">File</span> is currently a term which is not a free variable.
</span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="28" href="basic_props.html#list/1"><tt>list/1</tt></a>)</span><span><span class="lpdoc-var">File</span> is a list.
</span>
<li><em>The following properties should hold globally:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="29" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)</span><span>All the calls of the form <span class="lpdoc-var">set_punit_modules(File)</span> do not fail.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="set_local_ana_modules/1" href="ciaopp_ref_mansearch.html#set_local_ana_modules/1">set_local_ana_modules/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>set_local_ana_modules(Mods)</tt>
</span><p></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="30" href="basic_props.html#list/1"><tt>list/1</tt></a>)</span><span><span class="lpdoc-var">Mods</span> is a list.
</span>
<li><em>The following properties should hold globally:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="31" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)</span><span>All the calls of the form <span class="lpdoc-var">set_local_ana_modules(Mods)</span> do not fail.
</span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="32" href="native_props_nfdet_doc.html#is_det/1"><tt>is_det/1</tt></a>)</span><span>All calls of the form <span class="lpdoc-var">set_local_ana_modules(Mods)</span> are deterministic.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="get_registry/4" href="ciaopp_ref_mansearch.html#get_registry/4">get_registry/4</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="add_registry/2" href="ciaopp_ref_mansearch.html#add_registry/2">add_registry/2</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="cleanup_registry/1" href="ciaopp_ref_mansearch.html#cleanup_registry/1">cleanup_registry/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="reg_version/1" href="ciaopp_ref_mansearch.html#reg_version/1">reg_version/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>reg_version(Version)</tt>
</span><p>Contains a version number which identifies the registry files associated with this version of the assertion library. Should be changed every time changes are made which render registry files incompatible, since this forces recomputation of all such files.</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold upon exit:</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">Version</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="registry_header_format/2" href="ciaopp_ref_mansearch.html#registry_header_format/2">registry_header_format/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>registry_header_format(Version,TermList)</tt>
</span><p><span class="lpdoc-var">TermList</span> is the list of terms which must appear in the header of version <span class="lpdoc-var">Version</span> registry files, excluding the version number term itself.</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="34" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Version</span> is an atom.
</span>
<li><em>The following properties should hold upon exit:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="35" href="basic_props.html#list/1"><tt>list/1</tt></a>)</span><span><span class="lpdoc-var">TermList</span> is a list.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="mod_typedb/2" href="ciaopp_ref_mansearch.html#mod_typedb/2">mod_typedb/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>mod_typedb(Module,TypeDef)</tt>
</span><p>Data predicate to locally store information about the types used in the registry of one or several modules. <span class="lpdoc-var">Module</span> is the name of the module for which the type definition <span class="lpdoc-var">TypeDef</span> is referenced in the registry file. The original definition of <span class="lpdoc-var">TypeDef</span> may not reside in <span class="lpdoc-var">Module</span>, but in a related module.</p><ul class="lpdoc-itemize-minus"><li><em>The following properties should hold upon exit:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="36" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Module</span> is an atom.
</span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="37" href="basic_props.html#term/1"><tt>term/1</tt></a>)</span><span><span class="lpdoc-var">TypeDef</span> is any term.
</span>
</ul></div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="add_mod_typedb/2" href="ciaopp_ref_mansearch.html#add_mod_typedb/2">add_mod_typedb/2</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div><p>
<div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="enum_mod_typedb/1" href="ciaopp_ref_mansearch.html#enum_mod_typedb/1">enum_mod_typedb/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</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>System library modules:</em><br/><a class="lpdoc-idx-anchor" id="38" href="ciaopp_ref_mansearch.html#native_props"><tt>native_props</tt></a>, <a class="lpdoc-idx-anchor" id="39" href="ciaopp_ref_mansearch.html#datafacts_rt"><tt>datafacts_rt</tt></a>, <a class="lpdoc-idx-anchor" id="40" href="ciaopp_ref_mansearch.html#streams"><tt>streams</tt></a>, <a class="lpdoc-idx-anchor" id="41" href="ciaopp_ref_mansearch.html#aux_filenames"><tt>aux_filenames</tt></a>, <a class="lpdoc-idx-anchor" id="42" href="program_keys.html"><tt>program_keys</tt></a>.
<li><em>Internal (engine) modules:</em><br/><a class="lpdoc-idx-anchor" id="43" href="ciaopp_ref_mansearch.html#term_basic"><tt>term_basic</tt></a>, <a class="lpdoc-idx-anchor" id="44" href="ciaopp_ref_mansearch.html#arithmetic"><tt>arithmetic</tt></a>, <a class="lpdoc-idx-anchor" id="45" href="ciaopp_ref_mansearch.html#atomic_basic"><tt>atomic_basic</tt></a>, <a class="lpdoc-idx-anchor" id="46" href="ciaopp_ref_mansearch.html#basiccontrol"><tt>basiccontrol</tt></a>, <a class="lpdoc-idx-anchor" id="47" href="ciaopp_ref_mansearch.html#exceptions"><tt>exceptions</tt></a>, <a class="lpdoc-idx-anchor" id="48" href="ciaopp_ref_mansearch.html#term_compare"><tt>term_compare</tt></a>, <a class="lpdoc-idx-anchor" id="49" href="ciaopp_ref_mansearch.html#term_typing"><tt>term_typing</tt></a>, <a class="lpdoc-idx-anchor" id="50" href="ciaopp_ref_mansearch.html#debugger_support"><tt>debugger_support</tt></a>, <a class="lpdoc-idx-anchor" id="51" href="basic_props.html"><tt>basic_props</tt></a>, <a class="lpdoc-idx-anchor" id="52" href="ciaopp_ref_mansearch.html#hiord_rt"><tt>hiord_rt</tt></a>.
<li><em>Packages:</em><br/><a class="lpdoc-idx-anchor" id="53" href="ciaopp_ref_mansearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="54" href="ciaopp_ref_mansearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="55" href="ciaopp_ref_mansearch.html#condcomp"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="56" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="57" href="ciaopp_ref_mansearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="58" href="ciaopp_ref_mansearch.html#isomodes"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="59" href="regtypes_doc.html"><tt>regtypes</tt></a>, <a class="lpdoc-idx-anchor" id="60" href="ciaopp_ref_mansearch.html#nativeprops"><tt>nativeprops</tt></a>, <a class="lpdoc-idx-anchor" id="61" href="ciaopp_ref_mansearch.html#datafacts"><tt>datafacts</tt></a>.
</ul></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>