faudes::tpTime Class Reference
[Timed Automata PlugIn]

Type to represent time. More...

#include <tp_timeinterval.h>

List of all members.

Public Types

typedef 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 = FAUDES_INT_MAX
 Maximum time, associated with infinitiy.
static const Type Min = FAUDES_INT_MIN+1
 Minimum time, associated with minus infinitiy.
static const Type UnDef = FAUDES_INT_MIN
 Undefined time value.
static const Type Step = 1
 Smallest representable time step.

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.

Note that timed generators do not explicitely refer to a physical time unit like e.g. hours or seconds. However, it is assumed, that a fixed conversion factor from values of type tpTime to some physical unit exists. Thus, we say tpTime variables hold time in faudes-time units. We feel that this is consistent with Alur's timed automata.

Definition at line 41 of file tp_timeinterval.h.


Member Typedef Documentation

Datatype for point on time axis.

Definition at line 44 of file tp_timeinterval.h.


Member Function Documentation

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

convert to string

Definition at line 54 of file tp_timeinterval.h.


Member Data Documentation

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

Maximum time, associated with infinitiy.

Definition at line 46 of file tp_timeinterval.h.

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

Minimum time, associated with minus infinitiy.

Definition at line 48 of file tp_timeinterval.h.

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

Smallest representable time step.

Definition at line 52 of file tp_timeinterval.h.

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

Undefined time value.

Definition at line 50 of file tp_timeinterval.h.


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen