PPL  0.12.1
Parma_Polyhedra_Library::Implementation::Octagonal_Shapes Namespace Reference

Variables

const std::string zero_dim_univ = "ZE"
const std::string empty = "EM"
const std::string strong_closed = "SC"
const char yes = '+'
const char no = '-'
const char separator = ' '

Variable Documentation