Public Member Functions |
|
| 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.
|
virtual TaTransSet & | Assign (const TransSet &rSrc) |
| Relaxed assignment method.
|
virtual TaTransSet & | operator= (const TransSet &rSrc) |
| Relaxed assignment operator.
|
| TTransSet (void) |
| Construct an empty TTransSet object.
|
| TTransSet (const TBaseSet< Transition, Cmp > &rOtherSet) |
| Copy-constructor.
|
template<class OtherCmp > |
| TTransSet (const TTransSet< OtherCmp > &res) |
| Re-Sort Copy-constructor.
|
virtual | ~TTransSet () |
| Virtual destructor.
|
Iterator | Inject (const Iterator &pos, const Transition &rTransition) |
| Add a Transition.
|
void | Inject (const Transition &rTransition) |
| Add a Transition.
|
void | EraseByX1Ev (Idx x1, Idx ev) |
| Remove all transitions containing predecessor state x1 and event ev.
|
Iterator | Find (Idx x1, Idx ev, Idx x2) const |
| Find transition given by x1, ev, x2.
|
Iterator | Find (const Transition &t) const |
| Find specified transition.
|
bool | Exists (const Transition &t) const |
| Test existence.
|
bool | Exists (Idx x1, Idx ev, Idx x2) const |
| Test existence.
|
bool | ExistsByX1Ev (Idx x1, Idx ev) const |
| Test existence.
|
bool | ExistsByX1 (Idx x1) const |
| Test existence.
|
bool | ExistsByX1OrX2 (Idx x) const |
| Tests if a transition with specified predecessor or successor state exists.
|
Iterator | Begin (void) const |
| Iterator to begin of set.
|
Iterator | End (void) const |
| Iterator to end of set.
|
Iterator | Begin (Idx x1) const |
| Iterator to first Transition specified by current state.
|
Iterator | End (Idx x1) const |
| Iterator to end or Transitions with specified current state.
|
Iterator | Begin (Idx x1, Idx ev) const |
| Iterator to first Transitions specified by current state and event.
|
Iterator | End (Idx x1, Idx ev) const |
| Iterator to first Transition after spcified current state and event.
|
Iterator | BeginByEv (Idx ev) const |
| Iterator to first Transition specified by event.
|
Iterator | EndByEv (Idx ev) const |
| Iterator to first Transition after specified by event.
|
Iterator | BeginByEvX1 (Idx ev, Idx x1) const |
| Iterator to first Transition specified by event and current state.
|
Iterator | EndByEvX1 (Idx ev, Idx x1) const |
| Iterator to first Transition after specified ev and current state.
|
Iterator | BeginByEvX2 (Idx ev, Idx x2) const |
| Iterator to first Transition specified by event and next state.
|
Iterator | EndByEvX2 (Idx ev, Idx x2) const |
| Iterator to first Transition after specified event and next state.
|
Iterator | BeginByX2 (Idx x2) const |
| Iterator to first Transition specified by successor state x2.
|
Iterator | EndByX2 (Idx x2) const |
| Iterator to first Transition after specified successor state x2.
|
Iterator | BeginByX2Ev (Idx x2, Idx ev) const |
| Iterator to first Transition specified by successor x2 and ev.
|
Iterator | EndByX2Ev (Idx x2, Idx ev) const |
| Iterator to first Transition after specified successor x2 and ev.
|
template<class OtherCmp > |
void | ReSort (TTransSet< OtherCmp > &res) const |
| Get copy of trantision relation sorted by other compare operator, e.g.
|
StateSet | States (void) const |
| Get state set covered by transition set.
|
StateSet | SuccessorStates (Idx x1) const |
| Get set of successor states for specified current state.
|
StateSet | SuccessorStates (const StateSet &rX1Set) const |
| Get set of successor states for specified current states.
|
StateSet | SuccessorStates (Idx x1, Idx ev) const |
| Get set of successor states for specified current state and event.
|
StateSet | SuccessorStates (const StateSet &rX1Set, const EventSet &rEvSet) const |
| Get set of successor states for specified current states and events.
|
EventSet | ActiveEvents (Idx x1, SymbolTable *pSymTab=NULL) const |
| Get set of events that are active for a specified current state Since a transition set does not refer to a SymbolTable, this function returns a set of plain indices.
|
std::string | Str (const Transition &rTrans) const |
| Return pretty printable string representation.
|
| TBaseSet (void) |
| Constructor.
|
| TBaseSet (const TBaseSet &rOtherSet) |
| Copy-constructor.
|
| TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet") |
| Constructor from file.
|
virtual | ~TBaseSet (void) |
| Virtual destructor.
|
const std::string & | Name (void) const |
| Return name of TBaseSet.
|
void | Name (const std::string &rName) |
| Set name of TBaseSet.
|
Idx | Size (void) const |
| Get Size of TBaseSet.
|
bool | Empty (void) const |
| Test whether if the TBaseSet is Empty.
|
virtual bool | Valid (const Transition &rElem) const |
| Test validty of candidate element.
|
virtual Iterator | Erase (const Iterator &pos) |
| Erase element by iterator.
|
virtual void | EraseSet (const TBaseSet &rOtherSet) |
| Erase elements given by other set.
|
virtual void | RestrictSet (const TBaseSet &rOtherSet) |
| Restrict elements given by other set.
|
virtual Iterator | Inject (const Iterator &pos, const Transition &rElem) |
| Insert specified element.
|
virtual void | InsertSet (const TBaseSet &rOtherSet) |
| Insert elements given by rOtherSet.
|
virtual void | SetUnion (const TBaseSet &rOtherSet) |
| Set Union, result is accumulated in this set.
|
virtual void | SetIntersection (const TBaseSet &rOtherSet) |
| Set Intersection, result is stored in this set.
|
TBaseSet | operator+ (const TBaseSet &rOtherSet) const |
| Set union operator.
|
TBaseSet | operator- (const TBaseSet &rOtherSet) const |
| Set difference operator.
|
TBaseSet | operator* (const TBaseSet &rOtherSet) const |
| Set intersection operator.
|
bool | operator<= (const TBaseSet &rOtherSet) const |
| Test for subset.
|
bool | operator>= (const TBaseSet &rOtherSet) const |
| Test for superset.
|
bool | operator< (const TBaseSet &rOtherSet) const |
| Order for sorting containers of TBaseSet.
|
void | DValid (const std::string &rMessage="") const |
| Some validation of deferred copy mechanism (provoke abort)
|
virtual void | Detach (void) const |
| Detach from extern storage (incl allocation and true copy)
|
virtual void | Lock (void) const |
| Detach and lock any further reallocation.
|
virtual const AttributeVoid * | Attributep (void) const |
| Attribute typeinfo.
|
virtual AttributeVoid * | Attributep (const Transition &rElem) |
| Attribute access.
|
virtual const AttributeVoid & | Attribute (void) const |
| Attribute typeinfo.
|
virtual const AttributeVoid & | Attribute (const Transition &rElem) const |
| Attribute access.
|
virtual void | Attribute (const Transition &rElem, const Type &rAttr) |
| Attribute access.
|
virtual bool | AttributeTry (const Type &rAttr) const |
| Attribute typeinfo.
|
virtual void | AttributeTry (const Transition &rElem, const Type &rAttr) |
| Attribute access.
|
virtual TBaseSet & | AssignWithoutAttributes (const TBaseSet &rSourceSet) |
| Attribute access.
|
virtual void | Attributes (const TBaseSet &rOtherSet) |
| Attributes access.
|
virtual Idx | AttributesSize (void) const |
| Attribute access.
|
virtual void | ClearAttributes (void) |
| Attribute access.
|
virtual bool | EqualAttributes (const TBaseSet &rOtherSet) const |
| Attribute access.
|
virtual void | ClrAttribute (const Transition &rElem) |
| Attribute access.
|
virtual void | XElementTag (const std::string &rTag) |
| Configure the element name tag.
|
virtual const std::string & | TypeName (void) const |
| Get objects's type name.
|
virtual void | TypeName (const std::string &rType) |
| Overwrite faudes-type name.
|
| Type (void) |
| Constructor.
|
| Type (const Type &rType) |
| Copy constructor.
|
virtual | ~Type (void) |
| Destructor.
|
virtual Type * | New (void) const |
| Construct on heap.
|
virtual Type * | Copy (void) const |
| Construct on heap.
|
virtual const Type * | Cast (const Type *pOther) const |
| Cast other object to this type.
|
virtual Type & | Assign (const Type &rSrc) |
| Assign configuration data from other object.
|
virtual Type & | operator= (const Type &rSrc) |
| Assign configurationdata from other object.
|
virtual bool | Equal (const Type &rOther) const |
| Test equality of configuration data.
|
virtual bool | operator== (const Type &rOther) const |
| Test equality of configuration data.
|
virtual bool | operator!= (const Type &rOther) const |
| Test equality of configuration data.
|
void | Write (const Type *pContext=0) const |
| Write configuration data to console.
|
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 |
| Write configuration data to a file.
|
void | Write (const std::string &pFileName, std::ios::openmode openmode) const |
| Write configuration data to a file.
|
void | Write (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to TokenWriter.
|
virtual void | XWrite (const std::string &pFileName, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to an XML file.
|
void | XWrite (const Type *pContext=0) const |
| Write configuration data in XML format to concole Note: this write function uses the virtual function DoXWrite(), to be reimplemented by derived classes.
|
void | XWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data in XML format to TokenWriter.
|
std::string | ToString (const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to a string.
|
std::string | ToText (const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data to a formated string.
|
void | DWrite (const Type *pContext=0) const |
| Write configuration data to console, debugging format.
|
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 |
| Write configuration data to a file, debugging format.
|
void | DWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data in debug format to TokenWriter.
|
void | SWrite (TokenWriter &rTw) const |
| Write statistics comment to TokenWriter.
|
void | SWrite (void) const |
| Write statistics comment to console.
|
std::string | ToSText (void) const |
| Write statistics to a string.
|
void | Read (const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from file with label specified.
|
void | FromString (const std::string &rString, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from a string.
|
void | Read (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| Read configuration data from TokenReader with label sepcified.
|
| TaBaseSet (void) |
| Constructor.
|
| TaBaseSet (const TaBaseSet &rOtherSet) |
| Copy-constructor.
|
| TaBaseSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Copy-constructor.
|
| TaBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet") |
| Constructor from file.
|
virtual | ~TaBaseSet (void) |
| Virtual destructor.
|
virtual TaBaseSet & | Assign (const TaBaseSet &rSourceSet) |
| Faudes Type interface.
|
virtual TaBaseSet & | Assign (const TBaseSet< Transition, TransSort::X1EvX2 > &rSourceSet) |
| Copy from a TBaseSet with attributes, provided that they can be casted acciordingly.
|
virtual TaBaseSet & | AssignWithoutAttributes (const TBaseSet< Transition, TransSort::X1EvX2 > &rSourceSet) |
| Copy from a TBaseSet without attributes.
|
virtual TaBaseSet & | operator= (const TaBaseSet &rSource) |
| Faudes Type interface.
|
virtual TaBaseSet & | operator= (const TBaseSet< Transition, TransSort::X1EvX2 > &rSource) |
| Faudes Type interface (extension).
|
const Attr * | Attributep (void) const |
| Attribute typeinfo.
|
virtual Attr * | Attributep (const Transition &rElem) |
| Get attribute reference by element.
|
const Attr & | Attribute (void) const |
| Attribute typeinfo.
|
virtual const Attr & | Attribute (const Transition &rElem) const |
| Get attribute by element.
|
virtual void | Attribute (const Transition &rElem, const Type &attr) |
| Set attribute.
|
virtual void | Attribute (const Transition &rElem, const Attr &attr) |
| Set attribute.
|
virtual bool | AttributeTry (const Type &rAttr) const |
| Attribute typeinfo.
|
virtual void | AttributeTry (const Transition &rElem, const Type &attr) |
| Set attribute.
|
virtual Idx | AttributesSize (void) const |
| Get number of explicit (aka non-default) attributes.
|
virtual void | ClearAttributes (void) |
| Clear all attributes to default value.
|
virtual bool | EqualAttributes (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) const |
| Test whether attributes match with other set, Return true if attributes match for shared elements.
|
virtual bool | EqualAttributes (const TaBaseSet &rOtherSet) const |
| Test whether attributes match with other set, Return true if attributes match for shared elements.
|
virtual bool | operator== (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) const |
| Test set equality.
|
virtual void | Attributes (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Set attributes.
|
virtual void | Attributes (const TaBaseSet &rOtherSet) |
| Set attributes.
|
virtual void | ClrAttribute (const Transition &rElem) |
| Clear attribute to default value.
|
void | InsertSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Inserts elements of rOtherSet.
|
void | InsertSet (const TaBaseSet &rOtherSet) |
| Inserts elements of rOtherSet.
|
TBaseSet< Transition,
TransSort::X1EvX2 >::Iterator | Erase (const typename TBaseSet< Transition, TransSort::X1EvX2 >::Iterator &pos) |
| Erase element by iterator (incl attribute)
|
void | EraseSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Erase elements given by other set.
|
void | RestrictSet (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Restrict to specified subset.
|
void | SetUnion (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Set union.
|
void | SetIntersection (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) |
| Set intersection.
|
virtual void | Detach (void) const |
| Detach from extern storage (reimplement base)
|
| TBaseSet (void) |
| Constructor.
|
| TBaseSet (const TBaseSet &rOtherSet) |
| Copy-constructor.
|
| TBaseSet (const std::string &rFilename, const std::string &rLabel="BaseSet") |
| Constructor from file.
|
virtual | ~TBaseSet (void) |
| Virtual destructor.
|
const std::string & | Name (void) const |
| Return name of TBaseSet.
|
void | Name (const std::string &rName) |
| Set name of TBaseSet.
|
Idx | Size (void) const |
| Get Size of TBaseSet.
|
bool | Empty (void) const |
| Test whether if the TBaseSet is Empty.
|
virtual bool | Valid (const T &rElem) const |
| Test validty of candidate element.
|
virtual void | EraseSet (const TBaseSet &rOtherSet) |
| Erase elements given by other set.
|
virtual void | RestrictSet (const TBaseSet &rOtherSet) |
| Restrict elements given by other set.
|
virtual Iterator | Inject (const Iterator &pos, const T &rElem) |
| Insert specified element.
|
virtual void | InsertSet (const TBaseSet &rOtherSet) |
| Insert elements given by rOtherSet.
|
virtual void | SetUnion (const TBaseSet &rOtherSet) |
| Set Union, result is accumulated in this set.
|
virtual void | SetIntersection (const TBaseSet &rOtherSet) |
| Set Intersection, result is stored in this set.
|
TBaseSet | operator+ (const TBaseSet &rOtherSet) const |
| Set union operator.
|
TBaseSet | operator- (const TBaseSet &rOtherSet) const |
| Set difference operator.
|
TBaseSet | operator* (const TBaseSet &rOtherSet) const |
| Set intersection operator.
|
bool | operator<= (const TBaseSet &rOtherSet) const |
| Test for subset.
|
bool | operator>= (const TBaseSet &rOtherSet) const |
| Test for superset.
|
bool | operator< (const TBaseSet &rOtherSet) const |
| Order for sorting containers of TBaseSet.
|
void | DValid (const std::string &rMessage="") const |
| Some validation of deferred copy mechanism (provoke abort)
|
virtual void | Lock (void) const |
| Detach and lock any further reallocation.
|
virtual TBaseSet & | AssignWithoutAttributes (const TBaseSet &rSourceSet) |
| Attribute access.
|
virtual void | Attributes (const TBaseSet &rOtherSet) |
| Attributes access.
|
virtual bool | EqualAttributes (const TBaseSet &rOtherSet) const |
| Attribute access.
|
virtual AttributeVoid * | Attributep (const T &rElem) |
| Attribute access.
|
virtual const AttributeVoid & | Attribute (const T &rElem) const |
| Attribute access.
|
virtual void | Attribute (const T &rElem, const Type &rAttr) |
| Attribute access.
|
virtual void | AttributeTry (const T &rElem, const Type &rAttr) |
| Attribute access.
|
virtual void | ClrAttribute (const T &rElem) |
| Attribute access.
|
virtual void | XElementTag (const std::string &rTag) |
| Configure the element name tag.
|
virtual const std::string & | TypeName (void) const |
| Get objects's type name.
|
virtual void | TypeName (const std::string &rType) |
| Overwrite faudes-type name.
|
Protected Member Functions |
virtual void | DoAssign (const TaTransSet &rSource) |
| Assign my members.
|
virtual void | DoAssign (const TTransSet &rSource) |
| Assign my members.
|
virtual void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write to TokenWriter, see Type::Write for public wrappers.
|
virtual const std::string & | XElementTag (void) const |
| Get name of elements (used for XML IO)
|
virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Token output, debugging see Type::DWrite for public wrappers.
|
virtual void | DoSWrite (TokenWriter &rTw) const |
| Token output, see Type::SWrite for public wrappers.
|
virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| Token input, see Type::Read for public wrappers.
|
virtual void | DoAssign (const TBaseSet &rSourceSet) |
| assign my members
|
virtual bool | DoEqual (const TBaseSet &rOtherSet) const |
| test equality
|
TBaseSet< Transition, Cmp >
::Iterator | ThisIterator (const typename std::set< Transition, Cmp >::const_iterator &sit) const |
| Convert STL iterator to API iterator.
|
void | RelinkClients (void) |
| Ensure that we do not host contents to anyone else.
|
void | AttachClient (TBaseSet *pRef) const |
| Record that we provide contents to some other BaseSet.
|
void | DetachClient (TBaseSet *pRef) const |
| Record that we stop providing data for some TBaseSet.
|
void | AttachIterator (Iterator *pFit) const |
| Record that an iterator refers to this TBaseSet.
|
void | DetachIterator (Iterator *pFit) const |
| Record that an iterator stops to refer to this TBaseSet.
|
virtual const TypeDefinition * | TypeDefinitionp (void) const |
| Reimplment from type to use chache.
|
void | FnctUnion (const TBaseSet &rOtherSet, TBaseSet &rRes) const |
| static empty STL client list
|
void | FnctDifference (const TBaseSet &rOtherSet, TBaseSet &rRes) const |
| Implementation of difference.
|
void | FnctIntersection (const TBaseSet &rOtherSet, TBaseSet &rRes) const |
| Implementation of intersection.
|
virtual void | DoAssign (const Type &rSrc) |
| Assign configuration data from other object.
|
virtual bool | DoEqual (const Type &rOther) const |
| Test equality of configuration data.
|
virtual void | DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Write configuration data of this object to TokenWriter in XML format.
|
virtual Token | XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const |
virtual void | DoAssign (const TaBaseSet &rSourceSet) |
| assignment from source with matching attributes
|
virtual bool | DoEqual (const TBaseSet< Transition, TransSort::X1EvX2 > &rOtherSet) const |
| test equality, ignore attributes
|
virtual void | DoAttributep (const Transition &rElem, const Type *pAttr) |
| set attribute in map (assume elem exists in set, NULL <=> set to default)
|
virtual void | DoAttributep (const Transition &rElem, const Attr *pAttr) |
| set attribute in map (assume elem exists in set, NULL <=> set to default)
|
virtual const Attr * | DoAttributep (const Transition &rElem) const |
| get attribute from map (return null if elem does not exist in map)
|
virtual Attr * | DoAttributep (const Transition &rElem) |
| get attribute from map (insert explicit default if elem does not exist in map)
|
virtual void | DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
| Token output, debugging see Type::DWrite for public wrappers.
|
virtual void | DoSWrite (TokenWriter &rTw) const |
| Token output, see Type::SWrite for public wrappers.
|
virtual void | DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0) |
| Token input, see Type::Read for public wrappers.
|
virtual void | DoAssign (const TBaseSet &rSourceSet) |
| assign my members
|
virtual bool | DoEqual (const TBaseSet &rOtherSet) const |
| test equality
|
TBaseSet< T, Cmp >::Iterator | ThisIterator (const typename std::set< T, Cmp >::const_iterator &sit) const |
| Convert STL iterator to API iterator.
|
void | RelinkClients (void) |
| Ensure that we do not host contents to anyone else.
|
void | AttachClient (TBaseSet *pRef) const |
| Record that we provide contents to some other BaseSet.
|
void | DetachClient (TBaseSet *pRef) const |
| Record that we stop providing data for some TBaseSet.
|
void | AttachIterator (Iterator *pFit) const |
| Record that an iterator refers to this TBaseSet.
|
void | DetachIterator (Iterator *pFit) const |
| Record that an iterator stops to refer to this TBaseSet.
|
virtual const TypeDefinition * | TypeDefinitionp (void) const |
| Reimplment from type to use chache.
|
virtual const std::string & | XElementTag (void) const |
| Get name of elements (used for XML IO)
|
void | FnctUnion (const TBaseSet &rOtherSet, TBaseSet &rRes) const |
| static empty STL client list
|
void | FnctDifference (const TBaseSet &rOtherSet, TBaseSet &rRes) const |
| Implementation of difference.
|
void | FnctIntersection (const TBaseSet &rOtherSet, TBaseSet &rRes) const |
| Implementation of intersection.
|