faudes::ClockSet Class Reference
[Timed Automata PlugIn]

Container class to model a set of clocks. More...

#include <tp_timeconstraint.h>

List of all members.

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.

Static Public Member Functions

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

Protected Member Functions

virtual void DoAssign (const ClockSet &rSourceSet)
 Assign from other clock set.
virtual bool DoEqual (const ClockSet &rOtherSet) const
 Test equality with other clock set.

Static Protected Attributes

static SymbolTable msSymbolTable
 Static global SymbolTable for clock names.

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 (!)

Definition at line 38 of file tp_timeconstraint.h.


Constructor & Destructor Documentation

faudes::ClockSet::ClockSet ( void   ) 

Constructor.

Definition at line 36 of file tp_timeconstraint.cpp.

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

Copy-constructor.

Parameters:
rOtherSet Set to copy

Definition at line 44 of file tp_timeconstraint.cpp.

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"

Definition at line 49 of file tp_timeconstraint.cpp.


Member Function Documentation

void faudes::ClockSet::DoAssign ( const ClockSet rSourceSet  )  [protected, virtual]

Assign from other clock set.

Parameters:
rSourceSet Destination to copy from
Returns:
ref to this set

Definition at line 64 of file tp_timeconstraint.cpp.

bool faudes::ClockSet::DoEqual ( const ClockSet rOtherSet  )  const [protected, virtual]

Test equality with other clock set.

Parameters:
rOtherSet Set to compare with
Returns:
True/false

Definition at line 70 of file tp_timeconstraint.cpp.

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

Get pointer to static clock SymbolTable.

Returns:
Pointer to static clock SymbolTable

Definition at line 76 of file tp_timeconstraint.cpp.


Member Data Documentation

Static global SymbolTable for clock names.

Definition at line 80 of file tp_timeconstraint.h.


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen