@ciao-lang/ts-ciao-interface

Version:

Simple Ciao interface for node.

91 lines • 29.3 kB

HTML

<!DOCTYPE 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>Preprocessing Flags — 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_internals.html">↑</a><a class="lpdoc-navbutton" href="intermod_success.html">←</a><a class="lpdoc-navbutton" href="Debug_plai.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=""><strong>Preprocessing Flags</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>Preprocessing Flags</h1><a class="lpdoc-idx-anchor" href="ciaopp_ref_mansearch.html#preprocess_flags"></a><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(preprocess_flags)).</tt><li><strong>Exports:</strong><br/><ul class="lpdoc-itemize-minus"><li><em>Predicates:</em><br/><a class="lpdoc-idx-anchor" id="0" href="ciaopp.html#push_pp_flag/2"><tt>push_pp_flag/2</tt></a>, <a class="lpdoc-idx-anchor" id="1" href="ciaopp.html#pop_pp_flag/1"><tt>pop_pp_flag/1</tt></a>, <a class="lpdoc-idx-anchor" id="2" href="ciaopp.html#current_pp_flag/2"><tt>current_pp_flag/2</tt></a>, <a class="lpdoc-idx-anchor" id="3" href="ciaopp.html#set_pp_flag/2"><tt>set_pp_flag/2</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="#pp_flag/2"><tt>pp_flag/2</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#valid_flag_values/2"><tt>valid_flag_values/2</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#dump_flags/1"><tt>dump_flags/1</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#save_config/1"><tt>save_config/1</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#restore_config/1"><tt>restore_config/1</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#remove_config/1"><tt>remove_config/1</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#show_config/1"><tt>show_config/1</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#show_configs/0"><tt>show_configs/0</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#sublist2/2"><tt>sublist2/2</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#typeanalysis/1"><tt>typeanalysis/1</tt></a>. <li><em>Properties:</em><br/><a class="lpdoc-idx-anchor" id="14" href="ciaopp.html#valid_flag_value/2"><tt>valid_flag_value/2</tt></a>. <li><em>Regular Types:</em><br/><a class="lpdoc-idx-anchor" id="15" href="ciaopp.html#pp_flag/1"><tt>pp_flag/1</tt></a>, <a class="lpdoc-idx-anchor" id="16" href="ciaopp.html#flag_value/1"><tt>flag_value/1</tt></a>. <li><em>Multifiles:</em><br/><a class="lpdoc-idx-anchor" id="17" href="#$is_persistent/2"><tt>$is_persistent/2</tt></a>, <a class="lpdoc-idx-anchor" id="18" href="#persistent_dir/2"><tt>persistent_dir/2</tt></a>, <a class="lpdoc-idx-anchor" id="19" href="#persistent_dir/4"><tt>persistent_dir/4</tt></a>, <a class="lpdoc-idx-anchor" id="20" href="intermod.html#dump_flags_list/2"><tt>dump_flags_list/2</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="push_pp_flag/2" href="ciaopp_ref_mansearch.html#push_pp_flag/2">push_pp_flag/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>push_pp_flag(Flag,Value)</tt> </span><p>Sets <span class="lpdoc-var">Value</span> for preprocessor flag <span class="lpdoc-var">Flag</span>, storing the current value to restore it with <a class="lpdoc-idx-anchor" id="21" href="ciaopp.html#pop_pp_flag/1"><tt>pop_pp_flag/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="22" href="ciaopp.html#pp_flag/1"><tt>pp_flag/1</tt></a>)</span><span><span class="lpdoc-var">Flag</span> is a valid preprocessor flag. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="23" href="ciaopp.html#valid_flag_value/2"><tt>valid_flag_value/2</tt></a>)</span><span><span class="lpdoc-var">Value</span> is a valid value for preprocessor flag <span class="lpdoc-var">Flag</span>. </span> </ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="pop_pp_flag/1" href="ciaopp_ref_mansearch.html#pop_pp_flag/1">pop_pp_flag/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>pop_pp_flag(Flag)</tt> </span><p>Restores the value of the preprocessor flag <span class="lpdoc-var">Flag</span> previous to the last non-canceled <a class="lpdoc-idx-anchor" id="24" href="ciaopp.html#push_pp_flag/2"><tt>push_pp_flag/2</tt></a> on it.</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.html#pp_flag/1"><tt>pp_flag/1</tt></a>)</span><span><span class="lpdoc-var">Flag</span> is a valid preprocessor flag. </span> </ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="current_pp_flag/2" href="ciaopp_ref_mansearch.html#current_pp_flag/2">current_pp_flag/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>current_pp_flag(Name,Value)</tt> </span><p>Preprocess flag <span class="lpdoc-var">Name</span> has the value <span class="lpdoc-var">Value</span>.</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="26" href="ciaopp.html#pp_flag/1"><tt>pp_flag/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is a valid preprocessor flag. </span> <li><em>The following properties should hold upon exit:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="27" href="ciaopp.html#valid_flag_value/2"><tt>valid_flag_value/2</tt></a>)</span><span><span class="lpdoc-var">Value</span> is a valid value for preprocessor flag <span class="lpdoc-var">Name</span>. </span> </ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="set_pp_flag/2" href="ciaopp_ref_mansearch.html#set_pp_flag/2">set_pp_flag/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>set_pp_flag(Name,Value)</tt> </span><p>Sets <span class="lpdoc-var">Value</span> for preprocessor flag <span class="lpdoc-var">Name</span>.</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="28" href="ciaopp.html#pp_flag/1"><tt>pp_flag/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is a valid preprocessor flag. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="29" href="ciaopp.html#valid_flag_value/2"><tt>valid_flag_value/2</tt></a>)</span><span><span class="lpdoc-var">Value</span> is a valid value for preprocessor flag <span class="lpdoc-var">Name</span>. </span> </ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="pp_flag/2" href="ciaopp_ref_mansearch.html#pp_flag/2">pp_flag/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>pp_flag(Name,Help)</tt> </span><p><span class="lpdoc-var">Name</span> is a valid preprocess flag.<span class="lpdoc-var">Help</span> is a description of what <span class="lpdoc-var">Name</span> does.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">REGTYPE</span><a class="lpdoc-idx-anchor" id="pp_flag/1" href="ciaopp_ref_mansearch.html#pp_flag/1">pp_flag/1</a></div><div class="lpdoc-deftext"> The list of valid flags and their values is as follows: <div class="lpdoc-alert"> (This list is outdated -- see source code for a complete description) </div> <p><ul> <li>for the output: <ul> <li><tt>analysis_info</tt> (<tt>off, on</tt>) Whether to output the results of analysis. <li><tt>point_info</tt> (<tt>off,on</tt>) Whether to output analysis information for program points within clauses. <li><tt>collapse_ai_vers</tt> (<tt>off, on</tt>) to output all the versions of call/success patterns inferred by analysis or just one version (summing-up all of them). <li><tt>type_output</tt> (<tt>defined, all</tt>) to output the types inferred for predicates in terms only of types defined by the user or including types inferred anew. <li><tt>simplify_checks</tt> (<tt>on, off</tt>) to output simplified check assertions after verification or not. </ul> <li>for analysis: <ul> <li><tt>fixpoint</tt> (<tt>plai, dd, di, check_di, check_di2, check_di3, check_di4</tt>) The kind of fixpoint computation used. <li><tt>multi_success</tt> (<tt>off, on</tt>) Whether to allow success multivariance. <li><tt>widen</tt> (<tt>off, on</tt>) Whether to perform widening. <li><tt>intermod</tt> (<tt>off, on, auto</tt>) The policy for inter-modular analysis. <li><tt>success_policy</tt> (<tt>best, first, all, top, botfirst, botbest, botall, bottom</tt>) The policy for obtaining success information for imported predicates during inter-modular analysis. <li><tt>entry_policy</tt> (<tt>all, top_level, force, force_assrt</tt>) The policy for obtaining entry call patterns for exported predicates during inter-modular analysis. <li><tt>process_libraries</tt> (<tt>on, off, no_engine</tt>) Whether to perform the analysis of Ciao system libraries when a modular user program is analyzed. <li><tt>initial_guess</tt> (<tt>botfirst, botbest, botall, bottom</tt>) The policy for obtaining initial guess when computing the analysis of a predicate from the current module. <li><tt>use_check_assrt</tt> (<tt>off, on</tt>) Whether to use check assertions for imported predicates as if they were trust assertions. <li><tt>depth</tt> (a non-negative integer) The maximum depth of abstractions in analyses based on term depth. <li><tt>type_eval</tt> (<tt>on, off</tt>) Whether to attempt concrete evaluation of types being inferred. <li><tt>type_precision</tt> (<tt>defined, all</tt>) to use during type analysis only types defined by the user or also types inferred anew. <li><tt>entry_points_auto</tt> (<tt>none, calls, all</tt>) What kind of assertions to use as entry points: <a class="lpdoc-idx-anchor" id="30" href="assertions_doc.html#entry/1"><tt>entry/1</tt></a> will always be used, <a class="lpdoc-idx-anchor" id="31" href="assertions_doc.html#calls/1"><tt>calls/1</tt></a> and <a class="lpdoc-idx-anchor" id="32" href="assertions_doc.html#calls/2"><tt>calls/2</tt></a> will be used if the flag is <strong>not</strong> set to <tt>none</tt>; and <a class="lpdoc-idx-anchor" id="33" href="assertions_doc.html#success/1"><tt>success/1</tt></a>, <a class="lpdoc-idx-anchor" id="34" href="assertions_doc.html#success/2"><tt>success/2</tt></a>, <a class="lpdoc-idx-anchor" id="35" href="assertions_doc.html#comp/1"><tt>comp/1</tt></a> and <a class="lpdoc-idx-anchor" id="36" href="assertions_doc.html#comp/2"><tt>comp/2</tt></a> will be used if the flag is set to <tt>all</tt>. <li><tt>entry_calls_scope</tt> (<tt>exported, all</tt>) What non-<tt>entry</tt> assertions to use as entry points. If the flag takes the value <tt>exported</tt>, only assertions from exported predicates will be used; if it takes the value <tt>all</tt>, exported and non-exported assertions will be used. </ul> <li>for partial evaluation: <ul> <li><tt>global_control</tt> (<tt>off, id, inst, hom_emb</tt>) The abstraction function to use to control the creation of new patterns to analyze as a result of unfolding. <li><tt>comp_rule</tt> (<tt>leftmost, safe_jb, bind_ins_jb, no_sideff_jb, jump_builtin, eval_builtin, local_emb</tt>) The computation rule for the selection of atoms in a goal. <li><tt>local_control</tt> (<tt>off, orig, inst, det, det_la, depth, first_sol, first_sol_d, all_sol, hom_emb, hom_emb_anc, hom_emb_as, df_hom_emb_as, df_tree_hom_emb, df_hom_emb</tt>) The unfolding rule to use during partial evaluation. <li><tt>unf_depth</tt> (a non-negative integer) The depth limit for unfolding. <li><tt>rem_use_cls</tt> (<tt>off, pre, post, both</tt>) Whether to remove useless clauses. <li><tt>abs_spec_defs</tt> (<tt>off, rem, exec, all</tt>) Whether to exploit abstract substitutions while obtaining specialized definitions on unfolding. <li><tt>filter_nums</tt> (<tt>off, on</tt>) Whether to filter away numbers in partial evaluation. <li><tt>exec_unif</tt> (<tt>off, on</tt>) Whether to execute unifications during specialization time or not. <li><tt>pres_inf_fail</tt> (<tt>off, on</tt>) Whether infinite failure should be preserved in the specialized program. <li><tt>part_concrete</tt> (<tt>off, mono, multi</tt>) The kind of partial concretization to be performed. </ul> <li>for parallelization and granularity control: <ul> <li><tt>granularity_threshold</tt> (a non-negative integer) The threshold on computational cost at which parallel execution pays off. </ul> </ul> <p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>pp_flag(Flag)</tt> </span><p><span class="lpdoc-var">Flag</span> is a valid preprocessor flag.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">REGTYPE</span><a class="lpdoc-idx-anchor" id="flag_value/1" href="ciaopp_ref_mansearch.html#flag_value/1">flag_value/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>flag_value(V)</tt> </span><p><span class="lpdoc-var">V</span> is a value for a flag.</p><ul class="lpdoc-itemize-minus"></ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PROPERTY</span><a class="lpdoc-idx-anchor" id="valid_flag_value/2" href="ciaopp_ref_mansearch.html#valid_flag_value/2">valid_flag_value/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>valid_flag_value(Name,Value)</tt> </span><p><span class="lpdoc-var">Value</span> is a valid value for preprocessor flag <span class="lpdoc-var">Name</span>.</p><ul class="lpdoc-itemize-minus"><li><em>If the following properties should hold at call time:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="37" href="ciaopp.html#pp_flag/1"><tt>pp_flag/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is a valid preprocessor flag. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="38" href="ciaopp.html#flag_value/1"><tt>flag_value/1</tt></a>)</span><span><span class="lpdoc-var">Value</span> is a value for a flag. </span> </ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="valid_flag_values/2" href="ciaopp_ref_mansearch.html#valid_flag_values/2">valid_flag_values/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>valid_flag_values(Name,Value_Checker)</tt> </span><p><span class="lpdoc-var">Value_Checker</span> is a goal that checks that a value given as first argument of this term is a valid value for <span class="lpdoc-var">Name</span>.</p><ul class="lpdoc-itemize-minus"><li><em>Call and exit should be compatible with:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="39" href="ciaopp.html#pp_flag/1"><tt>pp_flag/1</tt></a>)</span><span><span class="lpdoc-var">Name</span> is a valid preprocessor flag. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="40" href="basic_props.html#cgoal/1"><tt>cgoal/1</tt></a>)</span><span><span class="lpdoc-var">Value_Checker</span> is a term which represents a goal, i.e., an atom or a structure. </span> </ul></div></div><p> <div><div class="lpdoc-defname"><span class="lpdoc-predtag">PREDICATE</span><a class="lpdoc-idx-anchor" id="dump_flags/1" href="ciaopp_ref_mansearch.html#dump_flags/1">dump_flags/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>dump_flags(Name)</tt> </span><p><span class="lpdoc-var">Name</span> represent the list of flags to be dumped. To associate a name (key) with a list, use <a class="lpdoc-idx-anchor" id="41" href="ciaopp_ref_mansearch.html#dump_flags_list"><tt>dump_flags_list</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="42" 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="save_config/1" href="ciaopp_ref_mansearch.html#save_config/1">save_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>save_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="43" 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_config/1" href="ciaopp_ref_mansearch.html#restore_config/1">restore_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>restore_config(Name)</tt> </span><p>Restores the set of flags saved previously under the name of <span class="lpdoc-var">Name</span>.</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="44" 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_config/1" href="ciaopp_ref_mansearch.html#remove_config/1">remove_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>remove_config(Name)</tt> </span><p>Remove the configuration stored with 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="45" 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_config/1" href="ciaopp_ref_mansearch.html#show_config/1">show_config/1</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><span class="lpdoc-usage-decl"><tt>show_config(C)</tt> </span><p>Show specific configuration values pointed by <span class="lpdoc-var">C</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="46" 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">PREDICATE</span><a class="lpdoc-idx-anchor" id="show_configs/0" href="ciaopp_ref_mansearch.html#show_configs/0">show_configs/0</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage:</span><p>Show all stored configs.</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="sublist2/2" href="ciaopp_ref_mansearch.html#sublist2/2">sublist2/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="typeanalysis/1" href="ciaopp_ref_mansearch.html#typeanalysis/1">typeanalysis/1</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</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="$is_persistent/2" href="ciaopp_ref_mansearch.html#$is_persistent/2">$is_persistent/2</a></div><div class="lpdoc-deftext">No further documentation available for this predicate. The predicate is <em>multifile</em>.<br/> 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="persistent_dir/2" href="ciaopp_ref_mansearch.html#persistent_dir/2">persistent_dir/2</a></div><div class="lpdoc-deftext"><p><span class="lpdoc-usage-header">Usage 1:</span><span class="lpdoc-usage-decl"><tt>persistent_dir(Key,Dir)</tt> </span><p></p><ul class="lpdoc-itemize-minus"><li><em>The following properties hold upon exit:</em><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="47" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Key</span> is an atom. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="48" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Dir</span> is an atom. </span> </ul><p><span class="lpdoc-usage-header">Usage 2:</span><span class="lpdoc-usage-decl"><tt>persistent_dir(Key,Dir)</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="49" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Key</span> is an atom. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="50" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)</span><span><span class="lpdoc-var">Dir</span> is a free variable. </span> </ul><p><span class="lpdoc-usage-header">Usage 3:</span><span class="lpdoc-usage-decl"><tt>persistent_dir(Key,Dir)</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="51" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Key</span> is an atom. </span><br/><span class="lpdoc-on-right"> (<a class="lpdoc-idx-anchor" id="52" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)</span><span><span class="lpdoc-var">Dir</span> is an atom. </span> </ul> The predicate is <em>multifile</em>.<br/> 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="persistent_dir/4" href="ciaopp_ref_mansearch.html#persistent_dir/4">persistent_dir/4</a></div><div class="lpdoc-deftext">No further documentation available for this predicate. The predicate is <em>multifile</em>.<br/> 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="dump_flags_list/2" href="ciaopp_ref_mansearch.html#dump_flags_list/2">dump_flags_list/2</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="53" href="frontend_driver.html"><tt>frontend_driver</tt></a>. <li><em>System library modules:</em><br/><a class="lpdoc-idx-anchor" id="54" href="ciaopp_ref_mansearch.html#datafacts_rt"><tt>datafacts_rt</tt></a>, <a class="lpdoc-idx-anchor" id="55" href="ciaopp_ref_mansearch.html#persdb_rt"><tt>persdb_rt</tt></a>, <a class="lpdoc-idx-anchor" id="56" href="ciaopp_ref_mansearch.html#pathnames"><tt>pathnames</tt></a>, <a class="lpdoc-idx-anchor" id="57" href="ciaopp_ref_mansearch.html#system"><tt>system</tt></a>, <a class="lpdoc-idx-anchor" id="58" href="ciaopp_ref_mansearch.html#lists"><tt>lists</tt></a>, <a class="lpdoc-idx-anchor" id="59" href="ciaopp_ref_mansearch.html#aggregates"><tt>aggregates</tt></a>, <a class="lpdoc-idx-anchor" id="60" href="ciaopp_ref_mansearch.html#write"><tt>write</tt></a>, <a class="lpdoc-idx-anchor" id="61" href="ciaopp_ref_mansearch.html#menu_generator"><tt>menu_generator</tt></a>. <li><em>Internal (engine) modules:</em><br/><a class="lpdoc-idx-anchor" id="62" href="ciaopp_ref_mansearch.html#term_basic"><tt>term_basic</tt></a>, <a class="lpdoc-idx-anchor" id="63" href="ciaopp_ref_mansearch.html#arithmetic"><tt>arithmetic</tt></a>, <a class="lpdoc-idx-anchor" id="64" href="ciaopp_ref_mansearch.html#atomic_basic"><tt>atomic_basic</tt></a>, <a class="lpdoc-idx-anchor" id="65" href="ciaopp_ref_mansearch.html#basiccontrol"><tt>basiccontrol</tt></a>, <a class="lpdoc-idx-anchor" id="66" href="ciaopp_ref_mansearch.html#exceptions"><tt>exceptions</tt></a>, <a class="lpdoc-idx-anchor" id="67" href="ciaopp_ref_mansearch.html#term_compare"><tt>term_compare</tt></a>, <a class="lpdoc-idx-anchor" id="68" href="ciaopp_ref_mansearch.html#term_typing"><tt>term_typing</tt></a>, <a class="lpdoc-idx-anchor" id="69" href="ciaopp_ref_mansearch.html#debugger_support"><tt>debugger_support</tt></a>, <a class="lpdoc-idx-anchor" id="70" href="basic_props.html"><tt>basic_props</tt></a>, <a class="lpdoc-idx-anchor" id="71" href="ciaopp_ref_mansearch.html#hiord_rt"><tt>hiord_rt</tt></a>, <a class="lpdoc-idx-anchor" id="72" href="ciaopp_ref_mansearch.html#messages_basic"><tt>messages_basic</tt></a>, <a class="lpdoc-idx-anchor" id="73" href="ciaopp_ref_mansearch.html#io_basic"><tt>io_basic</tt></a>. <li><em>Packages:</em><br/><a class="lpdoc-idx-anchor" id="74" href="ciaopp_ref_mansearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="75" href="ciaopp_ref_mansearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="76" href="ciaopp_ref_mansearch.html#condcomp"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="77" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="78" href="ciaopp_ref_mansearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="79" href="ciaopp_ref_mansearch.html#nortchecks"><tt>nortchecks</tt></a>, <a class="lpdoc-idx-anchor" id="80" href="regtypes_doc.html"><tt>regtypes</tt></a>, <a class="lpdoc-idx-anchor" id="81" href="ciaopp_ref_mansearch.html#isomodes"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="82" href="ciaopp_ref_mansearch.html#persdb"><tt>persdb</tt></a>, <a class="lpdoc-idx-anchor" id="83" href="ciaopp_ref_mansearch.html#datafacts"><tt>datafacts</tt></a>, <a class="lpdoc-idx-anchor" id="84" href="ciaopp_ref_mansearch.html#persdb/persdb_decl"><tt>persdb/persdb_decl</tt></a>, <a class="lpdoc-idx-anchor" id="85" href="ciaopp_ref_mansearch.html#ciaopp(ciaopp_options)"><tt>ciaopp(ciaopp_options)</tt></a>. </ul></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>