faudes::ClockSet Class Reference
[Timed Automata Plugin]

#include <tp_timeconstraint.h>

Inheritance diagram for faudes::ClockSet:

faudes::NameSet faudes::IndexSet faudes::TBaseSet< Idx > faudes::Type 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 (!)

Definition at line 38 of file tp_timeconstraint.h.

Public Member Functions

 ClockSet (void)
 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.

Static Private Attributes

static SymbolTable msSymbolTable
 Static global SymbolTable for clock names.


Constructor & Destructor Documentation

faudes::ClockSet::ClockSet void   )  [inline]
 

Constructor.

Definition at line 45 of file tp_timeconstraint.h.

faudes::ClockSet::ClockSet const std::string &  rFilename,
const std::string &  rLabel = "Clocks"
[inline]
 

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 60 of file tp_timeconstraint.h.


Member Function Documentation

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

Get pointer to static clock SymbolTable.

Returns:
Pointer to static clock SymbolTable

Definition at line 30 of file tp_timeconstraint.cpp.


Member Data Documentation

SymbolTable faudes::ClockSet::msSymbolTable [static, private]
 

Static global SymbolTable for clock names.

Definition at line 74 of file tp_timeconstraint.h.


The documentation for this class was generated from the following files:
Generated on Mon Nov 10 08:13:18 2008 for libFAUDES 2.11v by  doxygen 1.4.4