PPL
1.2
|
#include <Interval_Info_defs.hh>
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_inexact, Policy::check_inexact) | |
const_bool_nodef (store_special, false) | |
const_bool_nodef (store_open, false) | |
const_bool_nodef (cache_empty, false) | |
const_bool_nodef (cache_singleton, false) | |
Interval_Info_Null () | |
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 | m_swap (Interval_Info_Null &y) |
Swaps *this with y . More... | |
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 (Interval_Info_Null< Policy > &x, Interval_Info_Null< Policy > &y) |
Definition at line 102 of file Interval_Info_defs.hh.
|
inline |
Definition at line 111 of file Interval_Info_defs.hh.
|
inline |
Definition at line 38 of file Interval_Info_inlines.hh.
|
inline |
Definition at line 43 of file Interval_Info_inlines.hh.
|
inline |
Definition at line 113 of file Interval_Info_defs.hh.
|
inline |
Definition at line 115 of file Interval_Info_defs.hh.
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | may_be_empty | , |
Policy::may_be_empty | |||
) |
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | may_contain_infinity | , |
Policy::may_contain_infinity | |||
) |
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | check_inexact | , |
Policy::check_inexact | |||
) |
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | store_special | , |
false | |||
) |
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | store_open | , |
false | |||
) |
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | cache_empty | , |
false | |||
) |
Parma_Polyhedra_Library::Interval_Info_Null< Policy >::const_bool_nodef | ( | cache_singleton | , |
false | |||
) |
|
inline |
Definition at line 122 of file Interval_Info_defs.hh.
References Parma_Polyhedra_Library::Interval_NS::Property::unsupported_value.
|
inline |
Definition at line 129 of file Interval_Info_defs.hh.
References Parma_Polyhedra_Library::Interval_NS::Property::unsupported_value.
|
inline |
Swaps *this
with y
.
Definition at line 33 of file Interval_Info_inlines.hh.
Referenced by Parma_Polyhedra_Library::Interval_Info_Null< Policy >::swap().
|
inline |
Definition at line 119 of file Interval_Info_defs.hh.
|
inline |
Definition at line 126 of file Interval_Info_defs.hh.
|
related |
Definition at line 102 of file Interval_Info_inlines.hh.
References Parma_Polyhedra_Library::Interval_Info_Null< Policy >::m_swap().