#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.
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.
|
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
Member Function Documentation
static std::string faudes::tpTime::Str |
( |
Type |
time |
) |
[inline, static] |
Member Data Documentation
Minimum time, associated with minus infinitiy.
Definition at line 48 of file tp_timeinterval.h.
The documentation for this class was generated from the following file: