Parma_Polyhedra_Library::Interval_NS::Property Struct Reference

#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

Detailed Description

Definition at line 34 of file Interval_Info_defs.hh.

Member Typedef Documentation

typedef bool Parma_Polyhedra_Library::Interval_NS::Property::Value

Definition at line 40 of file Interval_Info_defs.hh.

Member Enumeration Documentation

enum Parma_Polyhedra_Library::Interval_NS::Property::Type

Enumerator
CARDINALITY_0_
CARDINALITY_1_
CARDINALITY_IS_

Definition at line 35 of file Interval_Info_defs.hh.

            {
    CARDINALITY_0_,
    CARDINALITY_1_,
    CARDINALITY_IS_
  };

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Interval_NS::Property::Property ( Type  t )

inline

Definition at line 43 of file Interval_Info_defs.hh.

    : type(t) {
  }

Member Data Documentation

const Value Parma_Polyhedra_Library::Interval_NS::Property::default_value = true

static

Definition at line 41 of file Interval_Info_defs.hh.

Type Parma_Polyhedra_Library::Interval_NS::Property::type

Definition at line 46 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 42 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().

---

The documentation for this struct was generated from the following file:

• Interval_Info_defs.hh