PPL  1.2
BDS_Status.cc File Reference
#include "ppl-config.h"
Include dependency graph for BDS_Status.cc:

Go to the source code of this file.

Namespaces

 Parma_Polyhedra_Library
 The entire library is confined to this namespace.
 
 Parma_Polyhedra_Library::Implementation
 Implementation related data and functions.
 
 Parma_Polyhedra_Library::Implementation::BD_Shapes
 

Variables

const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::zero_dim_univ = "ZE"
 
const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::empty = "EM"
 
const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::sp_closed = "SPC"
 
const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::sp_reduced = "SPR"