PPL  1.2
Box_Status.cc File Reference
#include "ppl-config.h"
Include dependency graph for Box_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::Boxes
 

Variables

const char * Parma_Polyhedra_Library::Implementation::Boxes::empty_up_to_date = "EUP"
 
const char * Parma_Polyhedra_Library::Implementation::Boxes::empty = "EM"
 
const char * Parma_Polyhedra_Library::Implementation::Boxes::universe = "UN"