Parma_Polyhedra_Library::Interfaces Namespace Reference

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.

Detailed Description

Data and functions related to 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 404 of file Polyhedron.inlines.hh.

References Parma_Polyhedra_Library::Polyhedron::is_necessarily_closed().

00404                                                            {
00405   return ph.is_necessarily_closed();
00406 }

Generated on Sun Feb 27 16:20:33 2011 for PPL by  doxygen 1.6.3