faudes::Time Class Reference

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 Time to some physical unit exists. Thus, we say Time 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.

#include <tp_timeinterval.h>

Public Types
typedef Int	Type
	Datatype for point on time axis. More...

Static Public Member Functions
static Type	Max (void)
	Maximum time, associated with infinitiy. More...
static Type	Min (void)
	Minimum time, associated with minus infinitiy. More...
static Type	UnDef (void)
	Undefined time value. More...
static Type	Step (void)
	Smallest representable time step. More...
static Type	Quantize (Float x)
	Discretize (when using cosmetic float time: "step*(round(t/step))". More...
static Float	FromFloat (Float x)
	Convert From float (for convenient token-reading only) More...
static std::string	Str (Type time)
	convert to string More...

Member Typedef Documentation

Type

typedef Int faudes::Time::Type

Datatype for point on time axis.

Definition at line 44 of file tp_timeinterval.h.

Member Function Documentation

FromFloat()

static Float faudes::Time::FromFloat ( Float  x )

inlinestatic

Convert From float (for convenient token-reading only)

Definition at line 56 of file tp_timeinterval.h.

Max()

static Type faudes::Time::Max ( void  )

inlinestatic

Maximum time, associated with infinitiy.

Definition at line 46 of file tp_timeinterval.h.

Min()

static Type faudes::Time::Min ( void  )

inlinestatic

Minimum time, associated with minus infinitiy.

Definition at line 48 of file tp_timeinterval.h.

Quantize()

static Type faudes::Time::Quantize ( Float  x )

inlinestatic

Discretize (when using cosmetic float time: "step*(round(t/step))".

Definition at line 54 of file tp_timeinterval.h.

Step()

static Type faudes::Time::Step ( void  )

inlinestatic

Smallest representable time step.

Definition at line 52 of file tp_timeinterval.h.

Str()

static std::string faudes::Time::Str ( Type  time )

inlinestatic

convert to string

Definition at line 62 of file tp_timeinterval.h.

UnDef()

static Type faudes::Time::UnDef ( void  )

inlinestatic

Undefined time value.

Definition at line 50 of file tp_timeinterval.h.

---

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

• tp_timeinterval.h