faudes::Time Class Reference

#include <tp_timeinterval.h>

Public Types
typedef Int	Type

Static Public Member Functions
static Type	Max (void)
static Type	Min (void)
static Type	UnDef (void)
static Type	Step (void)
static Type	Quantize (Float x)
static Float	FromFloat (Float x)
static std::string	Str (Type time)

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.

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