<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 linear constraints of level 1</TITLE>
<META NAME="description" CONTENT="APRON 0.9.10: Arrays of linear constraints of level 1">
<META NAME="keywords" CONTENT="APRON 0.9.10: Arrays of linear constraints 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="SEC107"></A>
<TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0>
<TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_70.html#SEC106"> < </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_72.html#SEC108"> > </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_57.html#SEC93"> << </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_66.html#SEC102"> Up </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_72.html#SEC108"> >> </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <TD VALIGN="MIDDLE" ALIGN="LEFT"> <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 linear constraints of level 1 </H3>
<!--docid::SEC107::-->
<P>
<A NAME="IDX190"></A>
<DL>
<DT><U>Function:</U> ap_lincons1_array_t <B>ap_lincons1_array_make</B> <I>(ap_environment_t* <VAR>env</VAR>, size_t <VAR>size</VAR>)</I>
<DD>Allocate an array of constraints of size <VAR>size</VAR>, defined on the
environment <VAR>env</VAR>.
</P><P>
The constraints are initialized with NULL pointers for underlying
expressions.
</DL>
</P><P>
<A NAME="IDX191"></A>
<DL>
<DT><U>Function:</U> void <B>ap_lincons1_array_clear</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>)</I>
<DD>Clear the constraints of the array, and then the array itself.
</DL>
</P><P>
<A NAME="IDX192"></A>
<DL>
<DT><U>Function:</U> void <B>ap_lincons1_array_fprint</B> <I>(FILE* <VAR>stream</VAR>, ap_lincons1_array_t* <VAR>array</VAR>)</I>
<DD>Print the array on the stream.
</DL>
</P><P>
<A NAME="IDX193"></A>
<DL>
<DT><U>Function:</U> size_t <B>ap_lincons1_array_size</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>)</I>
<DD>Return the size of the array.
</DL>
</P><P>
<A NAME="IDX194"></A>
<DL>
<DT><U>Function:</U> ap_environment_t* <B>ap_lincons1_array_envref</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>)</I>
<DD>Get a reference to the environment. Do not free it.
</DL>
</P><P>
<A NAME="IDX195"></A>
<DL>
<DT><U>Function:</U> ap_lincons1_t <B>ap_lincons1_array_get</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>, size_t <VAR>index</VAR>)</I>
<DD>Return the linear constraint 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="IDX196"></A>
<DL>
<DT><U>Function:</U> bool <B>ap_lincons1_array_set</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>, size_t <VAR>index</VAR>, ap_lincons1_t* <VAR>cons</VAR>)</I>
<DD>Fill the index of the array with the constraint. Assumes
<CODE>ap_environment_is_eq(array->env,cons->env)</CODE>. Nothing is
duplicated. The argument should never be cleared (its environment is
dereferenced). If a constraint was already stored, it is first
cleared. Return true iff problem (index or
<CODE>array->env!=cons->env</CODE>)
</DL>
</P><P>
<A NAME="IDX197"></A>
<DL>
<DT><U>Function:</U> void <B>ap_lincons1_array_clear_index</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>, size_t <VAR>index</VAR>)</I>
<DD>Clear the constraint at index index.
</DL>
</P><P>
<A NAME="IDX198"></A>
<DL>
<DT><U>Function:</U> bool <B>ap_lincons1_array_extend_environment_with</B> <I>(ap_lincons1_array_t* <VAR>array</VAR>, ap_environment_t* <VAR>nenv</VAR>)</I>
<DD><A NAME="IDX199"></A>
<DT><U>Function:</U> bool <B>ap_lincons1_array_extend_environment</B> <I>(ap_lincons1_array_t* narray, ap_lincons1_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="Generators 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>
