PPL  0.12.1
Polyhedron.inlines.hh File Reference
#include "Generator.defs.hh"
#include "compiler.hh"
#include <algorithm>
#include <deque>
Include dependency graph for Polyhedron.inlines.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  Parma_Polyhedra_Library
 The entire library is confined to this namespace.
namespace  Parma_Polyhedra_Library::Interfaces
 Data and functions related to language interfaces.

Functions

bool Parma_Polyhedra_Library::Interfaces::is_necessarily_closed_for_interfaces (const Polyhedron &ph)
 Returns true if and only if ph.topology() == NECESSARILY_CLOSED.