|
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_) |