#include "Generator.defs.hh"
#include "compiler.hh"
#include <algorithm>
#include <deque>
Go to the source code of this file.
Namespaces | |
namespace | Parma_Polyhedra_Library |
namespace | Parma_Polyhedra_Library::Interfaces |
namespace | std |
Defines | |
#define | PPL_Polyhedron_inlines_hh 1 |
Functions | |
bool | Parma_Polyhedra_Library::Interfaces::is_necessarily_closed_for_interfaces (const Polyhedron &ph) |
Returns true if and only if ph.topology() == NECESSARILY_CLOSED . |
#define PPL_Polyhedron_inlines_hh 1 |
Definition at line 24 of file Polyhedron.inlines.hh.