Parma_Polyhedra_Library::Interval_NS::Property Struct Reference

#include <Interval_Info.defs.hh>

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


Member Typedef Documentation

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


Member Enumeration Documentation

Enumerator:
CARDINALITY_0_ 
CARDINALITY_1_ 
CARDINALITY_IS_ 

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

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


Constructor & Destructor Documentation

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

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

00046     : type(t) {
00047   }


Member Data Documentation

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


The documentation for this struct was generated from the following file:
Generated on Sun Feb 27 16:20:33 2011 for PPL by  doxygen 1.6.3