libFAUDES

Sections

Index

faudes::ClockSet Class Reference
[Timed Automata PlugIn]

#include <tp_timeconstraint.h>

Inherits faudes::NameSet.

List of all members.


Detailed Description

Container class to model a set of clocks.

Technically, this is a NameSet with a static SymbolTable to map symbolic clock names to clock indices. Thus, clock names are global similar to event names. Note that clocksets of individual TtGenerators are assumed to be disjoint.

Todo: explicitely inherit other constructors (!)

Public Member Functions

 ClockSet (void)
 Constructor.
 ClockSet (const ClockSet &rOtherSet)
 Copy-constructor.
 ClockSet (const std::string &rFilename, const std::string &rLabel="Clocks")
 Construct from file.
virtual ClockSetNew () const
 Create new ClockSet on heap.
virtual ClockSetoperator= (const ClockSet &rSrc)
 Assignment operator (uses Copy).

Static Public Member Functions

static SymbolTableStaticSymbolTablep (void)
 Get pointer to static clock SymbolTable.

Static Private Attributes

static SymbolTable msSymbolTable
 Static global SymbolTable for clock names.


Constructor & Destructor Documentation

faudes::ClockSet::ClockSet ( void   ) 

Constructor.

faudes::ClockSet::ClockSet ( const ClockSet rOtherSet  ) 

Copy-constructor.

Parameters:
rOtherSet Set to copy

faudes::ClockSet::ClockSet ( const std::string &  rFilename,
const std::string &  rLabel = "Clocks" 
)

Construct from file.

Uses the NameSet's Read() function to scan a file for a specified clockset.

Parameters:
rFilename File to read
rLabel Section label for the clocks in the file; default value "Clocks"


Member Function Documentation

ClockSet * faudes::ClockSet::New ( void   )  const [virtual]

Create new ClockSet on heap.

Returns:
Pointer to new empty NameSet on heap

Reimplemented from faudes::NameSet.

virtual ClockSet& faudes::ClockSet::operator= ( const ClockSet rSrc  )  [inline, virtual]

Assignment operator (uses Copy).

Parameters:
rSrc Source from which to assign
Returns:
Ref to this set

SymbolTable * faudes::ClockSet::StaticSymbolTablep ( void   )  [static]

Get pointer to static clock SymbolTable.

Returns:
Pointer to static clock SymbolTable


Member Data Documentation

Static global SymbolTable for clock names.


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

libFAUDES 2.13a c++ source docu by doxygen 1.5.6