#include <transset.h>
Inheritance diagram for faudes::TaTransSet< Attr >:
This container class is derived from TTransSet to provide attributes as an additional feature. As with TaBaseSet, the template parameter specifies the attribute class, which in turn must provide some basic funtionality. In contrast to the TTransSet, the TaTransSet is restricted to standard ordering.
Note that it is the context of a Generator that actually allows to interpret a TaTransSet as a set of transitions as opposed to a set of triples of indices with attributes. In particular, file IO of transitions is provided by the generator class (although TaTransSet provides output functions for debugging)
Definition at line 796 of file transset.h.
Public Member Functions | |
Constructors & Destructor | |
TaTransSet (void) | |
Construct an empty TaTransSet object. | |
TaTransSet (const TaTransSet &rOtherSet) | |
Copy-constructor (incl attributes). | |
TaTransSet (const TTransSet< TransSort::X1EvX2 > &rOtherSet) | |
Copy-Constructor (set attributes to default). | |
virtual | ~TaTransSet () |
Virtual destructor. | |
Basic maintenance | |
void | Clear (void) |
Clear all transitions incl attributes. | |
void | ClearAttributes (void) |
clear all attributes | |
Idx | AttributesSize (void) const |
Get number of explicit (non-default) attributes. | |
Accessing individual transitions | |
bool | Insert (Idx x1, Idx ev, Idx x2) |
Add a Transition by indices. | |
bool | Insert (const Transition &rTransition) |
Add a Transition directly. | |
bool | Insert (const Transition &rTransition, const Attr &rAttr) |
Add a Transition with attribute. | |
bool | Erase (const Transition &t) |
Remove a Transition. | |
bool | Erase (Idx x1, Idx ev, Idx x2) |
Remove a Transition. | |
Iterator | Erase (const Iterator &it) |
Remove a Transition by iterator. | |
void | EraseByX1 (Idx x1) |
Remove all transitions containing predecessor state x1. | |
void | EraseByX2 (Idx x2) |
Remove all transitions containing successor state x2. | |
void | EraseByEv (Idx ev) |
Remove all transitions containing event ev. | |
void | EraseByX1OrX2 (Idx x) |
Remove all transitions containing state x. | |
Attr * | Attributep (const Transition &rTrans) |
Get attribute reference by transition. | |
const Attr & | Attribute (const Transition &rTrans) const |
Get const reference to attribute by transition. | |
void | Attribute (const Transition &rTrans, const Attr &attr) |
Set attribute. | |
void | ClrAttribute (const Transition &rTrans) |
Clear attribute to default. | |
Misc | |
template<class OtherAttr> | |
void | CopyWithoutAttributes (TaTransSet< OtherAttr > &res) const |
Copy to any other TaTransSet. | |
Protected Attributes | |
std::map< Transition, Attr > | mAttributeMap |
Stored attributes. | |
Static Protected Attributes | |
static Attr | mDefAttribute |
Statics per template parameter. | |
Friends | |
class | TaTransSet |
We implement "protected privacy for template classes" by friendship. |
|
Construct an empty TaTransSet object.
Definition at line 1447 of file transset.h. |
|
Copy-constructor (incl attributes).
Definition at line 1452 of file transset.h. |
|
Copy-Constructor (set attributes to default).
Definition at line 1459 of file transset.h. |
|
Virtual destructor.
Definition at line 823 of file transset.h. |
|
Set attribute. Sets the attribute of the sepcified element to the given value.
Definition at line 1644 of file transset.h. |
|
Get const reference to attribute by transition.
Definition at line 1627 of file transset.h. |
|
Get attribute reference by transition. Note that in order to produce a non-const reference this method will insert an explicit default attribute if necessary. If a const reference is sufficient, you should use Attribute(Idx) const instead.
Definition at line 1608 of file transset.h. |
|
Get number of explicit (non-default) attributes.
Definition at line 1473 of file transset.h. |
|
Clear all transitions incl attributes.
Reimplemented from faudes::TBaseSet< Transition, Cmp >. Definition at line 1478 of file transset.h. |
|
clear all attributes
Definition at line 1659 of file transset.h. |
|
Clear attribute to default.
|
|
Copy to any other TaTransSet. This function ignores input attributes and sets the result attributes to the default value.
Definition at line 1467 of file transset.h. |
|
Remove a Transition by iterator.
Reimplemented from faudes::TBaseSet< Transition, Cmp >. Definition at line 1524 of file transset.h. |
|
Remove a Transition.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1516 of file transset.h. |
|
Remove a Transition.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1509 of file transset.h. |
|
Remove all transitions containing event ev.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1572 of file transset.h. |
|
Remove all transitions containing predecessor state x1.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1540 of file transset.h. |
|
Remove all transitions containing state x.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1591 of file transset.h. |
|
Remove all transitions containing successor state x2.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1555 of file transset.h. |
|
Add a Transition with attribute.
Definition at line 1500 of file transset.h. |
|
Add a Transition directly. If the transition already exists, the attribute is maintained. Otherwise, the transition is inserted with default attribute.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1485 of file transset.h. |
|
Add a Transition by indices.
Reimplemented from faudes::TTransSet< Cmp >. Definition at line 1492 of file transset.h. |
|
We implement "protected privacy for template classes" by friendship. This is used for the pragmatic implemention conversion constructors. Definition at line 803 of file transset.h. |
|
Stored attributes.
Definition at line 1013 of file transset.h. |