Parma_Polyhedra_Library::Interfaces Namespace Reference

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

Namespaces
	C
	Data and functions related to the C language interface.
	Java
	Data and functions related to the Java language interface.
	OCaml
	Data and functions related to the OCaml language interface.
	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. More...

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 457 of file Polyhedron_inlines.hh.

References Parma_Polyhedra_Library::Polyhedron::is_necessarily_closed().

                                                           {
  return ph.is_necessarily_closed();
}