Polyhedron_defs.hh File Reference

#include "Polyhedron_types.hh"
#include "globals_types.hh"
#include "Variable_defs.hh"
#include "Variables_Set_types.hh"
#include "Linear_Expression_types.hh"
#include "Constraint_System_defs.hh"
#include "Constraint_System_inlines.hh"
#include "Generator_System_defs.hh"
#include "Generator_System_inlines.hh"
#include "Congruence_System_defs.hh"
#include "Congruence_System_inlines.hh"
#include "Bit_Matrix_defs.hh"
#include "Constraint_types.hh"
#include "Generator_types.hh"
#include "Congruence_types.hh"
#include "Poly_Con_Relation_defs.hh"
#include "Poly_Gen_Relation_defs.hh"
#include "BHRZ03_Certificate_types.hh"
#include "H79_Certificate_types.hh"
#include "Box_types.hh"
#include "BD_Shape_types.hh"
#include "Octagonal_Shape_types.hh"
#include "Interval_types.hh"
#include "Linear_Form_types.hh"
#include <vector>
#include <iosfwd>
#include "Ph_Status_idefs.hh"
#include "Ph_Status_inlines.hh"
#include "Polyhedron_inlines.hh"
#include "Polyhedron_templates.hh"
#include "Polyhedron_chdims_templates.hh"
#include "Polyhedron_conversion_templates.hh"
#include "Polyhedron_minimize_templates.hh"
#include "Polyhedron_simplify_templates.hh"

Include dependency graph for Polyhedron_defs.hh:

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

Go to the source code of this file.

Classes
class	Parma_Polyhedra_Library::Polyhedron
	The base class for convex polyhedra. More...
class	Parma_Polyhedra_Library::Polyhedron::Status
	A conjunctive assertion about a polyhedron. More...

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.
	Parma_Polyhedra_Library::IO_Operators
	All input/output operators are confined to this namespace.
	Parma_Polyhedra_Library::Interfaces
	Data and functions related to language interfaces.

Macros
#define	PPL_IN_Polyhedron_CLASS

Functions
bool	Parma_Polyhedra_Library::Interfaces::is_necessarily_closed_for_interfaces (const Polyhedron &ph)
	Returns true if and only if ph.topology() == NECESSARILY_CLOSED. More...

Macro Definition Documentation

#define PPL_IN_Polyhedron_CLASS

Definition at line 2041 of file Polyhedron_defs.hh.