#include <Interval_Info.defs.hh>
Public Types | |
| enum | Type { CARDINALITY_0_, CARDINALITY_1_, CARDINALITY_IS_ } |
| typedef bool | Value |
Public Member Functions | |
| Property (Type t) | |
Public Attributes | |
| Type | type |
Static Public Attributes | |
| static const Value | default_value = true |
| static const Value | unsupported_value = false |
Definition at line 36 of file Interval_Info.defs.hh.
Definition at line 42 of file Interval_Info.defs.hh.
Definition at line 37 of file Interval_Info.defs.hh.
00037 { 00038 CARDINALITY_0_, 00039 CARDINALITY_1_, 00040 CARDINALITY_IS_ 00041 };
| Parma_Polyhedra_Library::Interval_NS::Property::Property | ( | Type | t | ) | [inline] |
Definition at line 45 of file Interval_Info.defs.hh.
00046 : type(t) { 00047 }
const Value Parma_Polyhedra_Library::Interval_NS::Property::default_value = true [static] |
Definition at line 43 of file Interval_Info.defs.hh.
Definition at line 48 of file Interval_Info.defs.hh.
Referenced by Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::get_interval_property(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_interval_property().
const Value Parma_Polyhedra_Library::Interval_NS::Property::unsupported_value = false [static] |
Definition at line 44 of file Interval_Info.defs.hh.
Referenced by Parma_Polyhedra_Library::Interval_Info_Null< Policy >::get_boundary_property(), and Parma_Polyhedra_Library::Interval_Info_Null< Policy >::get_interval_property().
1.6.3