<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 - counters (library)</TITLE> </HEAD> <BODY> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_164.html">previous</A>, <A HREF="ciao_166.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="SEC686" HREF="ciao_toc.html#TOC686">counters (library)</A></H1> <P> <A NAME="IDX7770"></A> <P> <STRONG>Version:</STRONG> 0.4#5 (1998/2/24) <UL> <LI><A HREF="ciao_165.html#SEC687">Usage and interface (counters)</A> <LI><A HREF="ciao_165.html#SEC688">Documentation on exports (counters)</A> </UL> <H2><A NAME="SEC687" HREF="ciao_toc.html#TOC687">Usage and interface (<CODE>counters</CODE>)</A></H2> <div class="cartouche"> <UL> <LI><STRONG>Library usage:</STRONG> <CODE>:- use_module(library(counters)).</CODE> <LI><STRONG>Exports:</STRONG> <UL> <LI><EM>Predicates:</EM> <A NAME="IDX7771"></A> <CODE>setcounter/2</CODE>, <A NAME="IDX7772"></A> <CODE>getcounter/2</CODE>, <A NAME="IDX7773"></A> <CODE>inccounter/2</CODE>. </UL> </UL> </div class="cartouche"> <H2><A NAME="SEC688" HREF="ciao_toc.html#TOC688">Documentation on exports (<CODE>counters</CODE>)</A></H2> <P> <A NAME="IDX7774"></A> <A NAME="IDX7775"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>setcounter/2:</B> <DD><A NAME="IDX7776"></A> <P> No further documentation available for this predicate. </DL> <P> <A NAME="IDX7777"></A> <A NAME="IDX7778"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>getcounter/2:</B> <DD><A NAME="IDX7779"></A> <P> No further documentation available for this predicate. </DL> <P> <A NAME="IDX7780"></A> <A NAME="IDX7781"></A> <DL> <DT><span class="define">PREDICATE:</span> <B>inccounter/2:</B> <DD><A NAME="IDX7782"></A> <P> No further documentation available for this predicate. </DL> <P><HR><P> Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_164.html">previous</A>, <A HREF="ciao_166.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>. </BODY> </HTML>
