<HTML> <HEAD> <!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 --> <LINK rel="stylesheet" href="ciao.css" type="text/css"> <TITLE>The Ciao Prolog System - boundary (library)</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_208.html">previous</A>, <A HREF="ciao_210.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. <P><HR><P> <H1><A NAME="SEC826" HREF="ciao_toc.html#TOC826">boundary (library)</A></H1> <P> <A NAME="IDX9022"></A> <P> <STRONG>Author(s):</STRONG> Göran Smedbäck. <P> <STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST) <P> <STRONG>Version of last change:</STRONG> 1.9#171 (2003/12/4, 17:46:50 CET) <P> This module offers predicate to check values according to their boundaries and offers lists of possible node ascendents. <UL> <LI><A HREF="ciao_209.html#SEC827">Usage and interface (boundary)</A> <LI><A HREF="ciao_209.html#SEC828">Documentation on exports (boundary)</A> </UL> <H2><A NAME="SEC827" HREF="ciao_toc.html#TOC827">Usage and interface (<CODE>boundary</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(boundary)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX9023"></A> <CODE>boundary_check/3</CODE>, <A NAME="IDX9024"></A> <CODE>boundary_rotation_first/2</CODE>, <A NAME="IDX9025"></A> <CODE>boundary_rotation_last/2</CODE>, <A NAME="IDX9026"></A> <CODE>reserved_words/1</CODE>, <A NAME="IDX9027"></A> <CODE>children_nodes/1</CODE>. </UL> <LI><STRONG>Other modules used:</STRONG> <UL> <LI><EM>System library modules:</EM> <A NAME="IDX9028"></A> <CODE>aggregates</CODE>, <A NAME="IDX9029"></A> <CODE>dynamic</CODE>, <A NAME="IDX9030"></A> <CODE>iso_misc</CODE>, <A NAME="IDX9031"></A> <CODE>iso_byte_char</CODE>, <A NAME="IDX9032"></A> <CODE>iso_incomplete</CODE>, <A NAME="IDX9033"></A> <CODE>operators</CODE>, <A NAME="IDX9034"></A> <CODE>read</CODE>, <A NAME="IDX9035"></A> <CODE>write</CODE>, <A NAME="IDX9036"></A> <CODE>provrml/internal_types</CODE>, <A NAME="IDX9037"></A> <CODE>provrml/error</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC828" HREF="ciao_toc.html#TOC828">Documentation on exports (<CODE>boundary</CODE>)</A></H2> <P> <A NAME="IDX9038"></A> <A NAME="IDX9039"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>boundary_check/3:</B> <DD><A NAME="IDX9040"></A> <P> <STRONG>Usage:</STRONG> <CODE>boundary_check(+Value_to_check, +Init_value, +Bound)</CODE> <UL> <LI><EM>Description:</EM> This predicate check the boundaries of the given value according to the boudary values. If the value is wrong according to the boundaries, the value is checked according to the initial value given. If the value continues to be wrong, an error will be raised accordingly. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+Value_to_check</CODE> is an atom. (<CODE>basic_props:atm/1</CODE>) <CODE>+Init_value</CODE> is a list of <CODE>atm</CODE>s. (<CODE>basic_props:list/2</CODE>) <CODE>+Bound</CODE> is a variable interval. (<CODE>internal_types:bound/1</CODE>) </UL> </DL> <P> <A NAME="IDX9041"></A> <A NAME="IDX9042"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>boundary_rotation_first/2:</B> <DD><A NAME="IDX9043"></A> <P> <STRONG>Usage:</STRONG> <CODE>boundary_rotation_first(+Bound_double, -Bound)</CODE> <UL> <LI><EM>Description:</EM> The predicate will extract the first bounds from a double bound. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+Bound_double</CODE> is a variable interval. (<CODE>internal_types:bound_double/1</CODE>) <CODE>-Bound</CODE> is a variable interval. (<CODE>internal_types:bound/1</CODE>) </UL> </DL> <P> <A NAME="IDX9044"></A> <A NAME="IDX9045"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>boundary_rotation_last/2:</B> <DD><A NAME="IDX9046"></A> <P> <STRONG>Usage:</STRONG> <CODE>boundary_rotation_last(+Bound_double, -Bound)</CODE> <UL> <LI><EM>Description:</EM> The predicate will extract the last bounds from a double bound. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>+Bound_double</CODE> is a variable interval. (<CODE>internal_types:bound_double/1</CODE>) <CODE>-Bound</CODE> is a variable interval. (<CODE>internal_types:bound/1</CODE>) </UL> </DL> <P> <A NAME="IDX9047"></A> <A NAME="IDX9048"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>reserved_words/1:</B> <DD><A NAME="IDX9049"></A> <P> <STRONG>Usage:</STRONG> <CODE>reserved_words(-List)</CODE> <UL> <LI><EM>Description:</EM> Returns a list with the reserved words, words prohibited to use in cases not appropiated. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>-List</CODE> is a list of <CODE>atm</CODE>s. (<CODE>basic_props:list/2</CODE>) </UL> </DL> <P> <A NAME="IDX9050"></A> <A NAME="IDX9051"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>children_nodes/1:</B> <DD><A NAME="IDX9052"></A> <P> <STRONG>Usage:</STRONG> <CODE>children_nodes(-List)</CODE> <UL> <LI><EM>Description:</EM> Returns a list of all nodes possible as children nodes. <LI><EM>Call and exit should be <EM>compatible</EM> with:</EM> <CODE>-List</CODE> is a list of <CODE>atm</CODE>s. (<CODE>basic_props:list/2</CODE>) </UL> </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_208.html">previous</A>, <A HREF="ciao_210.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>
