Classes | |
| struct | Property |
| struct | Scalar_As_Interval_Policy |
Typedefs | |
| typedef Interval_Restriction_None < Interval_Info_Null < Scalar_As_Interval_Policy > > | Scalar_As_Interval_Info |
| typedef Interval_Restriction_None < Interval_Info_Null_Open < Scalar_As_Interval_Policy > > | Scalar_As_Interval_Info_Open |
Functions | |
| template<typename T > | |
| void | reset_bits (T &bits) |
| template<typename T > | |
| void | reset_bit (T &bits, unsigned int bit) |
| template<typename T > | |
| void | set_bit (T &bits, unsigned int bit, bool value) |
| template<typename T > | |
| bool | get_bit (const T &bits, unsigned int bit) |
| template<typename T > | |
| void | set_bits (T &bits, unsigned int start, unsigned int len, T value) |
| template<typename T > | |
| T | get_bits (T &bits, unsigned int start, unsigned int len) |
| template<typename Boundary , typename Info > | |
| const Boundary & | f_lower (const Interval< Boundary, Info > &x) |
| template<typename Boundary , typename Info > | |
| const Boundary & | f_upper (const Interval< Boundary, Info > &x) |
| template<typename Boundary , typename Info > | |
| const Info & | f_info (const Interval< Boundary, Info > &x) |
| template<typename T > | |
| Enable_If< Is_Singleton< T > ::value, const T & >::type | f_lower (const T &x) |
| template<typename T > | |
| Enable_If< Is_Singleton< T > ::value, const T & >::type | f_upper (const T &x) |
| template<typename T > | |
| Enable_If< Is_Singleton< T > ::value, const Scalar_As_Interval_Info & > ::type | f_info (const T &) |
| template<typename T > | |
| Enable_If< Is_Singleton< T > ::value, Scalar_As_Interval_Info_Open > ::type | f_info (const T &, bool open) |
| template<typename T > | |
| Enable_If< Is_Singleton< T > ::value, bool >::type | f_is_empty (const T &x) |
| template<typename T > | |
| Enable_If< Is_Singleton< T > ::value, bool >::type | f_is_singleton (const T &x) |
Variables | |
| const Property | CARDINALITY_0 (Property::CARDINALITY_0_) |
| const Property | CARDINALITY_1 (Property::CARDINALITY_1_) |
| const Property | CARDINALITY_IS (Property::CARDINALITY_IS_) |
| const Scalar_As_Interval_Info | SCALAR_INFO |
| typedef Interval_Restriction_None<Interval_Info_Null<Scalar_As_Interval_Policy> > Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info |
Definition at line 101 of file Interval.inlines.hh.
| typedef Interval_Restriction_None<Interval_Info_Null_Open<Scalar_As_Interval_Policy> > Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info_Open |
Definition at line 105 of file Interval.inlines.hh.
| Enable_If<Is_Singleton<T>::value, Scalar_As_Interval_Info_Open>::type Parma_Polyhedra_Library::Interval_NS::f_info | ( | const T & | , | |
| bool | open | |||
| ) | [inline] |
Definition at line 124 of file Interval.inlines.hh.
00124 { 00125 return Scalar_As_Interval_Info_Open(open); 00126 }
| Enable_If<Is_Singleton<T>::value, const Scalar_As_Interval_Info&>::type Parma_Polyhedra_Library::Interval_NS::f_info | ( | const T & | ) | [inline] |
Definition at line 119 of file Interval.inlines.hh.
References SCALAR_INFO.
00119 { 00120 return SCALAR_INFO; 00121 }
| const Info& Parma_Polyhedra_Library::Interval_NS::f_info | ( | const Interval< Boundary, Info > & | x | ) | [inline] |
Definition at line 91 of file Interval.inlines.hh.
References Parma_Polyhedra_Library::Interval< Boundary, Info >::info().
Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::can_be_exactly_joined_to(), Parma_Polyhedra_Library::check_empty_arg(), Parma_Polyhedra_Library::Interval< Boundary, Info >::contains(), Parma_Polyhedra_Library::Interval< Boundary, Info >::difference_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::div_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::intersect_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::is_disjoint_from(), Parma_Polyhedra_Library::Interval< Boundary, Info >::join_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::mul_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::neg_assign(), Parma_Polyhedra_Library::operator==(), Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_existential(), Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_universal(), Parma_Polyhedra_Library::Interval< Boundary, Info >::strictly_contains(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::sub_assign().
| Enable_If<Is_Singleton<T>::value, bool>::type Parma_Polyhedra_Library::Interval_NS::f_is_empty | ( | const T & | x | ) | [inline] |
Definition at line 130 of file Interval.inlines.hh.
References Parma_Polyhedra_Library::is_not_a_number().
Referenced by f_is_singleton().
00130 { 00131 return is_not_a_number(x); 00132 }
| Enable_If<Is_Singleton<T>::value, bool>::type Parma_Polyhedra_Library::Interval_NS::f_is_singleton | ( | const T & | x | ) | [inline] |
Definition at line 136 of file Interval.inlines.hh.
References f_is_empty().
00136 { 00137 return !f_is_empty(x); 00138 }
| Enable_If<Is_Singleton<T>::value, const T&>::type Parma_Polyhedra_Library::Interval_NS::f_lower | ( | const T & | x | ) | [inline] |
Definition at line 109 of file Interval.inlines.hh.
| const Boundary& Parma_Polyhedra_Library::Interval_NS::f_lower | ( | const Interval< Boundary, Info > & | x | ) | [inline] |
Definition at line 81 of file Interval.inlines.hh.
References Parma_Polyhedra_Library::Interval< Boundary, Info >::lower().
Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::add_restriction(), Parma_Polyhedra_Library::Interval< Boundary, Info >::can_be_exactly_joined_to(), Parma_Polyhedra_Library::Interval< Boundary, Info >::contains(), Parma_Polyhedra_Library::Interval< Boundary, Info >::difference_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::div_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::intersect_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::is_disjoint_from(), Parma_Polyhedra_Library::is_singleton_integer(), Parma_Polyhedra_Library::Interval< Boundary, Info >::join_assign(), Parma_Polyhedra_Library::join_restriction(), Parma_Polyhedra_Library::Interval< Boundary, Info >::mul_assign(), Parma_Polyhedra_Library::mul_restriction(), Parma_Polyhedra_Library::Interval< Boundary, Info >::neg_assign(), Parma_Polyhedra_Library::operator==(), Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_existential(), Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_universal(), Parma_Polyhedra_Library::Interval< Boundary, Info >::strictly_contains(), Parma_Polyhedra_Library::Interval< Boundary, Info >::sub_assign(), and Parma_Polyhedra_Library::sub_restriction().
| Enable_If<Is_Singleton<T>::value, const T&>::type Parma_Polyhedra_Library::Interval_NS::f_upper | ( | const T & | x | ) | [inline] |
Definition at line 114 of file Interval.inlines.hh.
| const Boundary& Parma_Polyhedra_Library::Interval_NS::f_upper | ( | const Interval< Boundary, Info > & | x | ) | [inline] |
Definition at line 86 of file Interval.inlines.hh.
References Parma_Polyhedra_Library::Interval< Boundary, Info >::upper().
Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::can_be_exactly_joined_to(), Parma_Polyhedra_Library::Interval< Boundary, Info >::contains(), Parma_Polyhedra_Library::Interval< Boundary, Info >::difference_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::div_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::intersect_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::is_disjoint_from(), Parma_Polyhedra_Library::Interval< Boundary, Info >::join_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::mul_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::neg_assign(), Parma_Polyhedra_Library::operator==(), Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_existential(), Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_universal(), Parma_Polyhedra_Library::Interval< Boundary, Info >::strictly_contains(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::sub_assign().
| bool Parma_Polyhedra_Library::Interval_NS::get_bit | ( | const T & | bits, | |
| unsigned int | bit | |||
| ) | [inline] |
Definition at line 78 of file Interval_Info.defs.hh.
Referenced by Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::get_boundary_property(), Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >::get_integer(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::get_interval_property().
| T Parma_Polyhedra_Library::Interval_NS::get_bits | ( | T & | bits, | |
| unsigned int | start, | |||
| unsigned int | len | |||
| ) | [inline] |
Definition at line 91 of file Interval_Info.defs.hh.
| void Parma_Polyhedra_Library::Interval_NS::reset_bit | ( | T & | bits, | |
| unsigned int | bit | |||
| ) | [inline] |
Definition at line 63 of file Interval_Info.defs.hh.
Referenced by set_bit().
| void Parma_Polyhedra_Library::Interval_NS::reset_bits | ( | T & | bits | ) | [inline] |
Definition at line 57 of file Interval_Info.defs.hh.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_load(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::clear().
| void Parma_Polyhedra_Library::Interval_NS::set_bit | ( | T & | bits, | |
| unsigned int | bit, | |||
| bool | value | |||
| ) | [inline] |
Definition at line 69 of file Interval_Info.defs.hh.
References reset_bit().
Referenced by Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_boundary_property(), Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >::set_integer(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_interval_property().
00069 { 00070 if (value) 00071 bits |= static_cast<T>(1) << bit; 00072 else 00073 reset_bit(bits, bit); 00074 }
| void Parma_Polyhedra_Library::Interval_NS::set_bits | ( | T & | bits, | |
| unsigned int | start, | |||
| unsigned int | len, | |||
| T | value | |||
| ) | [inline] |
Definition at line 84 of file Interval_Info.defs.hh.
Referenced by Parma_Polyhedra_Library::Linear_Row::Flags::ascii_load().
| 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_) |
Definition at line 103 of file Interval.inlines.hh.
Referenced by f_info(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_universal().
1.6.3