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 453 of file Polyhedron.inlines.hh.

References Parma_Polyhedra_Library::Polyhedron::is_necessarily_closed().

                                                           {
  return ph.is_necessarily_closed();
}