<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <title>PPL: Member List</title> <link href="tabs.css" rel="stylesheet" type="text/css"/> <link href="doxygen.css" rel="stylesheet" type="text/css"/> </head> <body> <!-- Generated by Doxygen 1.6.3 --> <div class="navigation" id="top"> <div class="tabs"> <ul> <li><a href="main.html"><span>Main Page</span></a></li> <li><a href="pages.html"><span>Related Pages</span></a></li> <li><a href="modules.html"><span>Modules</span></a></li> <li><a href="namespaces.html"><span>Namespaces</span></a></li> <li class="current"><a href="annotated.html"><span>Classes</span></a></li> </ul> </div> <div class="tabs"> <ul> <li><a href="annotated.html"><span>Class List</span></a></li> <li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li> <li><a href="functions.html"><span>Class Members</span></a></li> </ul> </div> </div> <div class="contents"> <h1>Parma_Polyhedra_Library::Interval< Boundary, Info > Member List</h1>This is the complete list of members for <a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a>, including all inherited members.<table> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#ae34390c17dbd12de9906817c4b6cf479">difference_assign</a>(const From &x)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a241f107b045949a58b49469a6a09caf9">difference_assign</a>(const From1 &x, const From2 &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#af3699ea93d8ec71859566480bede9332">div_assign</a>(const From1 &x, const From2 &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#aca669c9659132e9fa6adc7a9afbef642">empty_intersection_assign</a>(const From &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#aaeb70a45d5ee0c7fac5f5d6c659fc69e">external_memory_in_bytes</a>() const </td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a479e61ba0938cd3303c57f1881d8f2ab">Interval</a>(const char *s)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline, explicit]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a5915be624de343f1598d246ee4f1bc42">lower_approximation_difference_assign</a>(const From &x)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a1c76acbe653414cc28fac54c69622446">mul_assign</a>(const From1 &x, const From2 &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a6a869e3c010e87dff868fb410d4f0a20">refine_existential</a>(Relation_Symbol rel, const From &x)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#ac3abadf1d96bef1880657113014d46dd">refine_universal</a>(Relation_Symbol rel, const From &x)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#aa71726a7725f9269553ed9e594b0d74a">simplify_using_context_assign</a>(const From &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#ab5160fe536bd1bc8d42c12de33f40493">swap</a>(Interval &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a79370159de3dc1738441b20eff866329">swap</a>(Parma_Polyhedra_Library::Interval< Boundary, Info > &x, Parma_Polyhedra_Library::Interval< Boundary, Info > &y)</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [related]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#afb730d60db4b7e1ddd4c9994ec077cf6">topological_closure_assign</a>()</td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> <tr class="memlist"><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html#a348c6523b219aee93545bb401dc0b813">total_memory_in_bytes</a>() const </td><td><a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Parma_Polyhedra_Library::Interval< Boundary, Info ></a></td><td><code> [inline]</code></td></tr> </table></div> <hr class="footer"/><address style="text-align: right;"><small>Generated on Sun Feb 27 10:10:57 2011 for PPL by <a href="http://www.doxygen.org/index.html"> <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.6.3 </small></address> </body> </html>