@ciao-lang/ts-ciao-interface

<!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>Applying assertions during fixpoint — The CiaoPP Program Processor v1.5</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton">☰</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"><a class="lpdoc-navbutton" href="part_assertions.html">↑</a><a class="lpdoc-navbutton" href="rtchecks_doc.html">←</a><a class="lpdoc-navbutton" href="part_extensions.html">→</a><a class="lpdoc-navbutton" href="ciaopp_ref_mansearch.html">🔍</a><a href="ciaopp_ref_manfulltoc.html">TOC</a></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciaopp_ref_man.html">The CiaoPP Program Processor</a> » </li><li><a href="part_assertions.html">PART II - The Assertion Language and Its Use</a> » </li><li><a href="">Applying assertions during fixpoint</a></li></ul><hr></hr>ON THIS PAGE<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>Applying assertions during fixpoint</h1><a class="lpdoc-idx-anchor" href="ciaopp_ref_mansearch.html#apply_assertions"></a> Author(s): <a class="lpdoc-idx-anchor" id="Isabel Garcia-Contreras" href="ciaopp_ref_mansearch.html#Isabel Garcia-Contreras">Isabel Garcia-Contreras</a>. This module contains the logic of what assertions need to be applied depending on the analysis step.This module reads the values of the following flags: <ul> <li><a class="lpdoc-idx-anchor" id="0" href="ciaopp_ref_mansearch.html#fixp_stick_to_success"><tt>fixp_stick_to_success</tt></a>: whether to use the value of the success assertions instead of what was inferred for the fixpoint (not working for eterms).For a module: <pre class="lpdoc-codeblock">:- module(_,[p/1],[assertions]). :- pred p(X) => atm(X). p(X) :- X = a. </pre> If <a class="lpdoc-idx-anchor" id="1" href="ciaopp_ref_mansearch.html#fixp_stick_to_success"><tt>fixp_stick_to_success</tt></a> is set to <tt>on</tt>, the analysis result will be: <pre class="lpdoc-codeblock">:- module(_,[p/1],[assertions]). :- true pred p(X) => atm(X). p(X) :- X = a. </pre> Because the value of the assertion is used as it is. If it is set to <tt>off</tt>, it will use the assertion only when it allows to gain precision (useless in this case). <pre class="lpdoc-codeblock">:- module(_,[p/1],[assertions,regtypes]). :- true pred p(X) => rta(X). p(X) :- X = a. :- regtype rta/1. rta(a). </pre> <li><a class="lpdoc-idx-anchor" id="2" href="ciaopp_ref_mansearch.html#fixp_stick_to_calls"><tt>fixp_stick_to_calls</tt></a>: not implemented yet, whether to use the value of the calls assertion instead of what was inferred by the fixpoint. This is harder than the success case since the heads of the analysis information may not be normalized.For example in the following module: <pre class="lpdoc-codeblock">:- module(_,[main/0,p/1],[assertions]). main :- p(a). :- pred p(X) : atm(X). p(X). </pre> Since the plai does not normalize heads it is imposible to generalize <tt>p(a)</tt> to <tt>p(X) : atm(X)</tt>, the variables that the abstract substitution approximates must be in the head. However <tt>p(X) : rta(X)</tt> can be generalized only by changing the abstract substitution because the variable is already in the head.The fixpoint would have to be modified so that applying assertions can change the goals<li><a class="lpdoc-idx-anchor" id="3" href="ciaopp_ref_mansearch.html#use_check_as_trust"><tt>use_check_as_trust</tt></a>: To activate the runtime semantics of the check assertions, i.e., use them as trust in the fixpoint. </ul> <div class="lpdoc-note"> Program point assertions are not processed here. </div> <div id="Usage and interface"><h2>Usage and interface</h2><div class="lpdoc-cartouche"><ul><li>Library usage: <tt>:- use_module(ciaopp(plai/apply_assertions)).</tt><li>Exports: <ul class="lpdoc-itemize-minus"><li>Predicates: <a class="lpdoc-idx-anchor" id="4" href="#call_asr/5"><tt>call_asr/5</tt></a>, <a class="lpdoc-idx-anchor" id="5" href="#success_asr/6"><tt>success_asr/6</tt></a>, <a class="lpdoc-idx-anchor" id="6" href="#cleanup_applied_assertions/1"><tt>cleanup_applied_assertions/1</tt></a>, <a class="lpdoc-idx-anchor" id="7" href="#apply_assrt_call_to_success/8"><tt>apply_assrt_call_to_success/8</tt></a>, <a class="lpdoc-idx-anchor" id="8" href="#apply_assrt_exit/7"><tt>apply_assrt_exit/7</tt></a>, <a class="lpdoc-idx-anchor" id="9" href="#apply_assrt_no_source/6"><tt>apply_assrt_no_source/6</tt></a>, <a class="lpdoc-idx-anchor" id="10" href="#get_call_assertions_asub/5"><tt>get_call_assertions_asub/5</tt></a>, <a class="lpdoc-idx-anchor" id="11" href="#get_succ_assertion_asubs/7"><tt>get_succ_assertion_asubs/7</tt></a>, <a class="lpdoc-idx-anchor" id="12" href="#add_success_asr/6"><tt>add_success_asr/6</tt></a>, <a class="lpdoc-idx-anchor" id="13" href="#abs_normalize/8"><tt>abs_normalize/8</tt></a>, <a class="lpdoc-idx-anchor" id="14" href="#get_applicable_status/3"><tt>get_applicable_status/3</tt></a>. </ul></ul></div></div><div id="Documentation on exports"><h2>Documentation on exports</h2><div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="call_asr/5" href="ciaopp_ref_mansearch.html#call_asr/5">call_asr/5</a></div><div class="lpdoc-deftext">No further documentation available for this predicate. The predicate is of type data. </div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="success_asr/6" href="ciaopp_ref_mansearch.html#success_asr/6">success_asr/6</a></div><div class="lpdoc-deftext">No further documentation available for this predicate. The predicate is of type data. </div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="cleanup_applied_assertions/1" href="ciaopp_ref_mansearch.html#cleanup_applied_assertions/1">cleanup_applied_assertions/1</a></div><div class="lpdoc-deftext">Cleans the cached assertions</div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="apply_assrt_call_to_success/8" href="ciaopp_ref_mansearch.html#apply_assrt_call_to_success/8">apply_assrt_call_to_success/8</a></div><div class="lpdoc-deftext">Usage:<tt>apply_assrt_call_to_success(AbsInt,Sg,Sv,Proj0,HvFv_u,Call,NewProj,NewCall)</tt> NewProj and NewCall are the result of applying the assertions that correspond to the <tt>call_to_success</tt> analysis point.Currently, the implementation has only one option which is applying <tt>true</tt> and <tt>trust</tt> call assertions, and <tt>true</tt> success assertions (that are applicable to Sg:Proj).<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="15" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AbsInt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="16" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="17" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="18" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Proj0 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="19" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)HvFv_u is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="20" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Call is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="21" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)NewProj is a free variable. (<a class="lpdoc-idx-anchor" id="22" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)NewCall is a free variable. (<a class="lpdoc-idx-anchor" id="23" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. (<a class="lpdoc-idx-anchor" id="24" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sv is a list. (<a class="lpdoc-idx-anchor" id="25" href="basic_props.html#list/1"><tt>list/1</tt></a>)HvFv_u is a list. <li>The following properties should hold globally: (<a class="lpdoc-idx-anchor" id="26" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)All the calls of the form apply_assrt_call_to_success(AbsInt,Sg,Sv,Proj0,HvFv_u,Call,NewProj,NewCall) do not fail. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="apply_assrt_exit/7" href="ciaopp_ref_mansearch.html#apply_assrt_exit/7">apply_assrt_exit/7</a></div><div class="lpdoc-deftext">Usage:<tt>apply_assrt_exit(AbsInt,Sg,Sv,Proj0,LPrime,NLPrime,Applied)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="27" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AbsInt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="28" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="29" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="30" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Proj0 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="31" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)LPrime is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="32" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)NLPrime is a free variable. (<a class="lpdoc-idx-anchor" id="33" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. (<a class="lpdoc-idx-anchor" id="34" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sv is a list. (<a class="lpdoc-idx-anchor" id="35" href="basic_props.html#list/1"><tt>list/1</tt></a>)LPrime is a list. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="36" href="basic_props.html#list/1"><tt>list/1</tt></a>)NLPrime is a list. <li>The following properties should hold globally: (<a class="lpdoc-idx-anchor" id="37" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)All the calls of the form apply_assrt_exit(AbsInt,Sg,Sv,Proj0,LPrime,NLPrime,Applied) do not fail. (<a class="lpdoc-idx-anchor" id="38" href="native_props_nfdet_doc.html#is_det/1"><tt>is_det/1</tt></a>)All calls of the form apply_assrt_exit(AbsInt,Sg,Sv,Proj0,LPrime,NLPrime,Applied) are deterministic. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="apply_assrt_no_source/6" href="ciaopp_ref_mansearch.html#apply_assrt_no_source/6">apply_assrt_no_source/6</a></div><div class="lpdoc-deftext">Usage:<tt>apply_assrt_no_source(SgKey,AbsInt,Sg,Sv,Proj,Prime)</tt> Succeeds if there are applicable assertions to Sg:Proj understood by domain AbsInt and Prime is the answer pattern.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="39" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)SgKey is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="40" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AbsInt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="41" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="42" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="43" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Proj is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="44" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Prime is a free variable. (<a class="lpdoc-idx-anchor" id="45" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)SgKey is an atom. (<a class="lpdoc-idx-anchor" id="46" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. (<a class="lpdoc-idx-anchor" id="47" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sv is a list. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="48" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Prime is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_call_assertions_asub/5" href="ciaopp_ref_mansearch.html#get_call_assertions_asub/5">get_call_assertions_asub/5</a></div><div class="lpdoc-deftext">Usage:<tt>get_call_assertions_asub(Head,SgKey,Sts,AbsInt,AsrProj)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="49" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Head is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="50" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)AsrProj is a free variable. (<a class="lpdoc-idx-anchor" id="51" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sts is a list. (<a class="lpdoc-idx-anchor" id="52" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)SgKey is an atom. (<a class="lpdoc-idx-anchor" id="53" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="54" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AsrProj is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_succ_assertion_asubs/7" href="ciaopp_ref_mansearch.html#get_succ_assertion_asubs/7">get_succ_assertion_asubs/7</a></div><div class="lpdoc-deftext">Usage:<tt>get_succ_assertion_asubs(SgKey,Head,Hv,Sts,AbsInt,Proj,Prime)</tt> This predicate succeeds if there are assertions that are applicable to Head:Proj (normalized). If no Sts is specified all trusted status are returned<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="55" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)SgKey is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="56" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Head is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="57" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Hv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="58" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sts is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="59" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AbsInt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="60" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Proj is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="61" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)Prime is a free variable. (<a class="lpdoc-idx-anchor" id="62" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)SgKey is an atom. (<a class="lpdoc-idx-anchor" id="63" href="basic_props.html#list/1"><tt>list/1</tt></a>)Hv is a list. (<a class="lpdoc-idx-anchor" id="64" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sts is a list. (<a class="lpdoc-idx-anchor" id="65" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="66" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Prime is currently a term which is not a free variable. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="add_success_asr/6" href="ciaopp_ref_mansearch.html#add_success_asr/6">add_success_asr/6</a></div><div class="lpdoc-deftext">Usage:<tt>add_success_asr(SgKey,Head,Sts,AbsInt,AsrProj,AsrPrime)</tt> Joins an abstract success pattern from an assertion with a previous value for the call pattern Head:AsrProj.<ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="67" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)SgKey is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="68" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Head is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="69" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sts is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="70" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AbsInt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="71" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AsrProj is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="72" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AsrPrime is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="73" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)SgKey is an atom. (<a class="lpdoc-idx-anchor" id="74" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sts is a list. (<a class="lpdoc-idx-anchor" id="75" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. <li>The following properties should hold globally: (<a class="lpdoc-idx-anchor" id="76" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)All the calls of the form add_success_asr(SgKey,Head,Sts,AbsInt,AsrProj,AsrPrime) do not fail. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="abs_normalize/8" href="ciaopp_ref_mansearch.html#abs_normalize/8">abs_normalize/8</a></div><div class="lpdoc-deftext">Usage:<tt>abs_normalize(AbsInt,Sg,Sv,ASub0,Head,Hv,ASub,ExtraInfo)</tt> <ul class="lpdoc-itemize-minus"><li>The following properties should hold at call time: (<a class="lpdoc-idx-anchor" id="77" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)AbsInt is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="78" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sg is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="79" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)Sv is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="80" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ASub0 is currently a term which is not a free variable. (<a class="lpdoc-idx-anchor" id="81" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)ASub is a free variable. (<a class="lpdoc-idx-anchor" id="82" href="ciaopp_ref_mansearch.html#var/1"><tt>var/1</tt></a>)ExtraInfo is a free variable. (<a class="lpdoc-idx-anchor" id="83" href="basic_props.html#atm/1"><tt>atm/1</tt></a>)AbsInt is an atom. (<a class="lpdoc-idx-anchor" id="84" href="basic_props.html#list/1"><tt>list/1</tt></a>)Sv is a list. <li>The following properties should hold upon exit: (<a class="lpdoc-idx-anchor" id="85" href="ciaopp_ref_mansearch.html#nonvar/1"><tt>nonvar/1</tt></a>)ASub is currently a term which is not a free variable. <li>The following properties should hold globally: (<a class="lpdoc-idx-anchor" id="86" href="native_props_nfdet_doc.html#not_fails/1"><tt>not_fails/1</tt></a>)All the calls of the form abs_normalize(AbsInt,Sg,Sv,ASub0,Head,Hv,ASub,ExtraInfo) do not fail. </ul></div></div> <div><div class="lpdoc-defname">PREDICATE<a class="lpdoc-idx-anchor" id="get_applicable_status/3" href="ciaopp_ref_mansearch.html#get_applicable_status/3">get_applicable_status/3</a></div><div class="lpdoc-deftext">No further documentation available for this predicate.</div></div> </div><div id="Documentation on imports"><h2>Documentation on imports</h2>This module has the following direct dependencies:<ul class="lpdoc-itemize-minus"><li>Application modules: <a class="lpdoc-idx-anchor" id="87" href="preprocess_flags.html"><tt>preprocess_flags</tt></a>, <a class="lpdoc-idx-anchor" id="88" href="frontend_driver.html"><tt>frontend_driver</tt></a>, <a class="lpdoc-idx-anchor" id="89" href="ciaopp_ref_mansearch.html#fixpo_ops"><tt>fixpo_ops</tt></a>, <a class="lpdoc-idx-anchor" id="90" href="ciaopp_ref_mansearch.html#apply_assertions_old"><tt>apply_assertions_old</tt></a>, <a class="lpdoc-idx-anchor" id="91" href="domains.html"><tt>domains</tt></a>, <a class="lpdoc-idx-anchor" id="92" href="ciaopp_ref_mansearch.html#plai_errors"><tt>plai_errors</tt></a>. <li>System library modules: <a class="lpdoc-idx-anchor" id="93" href="ciaopp_ref_mansearch.html#datafacts_rt"><tt>datafacts_rt</tt></a>, <a class="lpdoc-idx-anchor" id="94" href="ciaopp_ref_mansearch.html#native_props"><tt>native_props</tt></a>, <a class="lpdoc-idx-anchor" id="95" href="ciaopp_ref_mansearch.html#terms_vars"><tt>terms_vars</tt></a>, <a class="lpdoc-idx-anchor" id="96" href="ciaopp_ref_mansearch.html#aggregates"><tt>aggregates</tt></a>, <a class="lpdoc-idx-anchor" id="97" href="ciaopp_ref_mansearch.html#lists"><tt>lists</tt></a>, <a class="lpdoc-idx-anchor" id="98" href="ciaopp_ref_mansearch.html#assrt_lib"><tt>assrt_lib</tt></a>, <a class="lpdoc-idx-anchor" id="99" href="program_keys.html"><tt>program_keys</tt></a>, <a class="lpdoc-idx-anchor" id="100" href="p_unit.html"><tt>p_unit</tt></a>, <a class="lpdoc-idx-anchor" id="101" href="ciaopp_ref_mansearch.html#p_unit_db"><tt>p_unit_db</tt></a>. <li>Internal (engine) modules: <a class="lpdoc-idx-anchor" id="102" href="ciaopp_ref_mansearch.html#term_basic"><tt>term_basic</tt></a>, <a class="lpdoc-idx-anchor" id="103" href="ciaopp_ref_mansearch.html#arithmetic"><tt>arithmetic</tt></a>, <a class="lpdoc-idx-anchor" id="104" href="ciaopp_ref_mansearch.html#atomic_basic"><tt>atomic_basic</tt></a>, <a class="lpdoc-idx-anchor" id="105" href="ciaopp_ref_mansearch.html#basiccontrol"><tt>basiccontrol</tt></a>, <a class="lpdoc-idx-anchor" id="106" href="ciaopp_ref_mansearch.html#exceptions"><tt>exceptions</tt></a>, <a class="lpdoc-idx-anchor" id="107" href="ciaopp_ref_mansearch.html#term_compare"><tt>term_compare</tt></a>, <a class="lpdoc-idx-anchor" id="108" href="ciaopp_ref_mansearch.html#term_typing"><tt>term_typing</tt></a>, <a class="lpdoc-idx-anchor" id="109" href="ciaopp_ref_mansearch.html#debugger_support"><tt>debugger_support</tt></a>, <a class="lpdoc-idx-anchor" id="110" href="basic_props.html"><tt>basic_props</tt></a>, <a class="lpdoc-idx-anchor" id="111" href="ciaopp_ref_mansearch.html#hiord_rt"><tt>hiord_rt</tt></a>. <li>Packages: <a class="lpdoc-idx-anchor" id="112" href="ciaopp_ref_mansearch.html#prelude"><tt>prelude</tt></a>, <a class="lpdoc-idx-anchor" id="113" href="ciaopp_ref_mansearch.html#initial"><tt>initial</tt></a>, <a class="lpdoc-idx-anchor" id="114" href="ciaopp_ref_mansearch.html#condcomp"><tt>condcomp</tt></a>, <a class="lpdoc-idx-anchor" id="115" href="assertions_doc.html"><tt>assertions</tt></a>, <a class="lpdoc-idx-anchor" id="116" href="ciaopp_ref_mansearch.html#assertions/assertions_basic"><tt>assertions/assertions_basic</tt></a>, <a class="lpdoc-idx-anchor" id="117" href="ciaopp_ref_mansearch.html#isomodes"><tt>isomodes</tt></a>, <a class="lpdoc-idx-anchor" id="118" href="ciaopp_ref_mansearch.html#datafacts"><tt>datafacts</tt></a>, <a class="lpdoc-idx-anchor" id="119" href="ciaopp_ref_mansearch.html#nativeprops"><tt>nativeprops</tt></a>, <a class="lpdoc-idx-anchor" id="120" href="ciaopp_ref_mansearch.html#.(notrace)"><tt>.(notrace)</tt></a>. </ul></div></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>