Parma_Polyhedra_Library::Implementation::BD_Shapes Namespace Reference

Variables
const char *	zero_dim_univ = "ZE"
const char *	empty = "EM"
const char *	sp_closed = "SPC"
const char *	sp_reduced = "SPR"
const char	yes = '+'
const char	no = '-'
const char	separator = ' '

Variable Documentation

const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::empty = "EM"

Definition at line 34 of file BDS_Status.cc.

Referenced by Parma_Polyhedra_Library::Octagonal_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::Box< ITV >::Status::ascii_dump(), Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::Grid::Status::ascii_dump(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), Parma_Polyhedra_Library::Octagonal_Shape< T >::Status::ascii_load(), Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_load(), Parma_Polyhedra_Library::Grid::Status::ascii_load(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_load(), Parma_Polyhedra_Library::Powerset< D >::collapse(), Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >::erase(), Parma_Polyhedra_Library::Implementation::EList< T >::erase(), Parma_Polyhedra_Library::CO_Tree::erase(), Parma_Polyhedra_Library::Grid_Certificate::Grid_Certificate(), Parma_Polyhedra_Library::CO_Tree::increase_keys_from(), Parma_Polyhedra_Library::CO_Tree::insert(), Parma_Polyhedra_Library::CO_Tree::insert_precise(), Parma_Polyhedra_Library::CO_Tree::insert_precise_aux(), Parma_Polyhedra_Library::Powerset< D >::is_bottom(), Parma_Polyhedra_Library::Grid::minimize(), Parma_Polyhedra_Library::Polyhedron::OK(), Parma_Polyhedra_Library::Polyhedron::process_pending_constraints(), Parma_Polyhedra_Library::Polyhedron::simplify(), and Parma_Polyhedra_Library::Polyhedron::update_generators().

const char Parma_Polyhedra_Library::Implementation::BD_Shapes::no = '-'

Definition at line 197 of file BDS_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >::ascii_dump(), and Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >::ascii_load().

const char Parma_Polyhedra_Library::Implementation::BD_Shapes::separator = ' '

Definition at line 198 of file BDS_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::Bit_Matrix::ascii_dump(), Parma_Polyhedra_Library::DB_Matrix< T >::ascii_dump(), Parma_Polyhedra_Library::Linear_Form< C >::ascii_dump(), Parma_Polyhedra_Library::OR_Matrix< T >::ascii_dump(), and Parma_Polyhedra_Library::Box< ITV >::ascii_dump().

const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::sp_closed = "SPC"

Definition at line 35 of file BDS_Status.cc.

Referenced by Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), and Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_load().

const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::sp_reduced = "SPR"

Definition at line 36 of file BDS_Status.cc.

Referenced by Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), and Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_load().

const char Parma_Polyhedra_Library::Implementation::BD_Shapes::yes = '+'

Definition at line 196 of file BDS_Status_inlines.hh.

Referenced by Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >::ascii_dump(), Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >::ascii_load(), and Parma_Polyhedra_Library::BD_Shape< T >::Status::get_field().

const char * Parma_Polyhedra_Library::Implementation::BD_Shapes::zero_dim_univ = "ZE"

Definition at line 33 of file BDS_Status.cc.

Referenced by Parma_Polyhedra_Library::Octagonal_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_dump(), Parma_Polyhedra_Library::Grid::Status::ascii_dump(), Parma_Polyhedra_Library::Polyhedron::Status::ascii_dump(), Parma_Polyhedra_Library::Octagonal_Shape< T >::Status::ascii_load(), Parma_Polyhedra_Library::BD_Shape< T >::Status::ascii_load(), Parma_Polyhedra_Library::Grid::Status::ascii_load(), and Parma_Polyhedra_Library::Polyhedron::Status::ascii_load().