faudes::tpTime Class Reference
[Timed Automata Plugin]

#include <tp_timeinterval.h>

List of all members.


Detailed Description

Type to represent time.

The time plugin will compile with integer or float time type. However, we insist in discrete time in the sense that there is a smallest time step. So float time would be cosmetic only.

Definition at line 35 of file tp_timeinterval.h.

Public Types

typedef long int Type
 Datatype for point on time axis.

Static Public Member Functions

static std::string Str (Type time)
 convert to string

Static Public Attributes

static const Type Max = INT_MAX
 Maximum time, associated with infinitiy.
static const Type Min = INT_MIN+1
 Minimum time, associated with minus infinitiy.
static const Type UnDef = INT_MIN
 Undefined time value.
static const Type Step = 1
 Smallest representable time step.


Member Typedef Documentation

typedef long int faudes::tpTime::Type
 

Datatype for point on time axis.

Definition at line 38 of file tp_timeinterval.h.


Member Function Documentation

static std::string faudes::tpTime::Str Type  time  )  [inline, static]
 

convert to string

Definition at line 48 of file tp_timeinterval.h.


Member Data Documentation

const Type faudes::tpTime::Max = INT_MAX [static]
 

Maximum time, associated with infinitiy.

Definition at line 40 of file tp_timeinterval.h.

const Type faudes::tpTime::Min = INT_MIN+1 [static]
 

Minimum time, associated with minus infinitiy.

Definition at line 42 of file tp_timeinterval.h.

const Type faudes::tpTime::Step = 1 [static]
 

Smallest representable time step.

Definition at line 46 of file tp_timeinterval.h.

const Type faudes::tpTime::UnDef = INT_MIN [static]
 

Undefined time value.

Definition at line 44 of file tp_timeinterval.h.


The documentation for this class was generated from the following file:
Generated on Mon Nov 10 08:13:18 2008 for libFAUDES 2.11v by  doxygen 1.4.4