Parma_Polyhedra_Library::Interfaces Namespace Reference
[C++ Language Interface]

Data and functions related to foreign language interfaces. More...


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.


Detailed Description

Data and functions related to foreign language interfaces.


Function Documentation

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().

00407                                                            {
00408   return ph.is_necessarily_closed();
00409 }


Generated on Sat Oct 11 10:41:19 2008 for PPL by  doxygen 1.5.6