Namespaces | |
namespace | C |
Data and functions related to the C foreign language interface. | |
namespace | Java |
Data and functions related to the Java foreign language interface. | |
namespace | OCaml |
Data and functions related to the OCaml foreign language interface. | |
namespace | Prolog |
Data and functions related to the Prolog foreign language interfaces. | |
Functions | |
bool | is_necessarily_closed_for_interfaces (const Polyhedron &ph) |
Returns true if and only if ph.topology() == NECESSARILY_CLOSED . |
bool Parma_Polyhedra_Library::Interfaces::is_necessarily_closed_for_interfaces | ( | const Polyhedron & | ph | ) | [inline] |
Returns true
if and only if ph.topology() == NECESSARILY_CLOSED
.
Definition at line 407 of file Polyhedron.inlines.hh.
References Parma_Polyhedra_Library::Polyhedron::is_necessarily_closed().