Data and functions related to language interfaces. More...
Namespaces | |
| namespace | C |
Data and functions related to the C language interface. | |
| namespace | Java |
Data and functions related to the Java language interface. | |
| namespace | OCaml |
Data and functions related to the OCaml language interface. | |
| namespace | Prolog |
Data and functions related to the Prolog language interfaces. | |
Functions | |
| bool | is_necessarily_closed_for_interfaces (const Polyhedron &ph) |
Returns true if and only if ph.topology() == NECESSARILY_CLOSED. | |
Data and functions related to language interfaces.
| 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 404 of file Polyhedron.inlines.hh.
References Parma_Polyhedra_Library::Polyhedron::is_necessarily_closed().
1.6.3