|
PPL
1.2
|
#include "Octagonal_Shape_types.hh"#include "globals_types.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 "OR_Matrix_defs.hh"#include "Poly_Con_Relation_defs.hh"#include "Poly_Gen_Relation_defs.hh"#include "Polyhedron_types.hh"#include "Box_types.hh"#include "Grid_types.hh"#include "BD_Shape_types.hh"#include "Variable_defs.hh"#include "Variables_Set_types.hh"#include "Checked_Number_defs.hh"#include "WRD_coefficient_types_defs.hh"#include "Bit_Row_defs.hh"#include "Interval_types.hh"#include "Linear_Form_types.hh"#include <vector>#include <cstddef>#include <climits>#include <iosfwd>#include "Og_Status_idefs.hh"#include "Og_Status_inlines.hh"#include "Octagonal_Shape_inlines.hh"#include "Octagonal_Shape_templates.hh"

Go to the source code of this file.
Classes | |
| class | Parma_Polyhedra_Library::Octagonal_Shape_Helper |
| class | Parma_Polyhedra_Library::Octagonal_Shape< T > |
| An octagonal shape. More... | |
| class | Parma_Polyhedra_Library::Octagonal_Shape< T >::Status |
| A conjunctive assertion about a Octagonal_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_Octagonal_Shape_CLASS |
| #define PPL_IN_Octagonal_Shape_CLASS |
Definition at line 1927 of file Octagonal_Shape_defs.hh.