PPL
1.2
|
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this 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 . More... | |