Parma_Polyhedra_Library::Interval_Info_Null< Policy > Class Template Reference

#include <Interval_Info.defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Interval_Info_Null< Policy >:

Inheritance graph
[legend]

List of all members.

Public Member Functions

 const_bool_nodef (may_be_empty, Policy::may_be_empty)
 const_bool_nodef (may_contain_infinity, Policy::may_contain_infinity)
 const_bool_nodef (check_empty_result, Policy::check_empty_result)
 const_bool_nodef (check_inexact, Policy::check_inexact)
 const_bool_nodef (store_special, false)
 const_bool_nodef (store_open, false)
 const_bool_nodef (cache_normalized, false)
 const_bool_nodef (cache_empty, false)
 const_bool_nodef (cache_singleton, false)
void clear ()
void clear_boundary_properties (Boundary_Type)
template<typename Property>
void set_boundary_property (Boundary_Type, const Property &, typename Property::Value=Property::default_value)
template<typename Property>
Property::Value get_boundary_property (Boundary_Type, const Property &) const
template<typename Property>
void set_interval_property (const Property &, typename Property::Value=Property::default_value)
template<typename Property>
Property::Value get_interval_property (const Property &) const
void swap (Interval_Info_Null &y)
 Swaps *this with y.
void ascii_dump (std::ostream &s) const
bool ascii_load (std::istream &s)

Related Functions

(Note that these are not member functions.)

template<typename Policy>
void swap (Parma_Polyhedra_Library::Interval_Info_Null< Policy > &x, Parma_Polyhedra_Library::Interval_Info_Null< Policy > &y)


Detailed Description

template<typename Policy>
class Parma_Polyhedra_Library::Interval_Info_Null< Policy >

Definition at line 101 of file Interval_Info.defs.hh.


Member Function Documentation

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( may_be_empty  ,
Policy::may_be_empty   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( may_contain_infinity  ,
Policy::may_contain_infinity   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( check_empty_result  ,
Policy::check_empty_result   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( check_inexact  ,
Policy::check_inexact   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( store_special  ,
false   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( store_open  ,
false   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( cache_normalized  ,
false   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( cache_empty  ,
false   
)

template<typename Policy>
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef ( cache_singleton  ,
false   
)

template<typename Policy>
void Parma_Polyhedra_Library::Interval_Info_Null< Policy >::clear (  )  [inline]

Definition at line 112 of file Interval_Info.defs.hh.

00112                {
00113   }

template<typename Policy>
void Parma_Polyhedra_Library::Interval_Info_Null< Policy >::clear_boundary_properties ( Boundary_Type   )  [inline]

Definition at line 114 of file Interval_Info.defs.hh.

00114                                                 {
00115   }

template<typename Policy>
template<typename Property>
void Parma_Polyhedra_Library::Interval_Info_Null< Policy >::set_boundary_property ( Boundary_Type  ,
const Property ,
typename Property::Value  = Property::default_value 
) [inline]

Definition at line 118 of file Interval_Info.defs.hh.

00118                                                                                                              {
00119   }

template<typename Policy>
template<typename Property>
Property::Value Parma_Polyhedra_Library::Interval_Info_Null< Policy >::get_boundary_property ( Boundary_Type  ,
const Property  
) const [inline]

template<typename Policy>
template<typename Property>
void Parma_Polyhedra_Library::Interval_Info_Null< Policy >::set_interval_property ( const Property ,
typename Property::Value  = Property::default_value 
) [inline]

Definition at line 125 of file Interval_Info.defs.hh.

00125                                                                                               {
00126   }

template<typename Policy>
template<typename Property>
Property::Value Parma_Polyhedra_Library::Interval_Info_Null< Policy >::get_interval_property ( const Property  )  const [inline]

template<typename Policy>
void Parma_Polyhedra_Library::Interval_Info_Null< Policy >::swap ( Interval_Info_Null< Policy > &  y  )  [inline]

Swaps *this with y.

Definition at line 32 of file Interval_Info.inlines.hh.

Referenced by Parma_Polyhedra_Library::Interval_Info_Null< Policy >::swap().

00032                                                             {
00033 }

template<typename Policy>
void Parma_Polyhedra_Library::Interval_Info_Null< Policy >::ascii_dump ( std::ostream &  s  )  const [inline]

Reimplemented in Parma_Polyhedra_Library::Interval_Info_Null_Open< Policy >.

Definition at line 37 of file Interval_Info.inlines.hh.

00037                                                           {
00038 }

template<typename Policy>
bool Parma_Polyhedra_Library::Interval_Info_Null< Policy >::ascii_load ( std::istream &  s  )  [inline]

Reimplemented in Parma_Polyhedra_Library::Interval_Info_Null_Open< Policy >.

Definition at line 42 of file Interval_Info.inlines.hh.

00042                                                     {
00043   return true;
00044 }


Friends And Related Function Documentation

template<typename Policy>
void swap ( Parma_Polyhedra_Library::Interval_Info_Null< Policy > &  x,
Parma_Polyhedra_Library::Interval_Info_Null< Policy > &  y 
) [related]

Definition at line 104 of file Interval_Info.inlines.hh.

References Parma_Polyhedra_Library::Interval_Info_Null< Policy >::swap().

00105                                                            {
00106   x.swap(y);
00107 }


The documentation for this class was generated from the following files:

Generated on Sat Oct 11 10:41:12 2008 for PPL by  doxygen 1.5.6