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

                                                           {
  return ph.is_necessarily_closed();
}