Parma_Polyhedra_Library::Interval_NS::Property Struct Reference

#include <Interval_Info.defs.hh>

Collaboration diagram for Parma_Polyhedra_Library::Interval_NS::Property:

Collaboration graph
[legend]

List of all members.

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 35 of file Interval_Info.defs.hh.


Member Typedef Documentation

Definition at line 41 of file Interval_Info.defs.hh.


Member Enumeration Documentation

Enumerator:
CARDINALITY_0_ 
CARDINALITY_1_ 
CARDINALITY_IS_ 

Definition at line 36 of file Interval_Info.defs.hh.

00036             {
00037     CARDINALITY_0_,
00038     CARDINALITY_1_,
00039     CARDINALITY_IS_
00040   };


Constructor & Destructor Documentation

Parma_Polyhedra_Library::Interval_NS::Property::Property ( Type  t  )  [inline]

Definition at line 44 of file Interval_Info.defs.hh.

00045     : type(t) {
00046   }


Member Data Documentation

Definition at line 42 of file Interval_Info.defs.hh.


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

Generated on Sat Oct 11 10:41:19 2008 for PPL by  doxygen 1.5.6