PPL
1.2
|
#include "BD_Shape_types.hh"
#include "globals_defs.hh"
#include "Constraint_types.hh"
#include "Generator_types.hh"
#include "Congruence_types.hh"
#include "Linear_Expression_types.hh"
#include "Constraint_System_types.hh"
#include "Generator_System_types.hh"
#include "Congruence_System_types.hh"
#include "Poly_Con_Relation_types.hh"
#include "Poly_Gen_Relation_types.hh"
#include "Polyhedron_types.hh"
#include "Box_types.hh"
#include "Grid_types.hh"
#include "Octagonal_Shape_types.hh"
#include "Variable_defs.hh"
#include "Variables_Set_types.hh"
#include "DB_Matrix_defs.hh"
#include "DB_Row_defs.hh"
#include "Checked_Number_defs.hh"
#include "WRD_coefficient_types_defs.hh"
#include "Bit_Matrix_defs.hh"
#include "Coefficient_defs.hh"
#include "Interval_types.hh"
#include "Linear_Form_types.hh"
#include <cstddef>
#include <iosfwd>
#include <vector>
#include "BDS_Status_idefs.hh"
#include "BDS_Status_inlines.hh"
#include "BD_Shape_inlines.hh"
#include "BD_Shape_templates.hh"
Go to the source code of this file.
Classes | |
class | Parma_Polyhedra_Library::BD_Shape_Helpers |
class | Parma_Polyhedra_Library::BD_Shape< T > |
A bounded difference shape. More... | |
class | Parma_Polyhedra_Library::BD_Shape< T >::Status |
A conjunctive assertion about a BD_Shape<T> object. 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. | |
Macros | |
#define | PPL_IN_BD_Shape_CLASS |
#define PPL_IN_BD_Shape_CLASS |
Definition at line 1942 of file BD_Shape_defs.hh.