Sophie

Sophie

distrib > Fedora > 18 > i386 > by-pkgid > 121de4cab02664a26a0cd1ceab612659 > files > 248

apron-devel-0.9.10-9.fc18.i686.rpm

<HTML>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<!-- Created on December, 22  2009 by texi2html 1.64 -->
<!-- 
Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author)
            Karl Berry  <karl@freefriends.org>
            Olaf Bachmann <obachman@mathematik.uni-kl.de>
            and many others.
Maintained by: Olaf Bachmann <obachman@mathematik.uni-kl.de>
Send bugs and suggestions to <texi2html@mathematik.uni-kl.de>
 
-->
<HEAD>
<TITLE>APRON 0.9.10: Arrays of generators of level 1</TITLE>

<META NAME="description" CONTENT="APRON 0.9.10: Arrays of generators of level 1">
<META NAME="keywords" CONTENT="APRON 0.9.10: Arrays of generators of level 1">
<META NAME="resource-type" CONTENT="document">
<META NAME="distribution" CONTENT="global">
<META NAME="Generator" CONTENT="texi2html 1.64">

</HEAD>

<BODY LANG="" BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#0000FF" VLINK="#800080" ALINK="#FF0000">

<A NAME="SEC112"></A>
<TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0>
<TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_75.html#SEC111"> &lt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_77.html#SEC113"> &gt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_66.html#SEC102"> &lt;&lt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_72.html#SEC108"> Up </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_77.html#SEC113"> &gt;&gt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron.html#SEC_Top">Top</A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_toc.html#SEC_Contents">Contents</A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[Index]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_abt.html#SEC_About"> ? </A>]</TD>
</TR></TABLE>
<HR SIZE=1>
<H3> Arrays of generators of level 1 </H3>
<!--docid::SEC112::-->
<P>

<A NAME="IDX219"></A>
<DL>
<DT><U>Function:</U> ap_generator1_array_t <B>ap_generator1_array_make</B> <I>(ap_environment_t* <VAR>env</VAR>, size_t <VAR>size</VAR>)</I>
<DD>Allocate an array of generators of size <VAR>size</VAR>, defined on the
environment <VAR>env</VAR>.
</P><P>

The generators are initialized with NULL pointers for underlying
expressions.
</DL>
</P><P>

<A NAME="IDX220"></A>
<DL>
<DT><U>Function:</U> void <B>ap_generator1_array_clear</B> <I>(ap_generator1_array_t* <VAR>array</VAR>)</I>
<DD>Clear the generators of the array, and then the array itself.
</DL>
</P><P>

<A NAME="IDX221"></A>
<DL>
<DT><U>Function:</U> void <B>ap_generator1_array_fprint</B> <I>(FILE* <VAR>stream</VAR>, ap_generator1_array_t* <VAR>array</VAR>)</I>
<DD>Print the array on the stream.
</DL>
</P><P>

<A NAME="IDX222"></A>
<DL>
<DT><U>Function:</U> size_t <B>ap_generator1_array_size</B> <I>(ap_generator1_array_t* <VAR>array</VAR>)</I>
<DD>Return the size of the array.
</DL>
</P><P>

<A NAME="IDX223"></A>
<DL>
<DT><U>Function:</U> ap_environment_t* <B>ap_generator1_array_envref</B> <I>(ap_generator1_array_t* <VAR>array</VAR>)</I>
<DD>Get a reference to the environment. Do not free it.
</DL>
</P><P>

<A NAME="IDX224"></A>
<DL>
<DT><U>Function:</U> ap_generator1_t <B>ap_generator1_array_get</B> <I>(ap_generator1_array_t* <VAR>array</VAR>, size_t <VAR>index</VAR>)</I>
<DD>Return the linear generator of the given index Nothing is duplicated,
and the result should never be cleared.  Modifying the argument or the
result is equivalent, except for change of environments
</DL>
</P><P>

<A NAME="IDX225"></A>
<DL>
<DT><U>Function:</U> bool <B>ap_generator1_array_set</B> <I>(ap_generator1_array_t* <VAR>array</VAR>, size_t <VAR>index</VAR>, ap_generator1_t* <VAR>gen</VAR>)</I>
<DD>Fill the index of the array with the generator.  Assumes
<CODE>array-&#62;env==gen-&#62;env</CODE>.  Nothing is duplicated.  The argument should
never be cleared. (its environment is dereferenced).  If a generator
was already stored, it is first cleared.  Return true iff problem
(index or <CODE>array-&#62;env!=gen-&#62;env</CODE>)
</DL>
</P><P>

<A NAME="IDX226"></A>
<DL>
<DT><U>Function:</U> void <B>ap_generator1_array_clear_index</B> <I>(ap_generator1_array_t* <VAR>array</VAR>, size_t <VAR>index</VAR>)</I>
<DD>Clear the generator at index index.
</DL>
</P><P>

<A NAME="IDX227"></A>
<DL>
<DT><U>Function:</U> bool <B>ap_generator1_array_extend_environment_with</B> <I>(ap_generator1_array_t* <VAR>array</VAR>, ap_environment_t* <VAR>nenv</VAR>)</I>
<DD><A NAME="IDX228"></A>
<DT><U>Function:</U> bool <B>ap_generator1_array_extend_environment</B> <I>(ap_generator1_array_t* narray, ap_generator1_array_t* <VAR>array</VAR>, ap_environment_t* <VAR>nenv</VAR>)</I>
<DD>Identical to corresponding <CODE>ap_linexpr1_XXX</CODE> functions (see section <A HREF="apron_65.html#SEC101">Change of dimensions and permutations of linear expressions of level 1</A>).
</DL>
</P><P>

<A NAME="Tree expressions of level 1"></A>
<HR SIZE=1>
<BR>  
<FONT SIZE="-1">
This document was generated
by <I>Bertrand Jeannet</I> on <I>December, 22  2009</I>
using <A HREF="http://www.mathematik.uni-kl.de/~obachman/Texi2html
"><I>texi2html</I></A>

</BODY>
</HTML>