PPL  1.2
Classes | Typedefs | Functions | Variables
Parma_Polyhedra_Library::Interval_NS Namespace Reference

Classes

struct  Property
 
struct  Scalar_As_Interval_Policy
 

Typedefs

typedef Interval_Info_Null< Scalar_As_Interval_Policy > Scalar_As_Interval_Info
 
typedef 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 Documentation

typedef Interval_Info_Null<Scalar_As_Interval_Policy> Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info

Definition at line 92 of file Interval_inlines.hh.

typedef Interval_Info_Null_Open<Scalar_As_Interval_Policy> Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info_Open

Definition at line 97 of file Interval_inlines.hh.

Function Documentation

template<typename Boundary , typename Info >
const Info& Parma_Polyhedra_Library::Interval_NS::f_info ( const Interval< Boundary, Info > &  x)
inline

Definition at line 81 of file Interval_inlines.hh.

References Parma_Polyhedra_Library::Interval< Boundary, Info >::info().

Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::lower_extend(), Parma_Polyhedra_Library::Interval< Boundary, Info >::simplify_using_context_assign(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::upper_extend().

81  {
82  return x.info();
83 }
template<typename T >
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 112 of file Interval_inlines.hh.

References SCALAR_INFO.

112  {
113  return SCALAR_INFO;
114 }
Parma_Polyhedra_Library::Interval_NS::SCALAR_INFO
const Scalar_As_Interval_Info SCALAR_INFO
Definition: Interval_inlines.hh:94
template<typename T >
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 118 of file Interval_inlines.hh.

Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::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().

118  {
119  return Scalar_As_Interval_Info_Open(open);
120 }
Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Info_Open
Interval_Info_Null_Open< Scalar_As_Interval_Policy > Scalar_As_Interval_Info_Open
Definition: Interval_inlines.hh:97
template<typename T >
Enable_If<Is_Singleton<T>::value, bool>::type Parma_Polyhedra_Library::Interval_NS::f_is_empty ( const T &  x)
inline

Definition at line 124 of file Interval_inlines.hh.

References Parma_Polyhedra_Library::is_not_a_number().

Referenced by f_is_singleton().

124  {
125  return is_not_a_number(x);
126 }
Parma_Polyhedra_Library::Checked_Number::is_not_a_number
Enable_If< Is_Native_Or_Checked< T >::value, bool >::type is_not_a_number(const T &x)
Definition: Checked_Number_inlines.hh:247
template<typename T >
Enable_If<Is_Singleton<T>::value, bool>::type Parma_Polyhedra_Library::Interval_NS::f_is_singleton ( const T &  x)
inline

Definition at line 130 of file Interval_inlines.hh.

References f_is_empty().

130  {
131  return !f_is_empty(x);
132 }
Parma_Polyhedra_Library::Interval_NS::f_is_empty
Enable_If< Is_Singleton< T >::value, bool >::type f_is_empty(const T &x)
Definition: Interval_inlines.hh:124
template<typename Boundary , typename Info >
const Boundary& Parma_Polyhedra_Library::Interval_NS::f_lower ( const Interval< Boundary, Info > &  x)
inline

Definition at line 71 of file Interval_inlines.hh.

References Parma_Polyhedra_Library::Interval< Boundary, Info >::lower().

Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::simplify_using_context_assign().

71  {
72  return x.lower();
73 }
template<typename T >
Enable_If<Is_Singleton<T>::value, const T&>::type Parma_Polyhedra_Library::Interval_NS::f_lower ( const T &  x)
inline

Definition at line 101 of file Interval_inlines.hh.

Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::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::is_singleton_integer(), 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().

101  {
102  return x;
103 }
template<typename Boundary , typename Info >
const Boundary& Parma_Polyhedra_Library::Interval_NS::f_upper ( const Interval< Boundary, Info > &  x)
inline

Definition at line 76 of file Interval_inlines.hh.

References Parma_Polyhedra_Library::Interval< Boundary, Info >::upper().

Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::simplify_using_context_assign().

76  {
77  return x.upper();
78 }
template<typename T >
Enable_If<Is_Singleton<T>::value, const T&>::type Parma_Polyhedra_Library::Interval_NS::f_upper ( const T &  x)
inline

Definition at line 106 of file Interval_inlines.hh.

Referenced by Parma_Polyhedra_Library::Interval< Boundary, Info >::add_assign(), Parma_Polyhedra_Library::Interval< Boundary, Info >::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().

106  {
107  return x;
108 }
template<typename T >
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(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::get_interval_property().

78  {
79  return (bits & (static_cast<T>(1) << bit)) != 0;
80 }
template<typename T >
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.

91  {
92  return (bits >> start) & ((static_cast<T>(1) << len) - 1);
93 }
template<typename T >
void Parma_Polyhedra_Library::Interval_NS::reset_bit ( T &  bits,
unsigned int  bit 
)
inline

Definition at line 61 of file Interval_Info_defs.hh.

Referenced by set_bit().

61  {
62  bits &= ~(static_cast<T>(1) << bit);
63 }
template<typename T >
void Parma_Polyhedra_Library::Interval_NS::reset_bits ( T &  bits)
inline

Definition at line 55 of file Interval_Info_defs.hh.

Referenced by Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::clear().

55  {
56  bits = 0;
57 }
template<typename T >
void Parma_Polyhedra_Library::Interval_NS::set_bit ( T &  bits,
unsigned int  bit,
bool  value 
)
inline

Definition at line 67 of file Interval_Info_defs.hh.

References reset_bit().

Referenced by Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_boundary_property(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_interval_property().

67  {
68  if (value) {
69  bits |= static_cast<T>(1) << bit;
70  }
71  else {
72  reset_bit(bits, bit);
73  }
74 }
Parma_Polyhedra_Library::Interval_NS::reset_bit
void reset_bit(T &bits, unsigned int bit)
Definition: Interval_Info_defs.hh:61
value
Coefficient value
Definition: PIP_Tree.cc:618
template<typename T >
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.

84  {
85  bits &= ~(((static_cast<T>(1) << len) - 1) << start);
86  bits |= value << start;
87 }
value
Coefficient value
Definition: PIP_Tree.cc:618

Variable Documentation

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_)
const Scalar_As_Interval_Info Parma_Polyhedra_Library::Interval_NS::SCALAR_INFO

Definition at line 94 of file Interval_inlines.hh.

Referenced by f_info(), Parma_Polyhedra_Library::Interval< Boundary, Info >::Interval(), Parma_Polyhedra_Library::operator>>(), and Parma_Polyhedra_Library::Interval< Boundary, Info >::refine_universal().