PPL
1.2
|
Go to the source code of this file.
Namespaces | |
Parma_Polyhedra_Library | |
The entire library is confined to this namespace. | |
Parma_Polyhedra_Library::Interval_NS | |
Functions | |
template<typename T > | |
void | Parma_Polyhedra_Library::Interval_NS::reset_bits (T &bits) |
template<typename T > | |
void | Parma_Polyhedra_Library::Interval_NS::reset_bit (T &bits, unsigned int bit) |
template<typename T > | |
void | Parma_Polyhedra_Library::Interval_NS::set_bit (T &bits, unsigned int bit, bool value) |
template<typename T > | |
bool | Parma_Polyhedra_Library::Interval_NS::get_bit (const T &bits, unsigned int bit) |
template<typename T > | |
void | Parma_Polyhedra_Library::Interval_NS::set_bits (T &bits, unsigned int start, unsigned int len, T value) |
template<typename T > | |
T | Parma_Polyhedra_Library::Interval_NS::get_bits (T &bits, unsigned int start, unsigned int len) |
Variables | |
const Property | Parma_Polyhedra_Library::Interval_NS::CARDINALITY_0 (Property::CARDINALITY_0_) |
const Property | Parma_Polyhedra_Library::Interval_NS::CARDINALITY_1 (Property::CARDINALITY_1_) |
const Property | Parma_Polyhedra_Library::Interval_NS::CARDINALITY_IS (Property::CARDINALITY_IS_) |