Sophie: apron-devel-0.9.10-9.fc18 i686

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: C Function Index</TITLE>

<META NAME="description" CONTENT="APRON 0.9.10: C Function Index">
<META NAME="keywords" CONTENT="APRON 0.9.10: C Function Index">
<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="SEC187"></A>
<TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0>
<TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_150.html#SEC186"> &lt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_152.html"> &gt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_148.html#SEC184"> &lt;&lt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_148.html#SEC184"> Up </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[ &gt;&gt; ]</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>
<H2> C Function Index </H2>
<!--docid::SEC187::-->
<table><tr><th valign=top>Jump to: &nbsp; </th><td><A HREF="apron_151.html#fn_A" style="text-decoration:none"><b>A</b></A>
 &nbsp; 
<A HREF="apron_152.html#fn_B" style="text-decoration:none"><b>B</b></A>
 &nbsp; 
<A HREF="apron_152.html#fn_C" style="text-decoration:none"><b>C</b></A>
 &nbsp; 
<A HREF="apron_152.html#fn_P" style="text-decoration:none"><b>P</b></A>
 &nbsp; 
</td></tr></table><br><P></P>
<TABLE border=0>
<TR><TD></TD><TH ALIGN=LEFT>Index Entry</TH><TH ALIGN=LEFT> Section</TH></TR>
<TR><TD COLSPAN=3> <HR></TD></TR>
<TR><TH><A NAME="fn_A"></A>A</TH><TD></TD><TD></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_141.html#IDX507"><CODE>ap_abstract0_add_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_141.html#SEC177">Change and permutation of dimensions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX501"><CODE>ap_abstract0_add_ray_array</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_141.html#IDX509"><CODE>ap_abstract0_apply_dimchange2</CODE></A></TD><TD valign=top><A HREF="apron_141.html#SEC177">Change and permutation of dimensions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_131.html#IDX471"><CODE>ap_abstract0_approximate</CODE></A></TD><TD valign=top><A HREF="apron_131.html#SEC167">Control of internal representation of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX518"><CODE>ap_abstract0_assign_linexpr</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_139.html#IDX502"><CODE>ap_abstract0_assign_linexpr_array</CODE></A></TD><TD valign=top><A HREF="apron_139.html#SEC175">Assignements and Substitutions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX520"><CODE>ap_abstract0_assign_texpr</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_139.html#IDX504"><CODE>ap_abstract0_assign_texpr_array</CODE></A></TD><TD valign=top><A HREF="apron_139.html#SEC175">Assignements and Substitutions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_134.html#IDX476"><CODE>ap_abstract0_bottom</CODE></A></TD><TD valign=top><A HREF="apron_134.html#SEC170">Constructors for abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX488"><CODE>ap_abstract0_bound_dimension</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX489"><CODE>ap_abstract0_bound_linexpr</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX490"><CODE>ap_abstract0_bound_texpr</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_131.html#IDX469"><CODE>ap_abstract0_canonicalize</CODE></A></TD><TD valign=top><A HREF="apron_131.html#SEC167">Control of internal representation of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_144.html#IDX514"><CODE>ap_abstract0_closure</CODE></A></TD><TD valign=top><A HREF="apron_144.html#SEC180">Topological closure of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_130.html#IDX465"><CODE>ap_abstract0_copy</CODE></A></TD><TD valign=top><A HREF="apron_130.html#SEC166">Allocating abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_133.html#IDX475"><CODE>ap_abstract0_deserialize_raw</CODE></A></TD><TD valign=top><A HREF="apron_133.html#SEC169">Serialization of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_135.html#IDX479"><CODE>ap_abstract0_dimension</CODE></A></TD><TD valign=top><A HREF="apron_135.html#SEC171">Accessors for abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_142.html#IDX511"><CODE>ap_abstract0_expand</CODE></A></TD><TD valign=top><A HREF="apron_142.html#SEC178">Expansion and Folding of dimensions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_132.html#IDX474"><CODE>ap_abstract0_fdump</CODE></A></TD><TD valign=top><A HREF="apron_132.html#SEC168">Printing abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_142.html#IDX512"><CODE>ap_abstract0_fold</CODE></A></TD><TD valign=top><A HREF="apron_142.html#SEC178">Expansion and Folding of dimensions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_140.html#IDX506"><CODE>ap_abstract0_forget_array</CODE></A></TD><TD valign=top><A HREF="apron_140.html#SEC176">Existential quantification of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_132.html#IDX472"><CODE>ap_abstract0_fprint</CODE></A></TD><TD valign=top><A HREF="apron_132.html#SEC168">Printing abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_132.html#IDX473"><CODE>ap_abstract0_fprintdiff</CODE></A></TD><TD valign=top><A HREF="apron_132.html#SEC168">Printing abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_130.html#IDX466"><CODE>ap_abstract0_free</CODE></A></TD><TD valign=top><A HREF="apron_130.html#SEC166">Allocating abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_131.html#IDX470"><CODE>ap_abstract0_hash</CODE></A></TD><TD valign=top><A HREF="apron_131.html#SEC167">Control of internal representation of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX480"><CODE>ap_abstract0_is_bottom</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX487"><CODE>ap_abstract0_is_dimension_unconstrained</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX483"><CODE>ap_abstract0_is_eq</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX482"><CODE>ap_abstract0_is_leq</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX481"><CODE>ap_abstract0_is_top</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX496"><CODE>ap_abstract0_join</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX498"><CODE>ap_abstract0_join_array</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX515"><CODE>ap_abstract0_manager</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX495"><CODE>ap_abstract0_meet</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX497"><CODE>ap_abstract0_meet_array</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX499"><CODE>ap_abstract0_meet_lincons_array</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_138.html#IDX500"><CODE>ap_abstract0_meet_tcons_array</CODE></A></TD><TD valign=top><A HREF="apron_138.html#SEC174">Meet and Join of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_131.html#IDX468"><CODE>ap_abstract0_minimize</CODE></A></TD><TD valign=top><A HREF="apron_131.html#SEC167">Control of internal representation of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_134.html#IDX478"><CODE>ap_abstract0_of_box</CODE></A></TD><TD valign=top><A HREF="apron_134.html#SEC170">Constructors for abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX516"><CODE>ap_abstract0_of_lincons_array</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX517"><CODE>ap_abstract0_of_tcons_array</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_141.html#IDX510"><CODE>ap_abstract0_permute_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_141.html#SEC177">Change and permutation of dimensions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_141.html#IDX508"><CODE>ap_abstract0_remove_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_141.html#SEC177">Change and permutation of dimensions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX484"><CODE>ap_abstract0_sat_interval</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX485"><CODE>ap_abstract0_sat_lincons</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_136.html#IDX486"><CODE>ap_abstract0_sat_tcons</CODE></A></TD><TD valign=top><A HREF="apron_136.html#SEC172">Tests on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_133.html#SEC169"><CODE>ap_abstract0_serialize_raw</CODE></A></TD><TD valign=top><A HREF="apron_133.html#SEC169">Serialization of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_130.html#IDX467"><CODE>ap_abstract0_size</CODE></A></TD><TD valign=top><A HREF="apron_130.html#SEC166">Allocating abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX519"><CODE>ap_abstract0_substitute_linexpr</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_139.html#IDX503"><CODE>ap_abstract0_substitute_linexpr_array</CODE></A></TD><TD valign=top><A HREF="apron_139.html#SEC175">Assignements and Substitutions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX521"><CODE>ap_abstract0_substitute_texpr</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_139.html#IDX505"><CODE>ap_abstract0_substitute_texpr_array</CODE></A></TD><TD valign=top><A HREF="apron_139.html#SEC175">Assignements and Substitutions of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX491"><CODE>ap_abstract0_to_box</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX494"><CODE>ap_abstract0_to_generator_array</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX492"><CODE>ap_abstract0_to_lincons_array</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_137.html#IDX493"><CODE>ap_abstract0_to_tcons_array</CODE></A></TD><TD valign=top><A HREF="apron_137.html#SEC173">Extraction of properties of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_134.html#IDX477"><CODE>ap_abstract0_top</CODE></A></TD><TD valign=top><A HREF="apron_134.html#SEC170">Constructors for abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_143.html#IDX513"><CODE>ap_abstract0_widening</CODE></A></TD><TD valign=top><A HREF="apron_143.html#SEC179">Widening of abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_145.html#IDX522"><CODE>ap_abstract0_widening_threshold</CODE></A></TD><TD valign=top><A HREF="apron_145.html#SEC181">Additional functions on abstract values of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_93.html#IDX309"><CODE>ap_abstract1_abstract0</CODE></A></TD><TD valign=top><A HREF="apron_93.html#SEC129">Accessors for abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX331"><CODE>ap_abstract1_add_ray_array</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_89.html#IDX299"><CODE>ap_abstract1_approximate</CODE></A></TD><TD valign=top><A HREF="apron_89.html#SEC125">Control of internal representation of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX347"><CODE>ap_abstract1_assign_linexpr</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_97.html#IDX332"><CODE>ap_abstract1_assign_linexpr_array</CODE></A></TD><TD valign=top><A HREF="apron_97.html#SEC133">Assignements and Substitutions of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX349"><CODE>ap_abstract1_assign_texpr</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_97.html#IDX334"><CODE>ap_abstract1_assign_texpr_array</CODE></A></TD><TD valign=top><A HREF="apron_97.html#SEC133">Assignements and Substitutions of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_92.html#IDX304"><CODE>ap_abstract1_bottom</CODE></A></TD><TD valign=top><A HREF="apron_92.html#SEC128">Constructors for abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX319"><CODE>ap_abstract1_bound_linexpr</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX320"><CODE>ap_abstract1_bound_texpr</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX318"><CODE>ap_abstract1_bound_variable</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_89.html#IDX297"><CODE>ap_abstract1_canonicalize</CODE></A></TD><TD valign=top><A HREF="apron_89.html#SEC125">Control of internal representation of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_99.html#IDX337"><CODE>ap_abstract1_change_environment</CODE></A></TD><TD valign=top><A HREF="apron_99.html#SEC135">Change of environments of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_88.html#IDX294"><CODE>ap_abstract1_clear</CODE></A></TD><TD valign=top><A HREF="apron_88.html#SEC124">Allocating abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_102.html#IDX344"><CODE>ap_abstract1_closure</CODE></A></TD><TD valign=top><A HREF="apron_102.html#SEC138">Topological closure of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_88.html#IDX293"><CODE>ap_abstract1_copy</CODE></A></TD><TD valign=top><A HREF="apron_88.html#SEC124">Allocating abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_91.html#IDX303"><CODE>ap_abstract1_deserialize_raw</CODE></A></TD><TD valign=top><A HREF="apron_91.html#SEC127">Serialization of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_93.html#IDX307"><CODE>ap_abstract1_environment</CODE></A></TD><TD valign=top><A HREF="apron_93.html#SEC129">Accessors for abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_100.html#IDX340"><CODE>ap_abstract1_expand</CODE></A></TD><TD valign=top><A HREF="apron_100.html#SEC136">Expansion and Folding of dimensions of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_90.html#IDX302"><CODE>ap_abstract1_fdump</CODE></A></TD><TD valign=top><A HREF="apron_90.html#SEC126">Printing abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_100.html#IDX341"><CODE>ap_abstract1_fold</CODE></A></TD><TD valign=top><A HREF="apron_100.html#SEC136">Expansion and Folding of dimensions of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_98.html#IDX336"><CODE>ap_abstract1_forget_array</CODE></A></TD><TD valign=top><A HREF="apron_98.html#SEC134">Existential quantification of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_90.html#IDX300"><CODE>ap_abstract1_fprint</CODE></A></TD><TD valign=top><A HREF="apron_90.html#SEC126">Printing abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_90.html#IDX301"><CODE>ap_abstract1_fprintdiff</CODE></A></TD><TD valign=top><A HREF="apron_90.html#SEC126">Printing abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_89.html#IDX298"><CODE>ap_abstract1_hash</CODE></A></TD><TD valign=top><A HREF="apron_89.html#SEC125">Control of internal representation of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX353"><CODE>ap_abstract1_intlinear_of_tree</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX310"><CODE>ap_abstract1_is_bottom</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX313"><CODE>ap_abstract1_is_eq</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX312"><CODE>ap_abstract1_is_leq</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX311"><CODE>ap_abstract1_is_top</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX317"><CODE>ap_abstract1_is_variable_unconstrained</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX326"><CODE>ap_abstract1_join</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX328"><CODE>ap_abstract1_join_array</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_93.html#IDX308"><CODE>ap_abstract1_manager</CODE></A></TD><TD valign=top><A HREF="apron_93.html#SEC129">Accessors for abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX325"><CODE>ap_abstract1_meet</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX327"><CODE>ap_abstract1_meet_array</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX329"><CODE>ap_abstract1_meet_lincons_array</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_96.html#IDX330"><CODE>ap_abstract1_meet_tcons_array</CODE></A></TD><TD valign=top><A HREF="apron_96.html#SEC132">Meet and Join of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_89.html#IDX296"><CODE>ap_abstract1_minimize</CODE></A></TD><TD valign=top><A HREF="apron_89.html#SEC125">Control of internal representation of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_99.html#IDX338"><CODE>ap_abstract1_minimize_environment</CODE></A></TD><TD valign=top><A HREF="apron_99.html#SEC135">Change of environments of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_92.html#IDX306"><CODE>ap_abstract1_of_box</CODE></A></TD><TD valign=top><A HREF="apron_92.html#SEC128">Constructors for abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX345"><CODE>ap_abstract1_of_lincons_array</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX346"><CODE>ap_abstract1_of_tcons_array</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX352"><CODE>ap_abstract1_quasilinear_of_intlinear</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_99.html#IDX339"><CODE>ap_abstract1_rename_array</CODE></A></TD><TD valign=top><A HREF="apron_99.html#SEC135">Change of environments of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX314"><CODE>ap_abstract1_sat_interval</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX315"><CODE>ap_abstract1_sat_lincons</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_94.html#IDX316"><CODE>ap_abstract1_sat_tcons</CODE></A></TD><TD valign=top><A HREF="apron_94.html#SEC130">Tests on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_91.html#SEC127"><CODE>ap_abstract1_serialize_raw</CODE></A></TD><TD valign=top><A HREF="apron_91.html#SEC127">Serialization of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_88.html#IDX295"><CODE>ap_abstract1_size</CODE></A></TD><TD valign=top><A HREF="apron_88.html#SEC124">Allocating abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX348"><CODE>ap_abstract1_substitute_linexpr</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_97.html#IDX333"><CODE>ap_abstract1_substitute_linexpr_array</CODE></A></TD><TD valign=top><A HREF="apron_97.html#SEC133">Assignements and Substitutions of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX350"><CODE>ap_abstract1_substitute_texpr</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_97.html#IDX335"><CODE>ap_abstract1_substitute_texpr_array</CODE></A></TD><TD valign=top><A HREF="apron_97.html#SEC133">Assignements and Substitutions of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX321"><CODE>ap_abstract1_to_box</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX324"><CODE>ap_abstract1_to_generator_array</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX322"><CODE>ap_abstract1_to_lincons_array</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_95.html#IDX323"><CODE>ap_abstract1_to_tcons_array</CODE></A></TD><TD valign=top><A HREF="apron_95.html#SEC131">Extraction of properties of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_92.html#IDX305"><CODE>ap_abstract1_top</CODE></A></TD><TD valign=top><A HREF="apron_92.html#SEC128">Constructors for abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_103.html#IDX351"><CODE>ap_abstract1_unify</CODE></A></TD><TD valign=top><A HREF="apron_103.html#SEC139">Additional functions on abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_101.html#IDX342"><CODE>ap_abstract1_widening</CODE></A></TD><TD valign=top><A HREF="apron_101.html#SEC137">Widening of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_101.html#IDX343"><CODE>ap_abstract1_widening_threshold</CODE></A></TD><TD valign=top><A HREF="apron_101.html#SEC137">Widening of abstract values of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX78"><CODE>ap_coeff_alloc</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX96"><CODE>ap_coeff_alloc_set</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX98"><CODE>ap_coeff_alloc_set_interval</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX97"><CODE>ap_coeff_alloc_set_scalar</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX84"><CODE>ap_coeff_clear</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_52.html#IDX99"><CODE>ap_coeff_cmp</CODE></A></TD><TD valign=top><A HREF="apron_52.html#SEC88">Comparing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_52.html#IDX100"><CODE>ap_coeff_equal</CODE></A></TD><TD valign=top><A HREF="apron_52.html#SEC88">Comparing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_53.html#IDX105"><CODE>ap_coeff_fprint</CODE></A></TD><TD valign=top><A HREF="apron_53.html#SEC89">Other operations on coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX79"><CODE>ap_coeff_free</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_53.html#IDX104"><CODE>ap_coeff_hash</CODE></A></TD><TD valign=top><A HREF="apron_53.html#SEC89">Other operations on coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX82"><CODE>ap_coeff_init</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX83"><CODE>ap_coeff_init_set</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_53.html#IDX102"><CODE>ap_coeff_neg</CODE></A></TD><TD valign=top><A HREF="apron_53.html#SEC89">Other operations on coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX81"><CODE>ap_coeff_reduce</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_50.html#IDX80"><CODE>ap_coeff_reinit</CODE></A></TD><TD valign=top><A HREF="apron_50.html#SEC86">Initializing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#SEC87"><CODE>ap_coeff_set</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX90"><CODE>ap_coeff_set_interval</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX95"><CODE>ap_coeff_set_interval_double</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX94"><CODE>ap_coeff_set_interval_frac</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX93"><CODE>ap_coeff_set_interval_int</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX92"><CODE>ap_coeff_set_interval_mpq</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX91"><CODE>ap_coeff_set_interval_scalar</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX85"><CODE>ap_coeff_set_scalar</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX89"><CODE>ap_coeff_set_scalar_double</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX88"><CODE>ap_coeff_set_scalar_frac</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX87"><CODE>ap_coeff_set_scalar_int</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_51.html#IDX86"><CODE>ap_coeff_set_scalar_mpq</CODE></A></TD><TD valign=top><A HREF="apron_51.html#SEC87">Assigning coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_53.html#IDX103"><CODE>ap_coeff_swap</CODE></A></TD><TD valign=top><A HREF="apron_53.html#SEC89">Other operations on coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_52.html#IDX101"><CODE>ap_coeff_zero</CODE></A></TD><TD valign=top><A HREF="apron_52.html#SEC88">Comparing coefficients</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_105.html#IDX355"><CODE>AP_DIM_MAX</CODE></A></TD><TD valign=top><A HREF="apron_105.html#SEC141">Dimensions and related operations (<TT>`ap_dimension.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX368"><CODE>ap_dimchange2_alloc</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX367"><CODE>ap_dimchange2_clear</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX370"><CODE>ap_dimchange2_fprint</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX369"><CODE>ap_dimchange2_free</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX366"><CODE>ap_dimchange2_init</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX365"><CODE>ap_dimchange_add_invert</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX362"><CODE>ap_dimchange_alloc</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX361"><CODE>ap_dimchange_clear</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX364"><CODE>ap_dimchange_fprint</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX363"><CODE>ap_dimchange_free</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_106.html#IDX360"><CODE>ap_dimchange_init</CODE></A></TD><TD valign=top><A HREF="apron_106.html#SEC142">Manipulating changes of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX373"><CODE>ap_dimperm_alloc</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX372"><CODE>ap_dimperm_clear</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX377"><CODE>ap_dimperm_compose</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX375"><CODE>ap_dimperm_fprint</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX374"><CODE>ap_dimperm_free</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX371"><CODE>ap_dimperm_init</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX378"><CODE>ap_dimperm_invert</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_107.html#IDX376"><CODE>ap_dimperm_set_id</CODE></A></TD><TD valign=top><A HREF="apron_107.html#SEC143">Manipulating permutations of dimensions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX116"><CODE>ap_environment_add</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX115"><CODE>ap_environment_alloc</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX114"><CODE>ap_environment_alloc_empty</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX122"><CODE>ap_environment_compare</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX112"><CODE>ap_environment_copy</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX118"><CODE>ap_environment_dim_of_var</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX124"><CODE>ap_environment_dimchange</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX125"><CODE>ap_environment_dimchange2</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX113"><CODE>ap_environment_fdump</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX111"><CODE>ap_environment_free</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX123"><CODE>ap_environment_hash</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX120"><CODE>ap_environment_is_eq</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX121"><CODE>ap_environment_is_leq</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX126"><CODE>ap_environment_lce</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX127"><CODE>ap_environment_lce_array</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX117"><CODE>ap_environment_remove</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX128"><CODE>ap_environment_rename</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_56.html#IDX119"><CODE>ap_environment_var_of_dim</CODE></A></TD><TD valign=top><A HREF="apron_56.html#SEC92">Environments (<TT>`ap_environment.h'</TT>)</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX15"><CODE>ap_funopt_init</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC52">Options</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX457"><CODE>ap_generator0_add_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX456"><CODE>ap_generator0_add_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX461"><CODE>ap_generator0_array_add_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX460"><CODE>ap_generator0_array_add_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_125.html#IDX454"><CODE>ap_generator0_array_clear</CODE></A></TD><TD valign=top><A HREF="apron_125.html#SEC161">Arrays of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_125.html#IDX455"><CODE>ap_generator0_array_fprint</CODE></A></TD><TD valign=top><A HREF="apron_125.html#SEC161">Arrays of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_125.html#IDX453"><CODE>ap_generator0_array_make</CODE></A></TD><TD valign=top><A HREF="apron_125.html#SEC161">Arrays of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX463"><CODE>ap_generator0_array_permute_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX462"><CODE>ap_generator0_array_permute_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_124.html#IDX451"><CODE>ap_generator0_clear</CODE></A></TD><TD valign=top><A HREF="apron_124.html#SEC160">Allocating generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_124.html#IDX450"><CODE>ap_generator0_copy</CODE></A></TD><TD valign=top><A HREF="apron_124.html#SEC160">Allocating generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_124.html#IDX452"><CODE>ap_generator0_fprint</CODE></A></TD><TD valign=top><A HREF="apron_124.html#SEC160">Allocating generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_124.html#IDX449"><CODE>ap_generator0_make</CODE></A></TD><TD valign=top><A HREF="apron_124.html#SEC160">Allocating generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX459"><CODE>ap_generator0_permute_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_126.html#IDX458"><CODE>ap_generator0_permute_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_126.html#SEC162">Change of dimensions and permutations of generators of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX220"><CODE>ap_generator1_array_clear</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX226"><CODE>ap_generator1_array_clear_index</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX223"><CODE>ap_generator1_array_envref</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX228"><CODE>ap_generator1_array_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX227"><CODE>ap_generator1_array_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX221"><CODE>ap_generator1_array_fprint</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX224"><CODE>ap_generator1_array_get</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX219"><CODE>ap_generator1_array_make</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX225"><CODE>ap_generator1_array_set</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_76.html#IDX222"><CODE>ap_generator1_array_size</CODE></A></TD><TD valign=top><A HREF="apron_76.html#SEC112">Arrays of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_73.html#IDX204"><CODE>ap_generator1_clear</CODE></A></TD><TD valign=top><A HREF="apron_73.html#SEC109">Allocating generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX215"><CODE>ap_generator1_coeffref</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_73.html#IDX203"><CODE>ap_generator1_copy</CODE></A></TD><TD valign=top><A HREF="apron_73.html#SEC109">Allocating generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX214"><CODE>ap_generator1_cstref</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX206"><CODE>ap_generator1_envref</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_75.html#IDX217"><CODE>ap_generator1_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_75.html#SEC111">Change of dimensions and permutations of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_75.html#IDX218"><CODE>ap_generator1_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_75.html#SEC111">Change of dimensions and permutations of generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_73.html#IDX205"><CODE>ap_generator1_fprint</CODE></A></TD><TD valign=top><A HREF="apron_73.html#SEC109">Allocating generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX216"><CODE>ap_generator1_generator0ref</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX207"><CODE>ap_generator1_gentypref</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX211"><CODE>ap_generator1_get_coeff</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX209"><CODE>ap_generator1_get_cst</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX208"><CODE>ap_generator1_linexpr1ref</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_73.html#IDX202"><CODE>ap_generator1_make</CODE></A></TD><TD valign=top><A HREF="apron_73.html#SEC109">Allocating generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX212"><CODE>ap_generator1_set_coeff</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX210"><CODE>ap_generator1_set_cst</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_74.html#IDX213"><CODE>ap_generator1_set_list</CODE></A></TD><TD valign=top><A HREF="apron_74.html#SEC110">Access to generators of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_44.html#SEC80"><CODE>ap_interval_alloc</CODE></A></TD><TD valign=top><A HREF="apron_44.html#SEC80">Initializing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX67"><CODE>ap_interval_alloc_set</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_48.html#SEC84"><CODE>ap_interval_array_alloc</CODE></A></TD><TD valign=top><A HREF="apron_48.html#SEC84">Array of intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_48.html#IDX76"><CODE>ap_interval_array_free</CODE></A></TD><TD valign=top><A HREF="apron_48.html#SEC84">Array of intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_46.html#IDX71"><CODE>ap_interval_cmp</CODE></A></TD><TD valign=top><A HREF="apron_46.html#SEC82">Comparing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_46.html#IDX70"><CODE>ap_interval_equal</CODE></A></TD><TD valign=top><A HREF="apron_46.html#SEC82">Comparing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_47.html#IDX75"><CODE>ap_interval_fprint</CODE></A></TD><TD valign=top><A HREF="apron_47.html#SEC83">Other operations on intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_44.html#IDX58"><CODE>ap_interval_free</CODE></A></TD><TD valign=top><A HREF="apron_44.html#SEC80">Initializing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_47.html#IDX74"><CODE>ap_interval_hash</CODE></A></TD><TD valign=top><A HREF="apron_47.html#SEC83">Other operations on intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_46.html#IDX68"><CODE>ap_interval_is_bottom</CODE></A></TD><TD valign=top><A HREF="apron_46.html#SEC82">Comparing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_46.html#IDX69"><CODE>ap_interval_is_leq</CODE></A></TD><TD valign=top><A HREF="apron_46.html#SEC82">Comparing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_46.html#SEC82"><CODE>ap_interval_is_top</CODE></A></TD><TD valign=top><A HREF="apron_46.html#SEC82">Comparing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_47.html#IDX72"><CODE>ap_interval_neg</CODE></A></TD><TD valign=top><A HREF="apron_47.html#SEC83">Other operations on intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_44.html#IDX59"><CODE>ap_interval_reinit</CODE></A></TD><TD valign=top><A HREF="apron_44.html#SEC80">Initializing intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#SEC81"><CODE>ap_interval_set</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX66"><CODE>ap_interval_set_bottom</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX64"><CODE>ap_interval_set_double</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX63"><CODE>ap_interval_set_frac</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX62"><CODE>ap_interval_set_int</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX61"><CODE>ap_interval_set_mpq</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX60"><CODE>ap_interval_set_scalar</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_45.html#IDX65"><CODE>ap_interval_set_top</CODE></A></TD><TD valign=top><A HREF="apron_45.html#SEC81">Assigning intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_47.html#IDX73"><CODE>ap_interval_swap</CODE></A></TD><TD valign=top><A HREF="apron_47.html#SEC83">Other operations on intervals</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX439"><CODE>ap_lincons0_add_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX438"><CODE>ap_lincons0_add_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX443"><CODE>ap_lincons0_array_add_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX442"><CODE>ap_lincons0_array_add_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_121.html#IDX436"><CODE>ap_lincons0_array_clear</CODE></A></TD><TD valign=top><A HREF="apron_121.html#SEC157">Arrays of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_121.html#IDX437"><CODE>ap_lincons0_array_fprint</CODE></A></TD><TD valign=top><A HREF="apron_121.html#SEC157">Arrays of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_121.html#IDX435"><CODE>ap_lincons0_array_make</CODE></A></TD><TD valign=top><A HREF="apron_121.html#SEC157">Arrays of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX445"><CODE>ap_lincons0_array_permute_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX444"><CODE>ap_lincons0_array_permute_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_119.html#IDX432"><CODE>ap_lincons0_clear</CODE></A></TD><TD valign=top><A HREF="apron_119.html#SEC155">Allocating linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_119.html#IDX431"><CODE>ap_lincons0_copy</CODE></A></TD><TD valign=top><A HREF="apron_119.html#SEC155">Allocating linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_119.html#IDX433"><CODE>ap_lincons0_fprint</CODE></A></TD><TD valign=top><A HREF="apron_119.html#SEC155">Allocating linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_120.html#IDX434"><CODE>ap_lincons0_is_unsat</CODE></A></TD><TD valign=top><A HREF="apron_120.html#SEC156">Tests on linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_119.html#IDX429"><CODE>ap_lincons0_make</CODE></A></TD><TD valign=top><A HREF="apron_119.html#SEC155">Allocating linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_119.html#IDX430"><CODE>ap_lincons0_make_unsat</CODE></A></TD><TD valign=top><A HREF="apron_119.html#SEC155">Allocating linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX441"><CODE>ap_lincons0_permute_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_122.html#IDX440"><CODE>ap_lincons0_permute_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_122.html#SEC158">Change of dimensions and permutations of linear constraints of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX191"><CODE>ap_lincons1_array_clear</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX197"><CODE>ap_lincons1_array_clear_index</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX194"><CODE>ap_lincons1_array_envref</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX199"><CODE>ap_lincons1_array_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX198"><CODE>ap_lincons1_array_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX192"><CODE>ap_lincons1_array_fprint</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX195"><CODE>ap_lincons1_array_get</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX190"><CODE>ap_lincons1_array_make</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX196"><CODE>ap_lincons1_array_set</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_71.html#IDX193"><CODE>ap_lincons1_array_size</CODE></A></TD><TD valign=top><A HREF="apron_71.html#SEC107">Arrays of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_67.html#IDX174"><CODE>ap_lincons1_clear</CODE></A></TD><TD valign=top><A HREF="apron_67.html#SEC103">Allocating linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX186"><CODE>ap_lincons1_coeffref</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX178"><CODE>ap_lincons1_constypref</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_67.html#IDX173"><CODE>ap_lincons1_copy</CODE></A></TD><TD valign=top><A HREF="apron_67.html#SEC103">Allocating linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX185"><CODE>ap_lincons1_cstref</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX177"><CODE>ap_lincons1_envref</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_70.html#IDX188"><CODE>ap_lincons1_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_70.html#SEC106">Change of dimensions and permutations of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_70.html#IDX189"><CODE>ap_lincons1_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_70.html#SEC106">Change of dimensions and permutations of linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_67.html#IDX175"><CODE>ap_lincons1_fprint</CODE></A></TD><TD valign=top><A HREF="apron_67.html#SEC103">Allocating linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX182"><CODE>ap_lincons1_get_coeff</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX180"><CODE>ap_lincons1_get_cst</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_68.html#IDX176"><CODE>ap_lincons1_is_unsat</CODE></A></TD><TD valign=top><A HREF="apron_68.html#SEC104">Tests on linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX187"><CODE>ap_lincons1_lincons0ref</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX179"><CODE>ap_lincons1_linexpr1ref</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_67.html#IDX171"><CODE>ap_lincons1_make</CODE></A></TD><TD valign=top><A HREF="apron_67.html#SEC103">Allocating linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_67.html#IDX172"><CODE>ap_lincons1_make_unsat</CODE></A></TD><TD valign=top><A HREF="apron_67.html#SEC103">Allocating linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX183"><CODE>ap_lincons1_set_coeff</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX181"><CODE>ap_lincons1_set_cst</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_69.html#IDX184"><CODE>ap_lincons1_set_list</CODE></A></TD><TD valign=top><A HREF="apron_69.html#SEC105">Access to linear constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_116.html#IDX420"><CODE>ap_linexpr0_add_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_116.html#SEC152">Change of dimensions and permutations of linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_116.html#IDX419"><CODE>ap_linexpr0_add_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_116.html#SEC152">Change of dimensions and permutations of linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_109.html#IDX381"><CODE>ap_linexpr0_alloc</CODE></A></TD><TD valign=top><A HREF="apron_109.html#SEC145">Allocating linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_112.html#IDX393"><CODE>ap_linexpr0_coeffref</CODE></A></TD><TD valign=top><A HREF="apron_112.html#SEC148">Getting references </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_117.html#IDX425"><CODE>ap_linexpr0_compare</CODE></A></TD><TD valign=top><A HREF="apron_117.html#SEC153">Other functions on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_109.html#IDX385"><CODE>ap_linexpr0_copy</CODE></A></TD><TD valign=top><A HREF="apron_109.html#SEC145">Allocating linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_112.html#IDX392"><CODE>ap_linexpr0_cstref</CODE></A></TD><TD valign=top><A HREF="apron_112.html#SEC148">Getting references </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_117.html#IDX424"><CODE>ap_linexpr0_equal</CODE></A></TD><TD valign=top><A HREF="apron_117.html#SEC153">Other functions on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_113.html#IDX396"><CODE>ap_linexpr0_ForeachLinterm</CODE></A></TD><TD valign=top><A HREF="apron_113.html#SEC149">Getting values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_109.html#IDX386"><CODE>ap_linexpr0_fprint</CODE></A></TD><TD valign=top><A HREF="apron_109.html#SEC145">Allocating linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_109.html#IDX384"><CODE>ap_linexpr0_free</CODE></A></TD><TD valign=top><A HREF="apron_109.html#SEC145">Allocating linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_113.html#IDX395"><CODE>ap_linexpr0_get_coeff</CODE></A></TD><TD valign=top><A HREF="apron_113.html#SEC149">Getting values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_113.html#IDX394"><CODE>ap_linexpr0_get_cst</CODE></A></TD><TD valign=top><A HREF="apron_113.html#SEC149">Getting values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_117.html#IDX423"><CODE>ap_linexpr0_hash</CODE></A></TD><TD valign=top><A HREF="apron_117.html#SEC153">Other functions on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_110.html#IDX387"><CODE>ap_linexpr0_is_integer</CODE></A></TD><TD valign=top><A HREF="apron_110.html#SEC146">Tests on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_110.html#IDX389"><CODE>ap_linexpr0_is_linear</CODE></A></TD><TD valign=top><A HREF="apron_110.html#SEC146">Tests on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_110.html#IDX390"><CODE>ap_linexpr0_is_quasilinear</CODE></A></TD><TD valign=top><A HREF="apron_110.html#SEC146">Tests on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_110.html#IDX388"><CODE>ap_linexpr0_is_real</CODE></A></TD><TD valign=top><A HREF="apron_110.html#SEC146">Tests on linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_109.html#IDX383"><CODE>ap_linexpr0_minimize</CODE></A></TD><TD valign=top><A HREF="apron_109.html#SEC145">Allocating linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_116.html#IDX422"><CODE>ap_linexpr0_permute_dimensions</CODE></A></TD><TD valign=top><A HREF="apron_116.html#SEC152">Change of dimensions and permutations of linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_116.html#IDX421"><CODE>ap_linexpr0_permute_dimensions_with</CODE></A></TD><TD valign=top><A HREF="apron_116.html#SEC152">Change of dimensions and permutations of linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_109.html#IDX382"><CODE>ap_linexpr0_realloc</CODE></A></TD><TD valign=top><A HREF="apron_109.html#SEC145">Allocating linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX409"><CODE>ap_linexpr0_set_coeff</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX414"><CODE>ap_linexpr0_set_coeff_interval</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX418"><CODE>ap_linexpr0_set_coeff_interval_double</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX417"><CODE>ap_linexpr0_set_coeff_interval_frac</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX416"><CODE>ap_linexpr0_set_coeff_interval_int</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX415"><CODE>ap_linexpr0_set_coeff_interval_scalar</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX410"><CODE>ap_linexpr0_set_coeff_scalar</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX413"><CODE>ap_linexpr0_set_coeff_scalar_double</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX412"><CODE>ap_linexpr0_set_coeff_scalar_frac</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX411"><CODE>ap_linexpr0_set_coeff_scalar_int</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX399"><CODE>ap_linexpr0_set_cst</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX404"><CODE>ap_linexpr0_set_cst_interval</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX408"><CODE>ap_linexpr0_set_cst_interval_double</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX407"><CODE>ap_linexpr0_set_cst_interval_frac</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX406"><CODE>ap_linexpr0_set_cst_interval_int</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX405"><CODE>ap_linexpr0_set_cst_interval_scalar</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX400"><CODE>ap_linexpr0_set_cst_scalar</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX403"><CODE>ap_linexpr0_set_cst_scalar_double</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX402"><CODE>ap_linexpr0_set_cst_scalar_frac</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_115.html#IDX401"><CODE>ap_linexpr0_set_cst_scalar_int</CODE></A></TD><TD valign=top><A HREF="apron_115.html#SEC151">Assigning values </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_114.html#IDX398"><CODE>ap_linexpr0_set_list</CODE></A></TD><TD valign=top><A HREF="apron_114.html#SEC150">Assigning values with a list of arguments </A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_111.html#IDX391"><CODE>ap_linexpr0_size</CODE></A></TD><TD valign=top><A HREF="apron_111.html#SEC147">Access to linear expressions of level 0</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_58.html#IDX133"><CODE>ap_linexpr1_clear</CODE></A></TD><TD valign=top><A HREF="apron_58.html#SEC94">Allocating linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_61.html#IDX142"><CODE>ap_linexpr1_coeffref</CODE></A></TD><TD valign=top><A HREF="apron_61.html#SEC97">Getting references</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_58.html#IDX132"><CODE>ap_linexpr1_copy</CODE></A></TD><TD valign=top><A HREF="apron_58.html#SEC94">Allocating linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_61.html#IDX141"><CODE>ap_linexpr1_cstref</CODE></A></TD><TD valign=top><A HREF="apron_61.html#SEC97">Getting references</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_60.html#IDX139"><CODE>ap_linexpr1_envref</CODE></A></TD><TD valign=top><A HREF="apron_60.html#SEC96">Access to linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_65.html#IDX167"><CODE>ap_linexpr1_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_65.html#SEC101">Change of dimensions and permutations of linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_65.html#IDX168"><CODE>ap_linexpr1_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_65.html#SEC101">Change of dimensions and permutations of linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_62.html#IDX145"><CODE>ap_linexpr1_ForeachLinterm</CODE></A></TD><TD valign=top><A HREF="apron_62.html#SEC98">Getting values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_58.html#IDX134"><CODE>ap_linexpr1_fprint</CODE></A></TD><TD valign=top><A HREF="apron_58.html#SEC94">Allocating linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_62.html#IDX144"><CODE>ap_linexpr1_get_coeff</CODE></A></TD><TD valign=top><A HREF="apron_62.html#SEC98">Getting values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_62.html#IDX143"><CODE>ap_linexpr1_get_cst</CODE></A></TD><TD valign=top><A HREF="apron_62.html#SEC98">Getting values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_59.html#IDX135"><CODE>ap_linexpr1_is_integer</CODE></A></TD><TD valign=top><A HREF="apron_59.html#SEC95">Tests on linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_59.html#IDX137"><CODE>ap_linexpr1_is_linear</CODE></A></TD><TD valign=top><A HREF="apron_59.html#SEC95">Tests on linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_59.html#IDX138"><CODE>ap_linexpr1_is_quasilinear</CODE></A></TD><TD valign=top><A HREF="apron_59.html#SEC95">Tests on linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_59.html#IDX136"><CODE>ap_linexpr1_is_real</CODE></A></TD><TD valign=top><A HREF="apron_59.html#SEC95">Tests on linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_60.html#IDX140"><CODE>ap_linexpr1_linexpr0ref</CODE></A></TD><TD valign=top><A HREF="apron_60.html#SEC96">Access to linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_58.html#IDX130"><CODE>ap_linexpr1_make</CODE></A></TD><TD valign=top><A HREF="apron_58.html#SEC94">Allocating linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_58.html#IDX131"><CODE>ap_linexpr1_minimize</CODE></A></TD><TD valign=top><A HREF="apron_58.html#SEC94">Allocating linear expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX157"><CODE>ap_linexpr1_set_coeff</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX162"><CODE>ap_linexpr1_set_coeff_interval</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX166"><CODE>ap_linexpr1_set_coeff_interval_double</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX165"><CODE>ap_linexpr1_set_coeff_interval_frac</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX164"><CODE>ap_linexpr1_set_coeff_interval_int</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX163"><CODE>ap_linexpr1_set_coeff_interval_scalar</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX158"><CODE>ap_linexpr1_set_coeff_scalar</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX161"><CODE>ap_linexpr1_set_coeff_scalar_double</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX160"><CODE>ap_linexpr1_set_coeff_scalar_frac</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX159"><CODE>ap_linexpr1_set_coeff_scalar_int</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX147"><CODE>ap_linexpr1_set_cst</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX152"><CODE>ap_linexpr1_set_cst_interval</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX156"><CODE>ap_linexpr1_set_cst_interval_double</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX155"><CODE>ap_linexpr1_set_cst_interval_frac</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX154"><CODE>ap_linexpr1_set_cst_interval_int</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX153"><CODE>ap_linexpr1_set_cst_interval_scalar</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX148"><CODE>ap_linexpr1_set_cst_scalar</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX151"><CODE>ap_linexpr1_set_cst_scalar_double</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX150"><CODE>ap_linexpr1_set_cst_scalar_frac</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_64.html#IDX149"><CODE>ap_linexpr1_set_cst_scalar_int</CODE></A></TD><TD valign=top><A HREF="apron_64.html#SEC100">Assigning values</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_63.html#IDX146"><CODE>ap_linexpr1_set_list</CODE></A></TD><TD valign=top><A HREF="apron_63.html#SEC99">Assigning values with a list of arguments</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX8"><CODE>ap_manager_free</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC51">Functions related to managers</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX16"><CODE>ap_manager_get_abort_if_exception</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC53">Exceptions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX18"><CODE>ap_manager_get_exception</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC53">Exceptions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX19"><CODE>ap_manager_get_exclog</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC53">Exceptions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX12"><CODE>ap_manager_get_flag_best</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC51">Functions related to managers</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX11"><CODE>ap_manager_get_flag_exact</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC51">Functions related to managers</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX13"><CODE>ap_manager_get_funopt</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC52">Options</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX17"><CODE>ap_manager_set_abort_if_exception</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC53">Exceptions</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_20.html#IDX14"><CODE>ap_manager_set_funopt</CODE></A></TD><TD valign=top><A HREF="apron_20.html#SEC52">Options</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_40.html#SEC76"><CODE>ap_mpq_set_scalar</CODE></A></TD><TD valign=top><A HREF="apron_40.html#SEC76">Converting scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_35.html#IDX31"><CODE>ap_pkgrid_manager_alloc</CODE></A></TD><TD valign=top><A HREF="apron_35.html#SEC71">Allocating pkgrid managers</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_31.html#IDX30"><CODE>ap_ppl_grid_manager_alloc</CODE></A></TD><TD valign=top><A HREF="apron_31.html#SEC67">Allocating APRON PPL managers</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_31.html#IDX29"><CODE>ap_ppl_poly_manager_alloc</CODE></A></TD><TD valign=top><A HREF="apron_31.html#SEC67">Allocating APRON PPL managers</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_38.html#SEC74"><CODE>ap_scalar_alloc</CODE></A></TD><TD valign=top><A HREF="apron_38.html#SEC74">Initializing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX43"><CODE>ap_scalar_alloc_set</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX45"><CODE>ap_scalar_alloc_set_double</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX44"><CODE>ap_scalar_alloc_set_mpq</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_38.html#IDX37"><CODE>ap_scalar_clear</CODE></A></TD><TD valign=top><A HREF="apron_38.html#SEC74">Initializing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_41.html#IDX48"><CODE>ap_scalar_cmp</CODE></A></TD><TD valign=top><A HREF="apron_41.html#SEC77">Comparing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_41.html#IDX49"><CODE>ap_scalar_cmp_int</CODE></A></TD><TD valign=top><A HREF="apron_41.html#SEC77">Comparing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_41.html#IDX50"><CODE>ap_scalar_equal</CODE></A></TD><TD valign=top><A HREF="apron_41.html#SEC77">Comparing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_41.html#IDX51"><CODE>ap_scalar_equal_int</CODE></A></TD><TD valign=top><A HREF="apron_41.html#SEC77">Comparing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_42.html#IDX56"><CODE>ap_scalar_fprint</CODE></A></TD><TD valign=top><A HREF="apron_42.html#SEC78">Other operations on scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_38.html#IDX34"><CODE>ap_scalar_free</CODE></A></TD><TD valign=top><A HREF="apron_38.html#SEC74">Initializing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_40.html#IDX46"><CODE>ap_scalar_get_double</CODE></A></TD><TD valign=top><A HREF="apron_40.html#SEC76">Converting scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_42.html#IDX55"><CODE>ap_scalar_hash</CODE></A></TD><TD valign=top><A HREF="apron_42.html#SEC78">Other operations on scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_41.html#SEC77"><CODE>ap_scalar_infty</CODE></A></TD><TD valign=top><A HREF="apron_41.html#SEC77">Comparing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_38.html#IDX36"><CODE>ap_scalar_init</CODE></A></TD><TD valign=top><A HREF="apron_38.html#SEC74">Initializing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_42.html#IDX53"><CODE>ap_scalar_inv</CODE></A></TD><TD valign=top><A HREF="apron_42.html#SEC78">Other operations on scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_42.html#IDX52"><CODE>ap_scalar_neg</CODE></A></TD><TD valign=top><A HREF="apron_42.html#SEC78">Other operations on scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_38.html#IDX35"><CODE>ap_scalar_reinit</CODE></A></TD><TD valign=top><A HREF="apron_38.html#SEC74">Initializing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#SEC75"><CODE>ap_scalar_set</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX41"><CODE>ap_scalar_set_double</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX40"><CODE>ap_scalar_set_frac</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX42"><CODE>ap_scalar_set_infty</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX39"><CODE>ap_scalar_set_int</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_39.html#IDX38"><CODE>ap_scalar_set_mpq</CODE></A></TD><TD valign=top><A HREF="apron_39.html#SEC75">Assigning scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_41.html#IDX47"><CODE>ap_scalar_sgn</CODE></A></TD><TD valign=top><A HREF="apron_41.html#SEC77">Comparing scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_42.html#IDX54"><CODE>ap_scalar_swap</CODE></A></TD><TD valign=top><A HREF="apron_42.html#SEC78">Other operations on scalars</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX281"><CODE>ap_tcons1_array_clear</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX286"><CODE>ap_tcons1_array_clear_index</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX285"><CODE>ap_tcons1_array_envref</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX290"><CODE>ap_tcons1_array_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX289"><CODE>ap_tcons1_array_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX282"><CODE>ap_tcons1_array_fprint</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX287"><CODE>ap_tcons1_array_get</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX280"><CODE>ap_tcons1_array_make</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX283"><CODE>ap_tcons1_array_print</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX288"><CODE>ap_tcons1_array_set</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_86.html#IDX284"><CODE>ap_tcons1_array_size</CODE></A></TD><TD valign=top><A HREF="apron_86.html#SEC122">Arrays of tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX270"><CODE>ap_tcons1_clear</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX274"><CODE>ap_tcons1_constypref</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX269"><CODE>ap_tcons1_copy</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX273"><CODE>ap_tcons1_envref</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_85.html#IDX278"><CODE>ap_tcons1_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_85.html#SEC121">Operations on tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_85.html#IDX279"><CODE>ap_tcons1_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_85.html#SEC121">Operations on tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX271"><CODE>ap_tcons1_fprint</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX268"><CODE>ap_tcons1_from_lincons1</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX267"><CODE>ap_tcons1_make</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX272"><CODE>ap_tcons1_print</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX275"><CODE>ap_tcons1_scalarref</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX277"><CODE>ap_tcons1_tcons0ref</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_84.html#IDX276"><CODE>ap_tcons1_texpr1ref</CODE></A></TD><TD valign=top><A HREF="apron_84.html#SEC120">Constructors/Destructors for tree constraints of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX248"><CODE>ap_texpr1_binop</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX249"><CODE>ap_texpr1_copy</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX233"><CODE>ap_texpr1_cst</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX239"><CODE>ap_texpr1_cst_interval</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX244"><CODE>ap_texpr1_cst_interval_double</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX243"><CODE>ap_texpr1_cst_interval_frac</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX242"><CODE>ap_texpr1_cst_interval_int</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX241"><CODE>ap_texpr1_cst_interval_mpq</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX240"><CODE>ap_texpr1_cst_interval_scalar</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX234"><CODE>ap_texpr1_cst_scalar</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX238"><CODE>ap_texpr1_cst_scalar_double</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX237"><CODE>ap_texpr1_cst_scalar_frac</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX236"><CODE>ap_texpr1_cst_scalar_int</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX235"><CODE>ap_texpr1_cst_scalar_mpq</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX245"><CODE>ap_texpr1_cst_top</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX254"><CODE>ap_texpr1_equal</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_81.html#IDX262"><CODE>ap_texpr1_extend_environment</CODE></A></TD><TD valign=top><A HREF="apron_81.html#SEC117">Operations on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_81.html#IDX264"><CODE>ap_texpr1_extend_environment_with</CODE></A></TD><TD valign=top><A HREF="apron_81.html#SEC117">Operations on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX252"><CODE>ap_texpr1_fprint</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX251"><CODE>ap_texpr1_free</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX250"><CODE>ap_texpr1_from_linexpr1</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX255"><CODE>ap_texpr1_has_var</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX256"><CODE>ap_texpr1_is_interval_cst</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX257"><CODE>ap_texpr1_is_interval_linear</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX259"><CODE>ap_texpr1_is_interval_polyfrac</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX258"><CODE>ap_texpr1_is_interval_polynomial</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_80.html#IDX260"><CODE>ap_texpr1_is_scalar</CODE></A></TD><TD valign=top><A HREF="apron_80.html#SEC116">Tests on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX253"><CODE>ap_texpr1_print</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_81.html#IDX261"><CODE>ap_texpr1_substitute</CODE></A></TD><TD valign=top><A HREF="apron_81.html#SEC117">Operations on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_81.html#IDX263"><CODE>ap_texpr1_substitute_with</CODE></A></TD><TD valign=top><A HREF="apron_81.html#SEC117">Operations on tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX247"><CODE>ap_texpr1_unop</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD></TD><TD valign=top><A HREF="apron_79.html#IDX246"><CODE>ap_texpr1_var</CODE></A></TD><TD valign=top><A HREF="apron_79.html#SEC115">Constructors/Destructors for tree expressions of level 1</A></TD></TR>
<TR><TD COLSPAN=3> <HR></TD></TR>
</TABLE><P></P><table><tr><th valign=top>Jump to: &nbsp; </th><td><A HREF="apron_151.html#fn_A" style="text-decoration:none"><b>A</b></A>
 &nbsp; 
<A HREF="apron_152.html#fn_B" style="text-decoration:none"><b>B</b></A>
 &nbsp; 
<A HREF="apron_152.html#fn_C" style="text-decoration:none"><b>C</b></A>
 &nbsp; 
<A HREF="apron_152.html#fn_P" style="text-decoration:none"><b>P</b></A>
 &nbsp; 
</td></tr></table><br><HR SIZE=1>
<TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0>
<TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_150.html#SEC186"> &lt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_152.html"> &gt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT"> &nbsp; <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_148.html#SEC184"> &lt;&lt; </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="apron_148.html#SEC184"> Up </A>]</TD>
<TD VALIGN="MIDDLE" ALIGN="LEFT">[ &gt;&gt; ]</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>
<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>