#include "Generator.defs.hh"#include "compiler.hh"#include <algorithm>#include <deque>

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. | |
| namespace | std |
The standard C++ namespace. | |
Functions | |
| bool | Parma_Polyhedra_Library::Interfaces::is_necessarily_closed_for_interfaces (const Polyhedron &ph) |
Returns true if and only if ph.topology() == NECESSARILY_CLOSED. | |
1.6.3