#include <tp_timeconstraint.h>

Public Member Functions
	ClockSet (void)

	ClockSet (const ClockSet &rOtherSet)

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

Public Member Functions inherited from faudes::NameSet
	NameSet (void)

	NameSet (const NameSet &rOtherSet)

	NameSet (const std::string &rFilename, const std::string &rLabel="")

virtual	~NameSet (void)

SymbolTable *	SymbolTablep (void) const

void	SymbolTablep (SymbolTable *pSymTab)

bool	Insert (const Idx &rIndex)

Idx	Insert (const std::string &rName)

virtual void	InsertSet (const NameSet &rOtherSet)

virtual void	InsertSet (const TBaseSet< Idx > &rOtherSet)

virtual bool	Erase (const Idx &rIndex)

virtual bool	Erase (const std::string &rName)

virtual NameSet::Iterator	Erase (const Iterator &pos)

void	EraseSet (const NameSet &rOtherSet)

virtual void	EraseSet (const TBaseSet< Idx > &rOtherSet)

void	RestrictSet (const NameSet &rOtherSet)

virtual void	RestrictSet (const TBaseSet< Idx > &rOtherSet)

void	SymbolicName (Idx index, const std::string &rName)

void	SymbolicName (const std::string &rName, const std::string &rNewName)

std::string	SymbolicName (Idx index) const

Idx	Index (const std::string &rName) const

bool	Exists (const Idx &rIndex) const

bool	Exists (const std::string &rName) const

NameSet::Iterator	Find (const Idx &rIndex) const

NameSet::Iterator	Find (const std::string &rName) const

NameSet	operator+ (const NameSet &rOtherSet) const

NameSet	operator- (const NameSet &rOtherSet) const

NameSet	operator* (const NameSet &rOtherSet) const

bool	operator<= (const NameSet &rOtherSet) const

bool	operator>= (const NameSet &rOtherSet) const

std::string	Str (const Idx &rIndex) const

Public Member Functions inherited from faudes::TBaseSet< Idx >
	TBaseSet (void)

	TBaseSet (const TBaseSet &rOtherSet)

	TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet")

virtual	~TBaseSet (void)

const std::string &	Name (void) const

void	Name (const std::string &rName)

virtual void	Clear (void)

Idx	Size (void) const

bool	Empty (void) const

virtual std::string	Str (const Idx &rElem) const

Iterator	Begin (void) const

Iterator	End (void) const

virtual bool	Valid (const Idx &rElem) const

virtual bool	Erase (const Idx &rElem)

virtual Iterator	Erase (const Iterator &pos)

virtual void	EraseSet (const TBaseSet &rOtherSet)

virtual void	RestrictSet (const TBaseSet &rOtherSet)

virtual bool	Disjoint (const TBaseSet &rOtherSet) const

virtual bool	Insert (const Idx &rElem)

virtual Iterator	Inject (const Iterator &pos, const Idx &rElem)

virtual void	Inject (const Idx &rElem)

virtual void	InsertSet (const TBaseSet &rOtherSet)

bool	Exists (const Idx &rElem) const

Iterator	Find (const Idx &rElem) const

TBaseSet	operator+ (const TBaseSet &rOtherSet) const

TBaseSet	operator- (const TBaseSet &rOtherSet) const

TBaseSet	operator* (const TBaseSet &rOtherSet) const

bool	operator<= (const TBaseSet &rOtherSet) const

bool	operator>= (const TBaseSet &rOtherSet) const

bool	operator< (const TBaseSet &rOtherSet) const

void	DValid (const std::string &rMessage="") const

void	Detach (DetachMode flag=AttrIncl) const

void	Lock (void) const

virtual const AttributeVoid *	AttributeType (void) const

virtual bool	AttributeTest (const Type &rAttr) const

virtual TBaseSet &	AssignWithoutAttributes (const TBaseSet &rSourceSet)

virtual void	Attributes (const TBaseSet &rOtherSet)

Idx	AttributesSize (void) const

void	ClearAttributes (void)

bool	EqualAttributes (const TBaseSet &rOtherSet) const

virtual AttributeVoid *	Attributep (const Idx &rElem)

virtual const AttributeVoid &	Attribute (const Idx &rElem) const

virtual void	Attribute (const Idx &rElem, const Type &rAttr)

virtual void	AttributeTry (const Idx &rElem, const Type &rAttr)

virtual void	ClrAttribute (const Idx &rElem)

virtual void	XElementTag (const std::string &rTag)

virtual const std::string &	TypeName (void) const

virtual void	TypeName (const std::string &rType)

Type &	operator= (const Type &rSrc)

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

Public Member Functions inherited from faudes::Type
	Type (void)

	Type (const Type &rType)

virtual	~Type (void)

virtual Type *	New (void) const

virtual Type *	Copy (void) const

virtual const Type *	Cast (const Type *pOther) const

virtual Type &	Assign (const Type &rSrc)

Type &	operator= (const Type &rSrc)

virtual bool	Equal (const Type &rOther) const

bool	operator== (const Type &rOther) const

bool	operator!= (const Type &rOther) const

void	Write (const Type *pContext=0) const

void	Write (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out\|std::ios::trunc) const

void	Write (const std::string &pFileName, std::ios::openmode openmode) const

void	Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const

void	XWrite (const Type *pContext=0) const

void	XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

std::string	ToString (const std::string &rLabel="", const Type *pContext=0) const

std::string	ToText (const std::string &rLabel="", const Type *pContext=0) const

void	DWrite (const Type *pContext=0) const

void	DWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0, std::ios::openmode openmode=std::ios::out\|std::ios::trunc) const

void	DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const

void	SWrite (TokenWriter &rTw) const

void	SWrite (void) const

std::string	ToSText (void) const

void	Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0)

void	FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0)

void	Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)

Static Public Member Functions
static SymbolTable *	GlobalClockSymbolTablep (void)

Protected Member Functions
virtual void	DoAssign (const ClockSet &rSourceSet)

virtual bool	DoEqual (const ClockSet &rOtherSet) const

Protected Member Functions inherited from faudes::NameSet
void	DoAssign (const NameSet &rSourceSet)

bool	DoEqual (const NameSet &rOtherSet) const

virtual void	DoWrite (TokenWriter &tw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoDWrite (TokenWriter &tw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoXWrite (TokenWriter &tw, const std::string &rLabel="", const Type *pContext=0) const

virtual void	DoRead (TokenReader &tr, const std::string &rLabel="", const Type *pContext=0)

Protected Member Functions inherited from faudes::TBaseSet< Idx >
virtual const std::string &	XElementTag (void) const

virtual void	DoSWrite (TokenWriter &rTw) const

void	DoAssign (const TBaseSet &rSourceSet)

bool	DoEqual (const TBaseSet &rOtherSet) const

void	DoAttribute (const Idx &rElem, const Type *pAttr)

const AttributeVoid *	DoAttribute (const Idx &rElem) const

AttributeVoid *	DoAttributeExplicit (const Idx &rElem)

TBaseSet< Idx, std::less< Idx > >::Iterator	ThisIterator (const typename std::set< Idx, std::less< Idx > >::const_iterator &sit) const

void	RelinkClients (void)

void	AttachClient (TBaseSet *pRef) const

void	DetachClient (TBaseSet *pRef) const

void	AttachIterator (Iterator *pFit) const

void	DetachIterator (Iterator *pFit) const

virtual const TypeDefinition *	TypeDefinitionp (void) const

Protected Member Functions inherited from faudes::Type
void	DoAssign (const Type &rSrc)

bool	DoEqual (const Type &rOther) const

virtual Token	XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const

Additional Inherited Members
Public Types inherited from faudes::TBaseSet< Idx >
enum	DetachMode

Protected Types inherited from faudes::TBaseSet< Idx >
typedef std::set< Idx, std::less< Idx > >::iterator	iterator

typedef std::set< Idx, std::less< Idx > >::const_iterator	const_iterator

typedef std::map< Idx, AttributeVoid * >::iterator	aiterator

typedef std::map< Idx, AttributeVoid * >::const_iterator	const_aiterator

Protected Attributes inherited from faudes::NameSet
SymbolTable *	mpSymbolTable

Protected Attributes inherited from faudes::TBaseSet< Idx >
std::string	mMyName

std::set< Idx, std::less< Idx > > *	pSet

std::set< Idx, std::less< Idx > > *	mpSet

std::map< Idx, AttributeVoid * > *	pAttributes

std::map< Idx, AttributeVoid * > *	mpAttributes

TBaseSet< Idx, std::less< Idx > > *	pHostSet

std::list< TBaseSet< Idx, std::less< Idx > > * >::iterator	mClientRecord

std::list< TBaseSet< Idx, std::less< Idx > > * > *	mpClients

bool	mDetached

bool	mLocked

std::set< Iterator * >	mIterators

std::string	mXElementTagDef

Static Protected Attributes inherited from faudes::TBaseSet< Idx >
static std::set< Idx, std::less< Idx > >	msEmptySet

static std::map< Idx, AttributeVoid * >	msEmptyAttributes

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

◆ ClockSet() [1/3]

faudes::ClockSet::ClockSet ( void )

Constructor

Definition at line 33 of file tp_timeconstraint.cpp.

◆ ClockSet() [2/3]

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

Copy-constructor.

Parameters

rOtherSet Set to copy

Definition at line 41 of file tp_timeconstraint.cpp.

◆ ClockSet() [3/3]

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 46 of file tp_timeconstraint.cpp.

Member Function Documentation

◆ DoAssign()

void faudes::ClockSet::DoAssign ( const ClockSet & rSourceSet )

protectedvirtual

Assign from other clock set.

Parameters

rSourceSet Destination to copy from

Definition at line 62 of file tp_timeconstraint.cpp.

◆ DoEqual()

bool faudes::ClockSet::DoEqual ( const ClockSet & rOtherSet ) const

protectedvirtual

Test equality with other clock set.

Parameters

rOtherSet Set to compare with

Returns: True/false

Definition at line 68 of file tp_timeconstraint.cpp.

◆ GlobalClockSymbolTablep()

SymbolTable * faudes::ClockSet::GlobalClockSymbolTablep ( void )

static

Get pointer to static clock SymbolTable (init on first use pattern)

Returns: Pointer to static clock SymbolTable

Definition at line 77 of file tp_timeconstraint.cpp.

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

Public Member Functions

Static Public Member Functions

Protected Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ ClockSet() [1/3]

◆ ClockSet() [2/3]

◆ ClockSet() [3/3]

Member Function Documentation

◆ DoAssign()

◆ DoEqual()

◆ GlobalClockSymbolTablep()