Polyhedron.inlines.hh File Reference

#include "Generator.defs.hh"
#include "compiler.hh"
#include <algorithm>
#include <deque>

Include dependency graph for Polyhedron.inlines.hh:

This graph shows which files directly or indirectly include this file:

Define Documentation

#define PPL_Polyhedron_inlines_hh 1

Definition at line 24 of file Polyhedron.inlines.hh.


Namespaces
namespace	Parma_Polyhedra_Library
namespace	Parma_Polyhedra_Library::Interfaces
namespace	std
Defines
#define	PPL_Polyhedron_inlines_hh 1
Functions
bool	Parma_Polyhedra_Library::Interfaces::is_necessarily_closed_for_interfaces (const Polyhedron &ph)
	Returns `true` if and only if `ph.topology() == NECESSARILY_CLOSED`.