Type to represent time. More...

#include <tp_timeinterval.h>

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)
inlinestatic

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.26g --- 2015.08.17 --- c++ api documentaion by doxygen