#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 35 of file Interval_Info.defs.hh.
Definition at line 41 of file Interval_Info.defs.hh.
Definition at line 36 of file Interval_Info.defs.hh.
00036 { 00037 CARDINALITY_0_, 00038 CARDINALITY_1_, 00039 CARDINALITY_IS_ 00040 };
Parma_Polyhedra_Library::Interval_NS::Property::Property | ( | Type | t | ) | [inline] |
const Value Parma_Polyhedra_Library::Interval_NS::Property::default_value = true [static] |
Definition at line 42 of file Interval_Info.defs.hh.
const Value Parma_Polyhedra_Library::Interval_NS::Property::unsupported_value = false [static] |
Definition at line 43 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().
Definition at line 47 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().