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

Variables

const char * Parma_Polyhedra_Library::Implementation::Octagonal_Shapes::zero_dim_univ = "ZE"
 
const char * Parma_Polyhedra_Library::Implementation::Octagonal_Shapes::empty = "EM"
 
const char * Parma_Polyhedra_Library::Implementation::Octagonal_Shapes::strong_closed = "SC"