faudes::tpTime Class Reference
|
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. |
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.
typedef Int faudes::tpTime::Type |
Datatype for point on time axis.
Definition at line 44 of file tp_timeinterval.h.
static std::string faudes::tpTime::Str | ( | Type | time | ) | [inline, static] |
convert to string
Definition at line 54 of file tp_timeinterval.h.
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.
libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen