@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 4.42 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>Properties which are native to analyzers — The Ciao System v1.22</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="AssrtLang.html">↑</a><a class="lpdoc-navbutton" href="basic_props.html">←</a><a class="lpdoc-navbutton" href="native_props_shfrg_doc.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="ciaofulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> »<br/> </li><li><a href="AssrtLang.html">PART III - Assertions and auto-documentation</a> »<br/> </li><li><a href=""><strong>Properties which are native to analyzers</strong></a> ▾<ul><li><a href="native_props_shfrg_doc.html">Properties related to sharing/aliasing, groundness</a></li><li><a href="native_props_nfdet_doc.html">Properties related to determinacy, failure, choice-points</a></li><li><a href="native_props_cardinality_doc.html">Properties related to cardinality and exact solutions</a></li><li><a href="native_props_exceptions_doc.html">Properties related to exceptions and signals</a></li><li><a href="native_props_sideff_doc.html">Properties related to side effects</a></li><li><a href="native_props_polyhedral_doc.html">Properties related to polyhedral constraints</a></li><li><a href="native_props_cost_doc.html">Properties related to data sizes, cost, termination</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>Properties which are native to analyzers</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="Francisco Bueno" href="ciaosearch.html#Francisco Bueno">Francisco Bueno</a>, <a class="lpdoc-idx-anchor" id="Manuel Hermenegildo" href="ciaosearch.html#Manuel Hermenegildo">Manuel Hermenegildo</a>, <a class="lpdoc-idx-anchor" id="Pedro Lopez" href="ciaosearch.html#Pedro Lopez">Pedro López</a>, <a class="lpdoc-idx-anchor" id="Edison Mera" href="ciaosearch.html#Edison Mera">Edison Mera</a>, <a class="lpdoc-idx-anchor" id="Amadeo Casas" href="ciaosearch.html#Amadeo Casas">Amadeo Casas</a>, <a class="lpdoc-idx-anchor" id="Jose F. Morales" href="ciaosearch.html#Jose F. Morales">Jose F. Morales</a>.<p>
<a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#properties, native"></a> This library contains a set of properties which are natively understood by the different program analyzers of <a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#ciaopp"><tt>ciaopp</tt></a>. They are used by <a class="lpdoc-idx-anchor" id="2" href="ciaosearch.html#ciaopp"><tt>ciaopp</tt></a> on output and they can also be used as properties in assertions.<p>Some of the properties can also be used as runtime-checks. See <a class="lpdoc-idx-anchor" id="3" href="ciaosearch.html#native_props_rtc"><tt>native_props_rtc</tt></a> for the runtime-check implementation of such properties.<br/><h2>Subparts</h2><ul><li><a href="native_props_shfrg_doc.html">Properties related to sharing/aliasing, groundness</a></li><li><a href="native_props_nfdet_doc.html">Properties related to determinacy, failure, choice-points</a></li><li><a href="native_props_cardinality_doc.html">Properties related to cardinality and exact solutions</a></li><li><a href="native_props_exceptions_doc.html">Properties related to exceptions and signals</a></li><li><a href="native_props_sideff_doc.html">Properties related to side effects</a></li><li><a href="native_props_polyhedral_doc.html">Properties related to polyhedral constraints</a></li><li><a href="native_props_cost_doc.html">Properties related to data sizes, cost, termination</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>