<!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: Parma_Polyhedra_Library::C_Polyhedron Class Reference</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 class="navpath"><a class="el" href="namespaceParma__Polyhedra__Library.html">Parma_Polyhedra_Library</a>::<a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a>
</div>
</div>
<div class="contents">
<h1>Parma_Polyhedra_Library::C_Polyhedron Class Reference<br/>
<small>
[<a class="el" href="group__PPL__CXX__interface.html">C++ Language Interface</a>]</small>
</h1><!-- doxytag: class="Parma_Polyhedra_Library::C_Polyhedron" --><!-- doxytag: inherits="Parma_Polyhedra_Library::Polyhedron" -->
<p>A closed convex polyhedron.
<a href="#_details">More...</a></p>
<p><code>#include <ppl.hh></code></p>
<p>Inherits <a class="el" href="classParma__Polyhedra__Library_1_1Polyhedron.html">Parma_Polyhedra_Library::Polyhedron</a>.</p>
<p><a href="classParma__Polyhedra__Library_1_1C__Polyhedron-members.html">List of all members.</a></p>
<table border="0" cellpadding="0" cellspacing="0">
<tr><td colspan="2"><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a4b841053fdf5718c17a018ff650b550a">C_Polyhedron</a> (<a class="el" href="group__PPL__CXX__interface.html#ga853432469169b07e42c557e1d6d144de">dimension_type</a> num_dimensions=0, <a class="el" href="group__PPL__CXX__interface.html#ga616fcdc7600a3a11a8a9152e75730899">Degenerate_Element</a> kind=UNIVERSE)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds either the universe or the empty C polyhedron. <a href="#a4b841053fdf5718c17a018ff650b550a"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a33d58476db85f48e4ad680c69bca524f">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1Constraint__System.html">Constraint_System</a> &cs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron from a system of constraints. <a href="#a33d58476db85f48e4ad680c69bca524f"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a2b220dabc613a89a062968101429e58c">C_Polyhedron</a> (<a class="el" href="classParma__Polyhedra__Library_1_1Constraint__System.html">Constraint_System</a> &cs, <a class="el" href="structParma__Polyhedra__Library_1_1Recycle__Input.html">Recycle_Input</a> dummy)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron recycling a system of constraints. <a href="#a2b220dabc613a89a062968101429e58c"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#ac98ed1378829f72aee73c40dff16f269">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1Generator__System.html">Generator_System</a> &gs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron from a system of generators. <a href="#ac98ed1378829f72aee73c40dff16f269"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a8a6c3f01edb04382620066f17b63b20c">C_Polyhedron</a> (<a class="el" href="classParma__Polyhedra__Library_1_1Generator__System.html">Generator_System</a> &gs, <a class="el" href="structParma__Polyhedra__Library_1_1Recycle__Input.html">Recycle_Input</a> dummy)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron recycling a system of generators. <a href="#a8a6c3f01edb04382620066f17b63b20c"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#ae46f7a91b9fac1a62ef875ec5c72aab6">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1Congruence__System.html">Congruence_System</a> &cgs)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron from a system of congruences. <a href="#ae46f7a91b9fac1a62ef875ec5c72aab6"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#ac3126925bcd3349b150771d52c19639d">C_Polyhedron</a> (<a class="el" href="classParma__Polyhedra__Library_1_1Congruence__System.html">Congruence_System</a> &cgs, <a class="el" href="structParma__Polyhedra__Library_1_1Recycle__Input.html">Recycle_Input</a> dummy)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron recycling a system of congruences. <a href="#ac3126925bcd3349b150771d52c19639d"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a9720487deabf813a31afd4e9cfe695aa">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1NNC__Polyhedron.html">NNC_Polyhedron</a> &y, <a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> complexity=ANY_COMPLEXITY)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron representing the topological closure of the NNC polyhedron <code>y</code>. <a href="#a9720487deabf813a31afd4e9cfe695aa"></a><br/></td></tr>
<tr><td class="memTemplParams" colspan="2">template<typename Interval > </td></tr>
<tr><td class="memTemplItemLeft" align="right" valign="top"> </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a68e25304a250a8c739927adfb90043d1">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1Box.html">Box</a>< <a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Interval</a> > &box, <a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> complexity=ANY_COMPLEXITY)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron out of a box. <a href="#a68e25304a250a8c739927adfb90043d1"></a><br/></td></tr>
<tr><td class="memTemplParams" colspan="2">template<typename U > </td></tr>
<tr><td class="memTemplItemLeft" align="right" valign="top"> </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#ae9a2b78be6811d666fb9d145078d796d">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1BD__Shape.html">BD_Shape</a>< U > &bd, <a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> complexity=ANY_COMPLEXITY)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron out of a BD shape. <a href="#ae9a2b78be6811d666fb9d145078d796d"></a><br/></td></tr>
<tr><td class="memTemplParams" colspan="2">template<typename U > </td></tr>
<tr><td class="memTemplItemLeft" align="right" valign="top"> </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a6b286c9e001bf126a0ab85aac675786d">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1Octagonal__Shape.html">Octagonal_Shape</a>< U > &os, <a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> complexity=ANY_COMPLEXITY)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron out of an octagonal shape. <a href="#a6b286c9e001bf126a0ab85aac675786d"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#ac86d25d06285c9a2e890770fed084574">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1Grid.html">Grid</a> &grid, <a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> complexity=ANY_COMPLEXITY)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Builds a C polyhedron out of a grid. <a href="#ac86d25d06285c9a2e890770fed084574"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#afaae25a26dbecf9341c7fb2c2575f81f">C_Polyhedron</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> &y, <a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> complexity=ANY_COMPLEXITY)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Ordinary copy constructor. <a href="#afaae25a26dbecf9341c7fb2c2575f81f"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a59d06e9b429faef7a632d58e4a0b12bd"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::operator=" ref="a59d06e9b429faef7a632d58e4a0b12bd" args="(const C_Polyhedron &y)" -->
<a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a59d06e9b429faef7a632d58e4a0b12bd">operator=</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> &y)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">The assignment operator. (<code>*this</code> and <code>y</code> can be dimension-incompatible.). <br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a6f581bf46ab0488f444977453ba2ea2d"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::operator=" ref="a6f581bf46ab0488f444977453ba2ea2d" args="(const NNC_Polyhedron &y)" -->
<a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> & </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a6f581bf46ab0488f444977453ba2ea2d">operator=</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1NNC__Polyhedron.html">NNC_Polyhedron</a> &y)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Assigns to <code>*this</code> the topological closure of the NNC polyhedron <code>y</code>. <br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a09726be54fe2a591787de59eeffdd2ea"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::~C_Polyhedron" ref="a09726be54fe2a591787de59eeffdd2ea" args="()" -->
</td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a09726be54fe2a591787de59eeffdd2ea">~C_Polyhedron</a> ()</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Destructor. <br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a5eb7f86790ada6549123a0225d68a4de">poly_hull_assign_if_exact</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> &y)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">If the poly-hull of <code>*this</code> and <code>y</code> is exact it is assigned to <code>*this</code> and <code>true</code> is returned, otherwise <code>false</code> is returned. <a href="#a5eb7f86790ada6549123a0225d68a4de"></a><br/></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a6424da8931d774f6a2e403c1e2f0d09a"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::upper_bound_assign_if_exact" ref="a6424da8931d774f6a2e403c1e2f0d09a" args="(const C_Polyhedron &y)" -->
bool </td><td class="memItemRight" valign="bottom"><a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html#a6424da8931d774f6a2e403c1e2f0d09a">upper_bound_assign_if_exact</a> (const <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> &y)</td></tr>
<tr><td class="mdescLeft"> </td><td class="mdescRight">Same as poly_hull_assign_if_exact(y). <br/></td></tr>
</table>
<hr/><a name="_details"></a><h2>Detailed Description</h2>
<p>A closed convex polyhedron. </p>
<p>An object of the class <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html" title="A closed convex polyhedron.">C_Polyhedron</a> represents a <em>topologically closed</em> convex polyhedron in the vector space <img class="formulaInl" alt="$\Rset^n$" src="form_24.png"/>.</p>
<p>When building a closed polyhedron starting from a system of constraints, an exception is thrown if the system contains a <em>strict inequality</em> constraint. Similarly, an exception is thrown when building a closed polyhedron starting from a system of generators containing a <em>closure point</em>.</p>
<dl class="note"><dt><b>Note:</b></dt><dd>Such an exception will be obtained even if the system of constraints (resp., generators) actually defines a topologically closed subset of the vector space, i.e., even if all the strict inequalities (resp., closure points) in the system happen to be redundant with respect to the system obtained by removing all the strict inequality constraints (resp., all the closure points). In contrast, when building a closed polyhedron starting from an object of the class <a class="el" href="classParma__Polyhedra__Library_1_1NNC__Polyhedron.html" title="A not necessarily closed convex polyhedron.">NNC_Polyhedron</a>, the precise topological closure test will be performed. </dd></dl>
<hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="a4b841053fdf5718c17a018ff650b550a"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a4b841053fdf5718c17a018ff650b550a" args="(dimension_type num_dimensions=0, Degenerate_Element kind=UNIVERSE)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga853432469169b07e42c557e1d6d144de">dimension_type</a> </td>
<td class="paramname"> <em>num_dimensions</em> = <code>0</code>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga616fcdc7600a3a11a8a9152e75730899">Degenerate_Element</a> </td>
<td class="paramname"> <em>kind</em> = <code>UNIVERSE</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds either the universe or the empty C polyhedron. </p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>num_dimensions</em> </td><td>The number of dimensions of the vector space enclosing the C polyhedron;</td></tr>
<tr><td valign="top"></td><td valign="top"><em>kind</em> </td><td>Specifies whether a universe or an empty C polyhedron should be built.</td></tr>
</table>
</dd>
</dl>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::length_error</em> </td><td>Thrown if <code>num_dimensions</code> exceeds the maximum allowed space dimension.</td></tr>
</table>
</dd>
</dl>
<p>Both parameters are optional: by default, a 0-dimension space universe C polyhedron is built. </p>
</div>
</div>
<a class="anchor" id="a33d58476db85f48e4ad680c69bca524f"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a33d58476db85f48e4ad680c69bca524f" args="(const Constraint_System &cs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1Constraint__System.html">Constraint_System</a> & </td>
<td class="paramname"> <em>cs</em></td>
<td> ) </td>
<td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron from a system of constraints. </p>
<p>The polyhedron inherits the space dimension of the constraint system.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>cs</em> </td><td>The system of constraints defining the polyhedron.</td></tr>
</table>
</dd>
</dl>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::invalid_argument</em> </td><td>Thrown if the system of constraints contains strict inequalities. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="a2b220dabc613a89a062968101429e58c"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a2b220dabc613a89a062968101429e58c" args="(Constraint_System &cs, Recycle_Input dummy)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classParma__Polyhedra__Library_1_1Constraint__System.html">Constraint_System</a> & </td>
<td class="paramname"> <em>cs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structParma__Polyhedra__Library_1_1Recycle__Input.html">Recycle_Input</a> </td>
<td class="paramname"> <em>dummy</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron recycling a system of constraints. </p>
<p>The polyhedron inherits the space dimension of the constraint system.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>cs</em> </td><td>The system of constraints defining the polyhedron. It is not declared <code>const</code> because its data-structures may be recycled to build the polyhedron.</td></tr>
<tr><td valign="top"></td><td valign="top"><em>dummy</em> </td><td>A dummy tag to syntactically differentiate this one from the other constructors.</td></tr>
</table>
</dd>
</dl>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::invalid_argument</em> </td><td>Thrown if the system of constraints contains strict inequalities. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="ac98ed1378829f72aee73c40dff16f269"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="ac98ed1378829f72aee73c40dff16f269" args="(const Generator_System &gs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1Generator__System.html">Generator_System</a> & </td>
<td class="paramname"> <em>gs</em></td>
<td> ) </td>
<td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron from a system of generators. </p>
<p>The polyhedron inherits the space dimension of the generator system.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>gs</em> </td><td>The system of generators defining the polyhedron.</td></tr>
</table>
</dd>
</dl>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::invalid_argument</em> </td><td>Thrown if the system of generators is not empty but has no points, or if it contains closure points. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="a8a6c3f01edb04382620066f17b63b20c"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a8a6c3f01edb04382620066f17b63b20c" args="(Generator_System &gs, Recycle_Input dummy)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classParma__Polyhedra__Library_1_1Generator__System.html">Generator_System</a> & </td>
<td class="paramname"> <em>gs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structParma__Polyhedra__Library_1_1Recycle__Input.html">Recycle_Input</a> </td>
<td class="paramname"> <em>dummy</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron recycling a system of generators. </p>
<p>The polyhedron inherits the space dimension of the generator system.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>gs</em> </td><td>The system of generators defining the polyhedron. It is not declared <code>const</code> because its data-structures may be recycled to build the polyhedron.</td></tr>
<tr><td valign="top"></td><td valign="top"><em>dummy</em> </td><td>A dummy tag to syntactically differentiate this one from the other constructors.</td></tr>
</table>
</dd>
</dl>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::invalid_argument</em> </td><td>Thrown if the system of generators is not empty but has no points, or if it contains closure points. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="ae46f7a91b9fac1a62ef875ec5c72aab6"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="ae46f7a91b9fac1a62ef875ec5c72aab6" args="(const Congruence_System &cgs)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1Congruence__System.html">Congruence_System</a> & </td>
<td class="paramname"> <em>cgs</em></td>
<td> ) </td>
<td><code> [explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron from a system of congruences. </p>
<p>The polyhedron inherits the space dimension of the congruence system.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>cgs</em> </td><td>The system of congruences defining the polyhedron. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="ac3126925bcd3349b150771d52c19639d"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="ac3126925bcd3349b150771d52c19639d" args="(Congruence_System &cgs, Recycle_Input dummy)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classParma__Polyhedra__Library_1_1Congruence__System.html">Congruence_System</a> & </td>
<td class="paramname"> <em>cgs</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="structParma__Polyhedra__Library_1_1Recycle__Input.html">Recycle_Input</a> </td>
<td class="paramname"> <em>dummy</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron recycling a system of congruences. </p>
<p>The polyhedron inherits the space dimension of the congruence system.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>cgs</em> </td><td>The system of congruences defining the polyhedron. It is not declared <code>const</code> because its data-structures may be recycled to build the polyhedron.</td></tr>
<tr><td valign="top"></td><td valign="top"><em>dummy</em> </td><td>A dummy tag to syntactically differentiate this one from the other constructors. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="a9720487deabf813a31afd4e9cfe695aa"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a9720487deabf813a31afd4e9cfe695aa" args="(const NNC_Polyhedron &y, Complexity_Class complexity=ANY_COMPLEXITY)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1NNC__Polyhedron.html">NNC_Polyhedron</a> & </td>
<td class="paramname"> <em>y</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> </td>
<td class="paramname"> <em>complexity</em> = <code>ANY_COMPLEXITY</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron representing the topological closure of the NNC polyhedron <code>y</code>. </p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>y</em> </td><td>The NNC polyhedron to be used;</td></tr>
<tr><td valign="top"></td><td valign="top"><em>complexity</em> </td><td>This argument is ignored. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="a68e25304a250a8c739927adfb90043d1"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a68e25304a250a8c739927adfb90043d1" args="(const Box< Interval > &box, Complexity_Class complexity=ANY_COMPLEXITY)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<typename Interval > </div>
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1Box.html">Box</a>< <a class="el" href="classParma__Polyhedra__Library_1_1Interval.html">Interval</a> > & </td>
<td class="paramname"> <em>box</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> </td>
<td class="paramname"> <em>complexity</em> = <code>ANY_COMPLEXITY</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron out of a box. </p>
<p>The polyhedron inherits the space dimension of the box and is the most precise that includes the box. The algorithm used has polynomial complexity.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>box</em> </td><td>The box representing the polyhedron to be approximated;</td></tr>
<tr><td valign="top"></td><td valign="top"><em>complexity</em> </td><td>This argument is ignored.</td></tr>
</table>
</dd>
</dl>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::length_error</em> </td><td>Thrown if the space dimension of <code>box</code> exceeds the maximum allowed space dimension. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="ae9a2b78be6811d666fb9d145078d796d"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="ae9a2b78be6811d666fb9d145078d796d" args="(const BD_Shape< U > &bd, Complexity_Class complexity=ANY_COMPLEXITY)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<typename U > </div>
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1BD__Shape.html">BD_Shape</a>< U > & </td>
<td class="paramname"> <em>bd</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> </td>
<td class="paramname"> <em>complexity</em> = <code>ANY_COMPLEXITY</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron out of a BD shape. </p>
<p>The polyhedron inherits the space dimension of the BDS and is the most precise that includes the BDS.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>bd</em> </td><td>The BDS used to build the polyhedron.</td></tr>
<tr><td valign="top"></td><td valign="top"><em>complexity</em> </td><td>This argument is ignored as the algorithm used has polynomial complexity. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="a6b286c9e001bf126a0ab85aac675786d"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="a6b286c9e001bf126a0ab85aac675786d" args="(const Octagonal_Shape< U > &os, Complexity_Class complexity=ANY_COMPLEXITY)" -->
<div class="memitem">
<div class="memproto">
<div class="memtemplate">
template<typename U > </div>
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1Octagonal__Shape.html">Octagonal_Shape</a>< U > & </td>
<td class="paramname"> <em>os</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> </td>
<td class="paramname"> <em>complexity</em> = <code>ANY_COMPLEXITY</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline, explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron out of an octagonal shape. </p>
<p>The polyhedron inherits the space dimension of the octagonal shape and is the most precise that includes the octagonal shape.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>os</em> </td><td>The octagonal shape used to build the polyhedron.</td></tr>
<tr><td valign="top"></td><td valign="top"><em>complexity</em> </td><td>This argument is ignored as the algorithm used has polynomial complexity. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="ac86d25d06285c9a2e890770fed084574"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="ac86d25d06285c9a2e890770fed084574" args="(const Grid &grid, Complexity_Class complexity=ANY_COMPLEXITY)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1Grid.html">Grid</a> & </td>
<td class="paramname"> <em>grid</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> </td>
<td class="paramname"> <em>complexity</em> = <code>ANY_COMPLEXITY</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [explicit]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Builds a C polyhedron out of a grid. </p>
<p>The polyhedron inherits the space dimension of the grid and is the most precise that includes the grid.</p>
<dl><dt><b>Parameters:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>grid</em> </td><td>The grid used to build the polyhedron.</td></tr>
<tr><td valign="top"></td><td valign="top"><em>complexity</em> </td><td>This argument is ignored as the algorithm used has polynomial complexity. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<a class="anchor" id="afaae25a26dbecf9341c7fb2c2575f81f"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron" ref="afaae25a26dbecf9341c7fb2c2575f81f" args="(const C_Polyhedron &y, Complexity_Class complexity=ANY_COMPLEXITY)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> & </td>
<td class="paramname"> <em>y</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="group__PPL__CXX__interface.html#ga113f1e845cba6b1c3c5705d0e14f1cc1">Complexity_Class</a> </td>
<td class="paramname"> <em>complexity</em> = <code>ANY_COMPLEXITY</code></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Ordinary copy constructor. </p>
<p>The complexity argument is ignored. </p>
</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a5eb7f86790ada6549123a0225d68a4de"></a><!-- doxytag: member="Parma_Polyhedra_Library::C_Polyhedron::poly_hull_assign_if_exact" ref="a5eb7f86790ada6549123a0225d68a4de" args="(const C_Polyhedron &y)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool Parma_Polyhedra_Library::C_Polyhedron::poly_hull_assign_if_exact </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classParma__Polyhedra__Library_1_1C__Polyhedron.html">C_Polyhedron</a> & </td>
<td class="paramname"> <em>y</em></td>
<td> ) </td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>If the poly-hull of <code>*this</code> and <code>y</code> is exact it is assigned to <code>*this</code> and <code>true</code> is returned, otherwise <code>false</code> is returned. </p>
<dl><dt><b>Exceptions:</b></dt><dd>
<table border="0" cellspacing="2" cellpadding="0">
<tr><td valign="top"></td><td valign="top"><em>std::invalid_argument</em> </td><td>Thrown if <code>*this</code> and <code>y</code> are dimension-incompatible. </td></tr>
</table>
</dd>
</dl>
</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li>ppl.hh</li>
</ul>
</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>
