|
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().