cfl_transset.h
Go to the documentation of this file.
236 // tweak: this appears to be a g** 4.2 (OsX) issue --- fails dynamic cast if this symbol is not explicitly exposed
910 virtual void DoWrite(TokenWriter& rTw, const std::string& rLabel="", const Type* pContext=0) const;
942 * which in turn must provide some basic funtionality. In contrast to the TTransSet, the TaTransSet
947 * a set of triples of indices with attributes. In particular, file IO of transitions is provided
953 class FAUDES_API TaTransSet : public TransSet, public TAttrMap<Transition,Attr,TransSort::X1EvX2> {
1149 const Attr* AttributeType(void) const { return TAttrMap<Transition,Attr,TransSort::X1EvX2>::AttributeType(); };
1150 Attr* Attributep(const Transition& rElem) { return TAttrMap<Transition,Attr,TransSort::X1EvX2>::Attributep(rElem); };
1151 const Attr& Attribute(const Transition& rElem) const { return TAttrMap<Transition,Attr,TransSort::X1EvX2>::Attribute(rElem); };
1152 void Attribute(const Transition& rElem, const Attr& rAttr) { return TAttrMap<Transition,Attr,TransSort::X1EvX2>::Attribute(rElem,rAttr); };
1153 void Attribute(const Transition& rElem, const Type& rAttr) { return TAttrMap<Transition,Attr,TransSort::X1EvX2>::Attribute(rElem,rAttr); };
1154 void AttributeTry(const Transition& rElem, const Type& rAttr) { return TAttrMap<Transition,Attr,TransSort::X1EvX2>::AttributeTry(rElem,rAttr); };
1178 *************************************************************************************************
1179 *************************************************************************************************
1181 *************************************************************************************************
1182 *************************************************************************************************
1390 TEMP void THIS::DoWrite(TokenWriter& rTw, const std::string& rLabel, const Type* pContext) const
1786 *************************************************************************************************
1787 *************************************************************************************************
1789 *************************************************************************************************
1790 *************************************************************************************************
Classes AttributeVoid and AttributeFlags Class TAttrMap. Class TBaseSet. Compiletime options. #define FD_DC(message) Debug: optional report on container operations. Definition: cfl_definitions.h:153 Classes IndexSet, TaIndexSet. Classes NameSet, TaNameSet. Class TokenReader. #define FAUDES_TYPE_DECLARATION(ftype, ctype, cbase) faudes type declaration macro Definition: cfl_types.h:867 #define FAUDES_TYPE_TIMPLEMENTATION(ftype, ctype, cbase, ctemp) faudes type implementation macros, overall Definition: cfl_types.h:972 A SymbolTable associates sybolic names with indices. Definition: cfl_symboltable.h:61 Iterator class for high-level api to TBaseSet. Definition: cfl_baseset.h:387 Iterator EndByEvX2(Idx ev, Idx x2) const Iterator to first Transition after specified event and next state. Definition: cfl_transset.h:1336 bool ExistsByX1OrX2(Idx x) const Tests if a transition with specified predecessor or successor state exists. Definition: cfl_transset.h:1608 Iterator Find(Idx x1, Idx ev, Idx x2) const Find transition given by x1, ev, x2. Definition: cfl_transset.h:1587 Iterator BeginByX2Ev(Idx x2, Idx ev) const Iterator to first Transition specified by successor x2 and ev. Definition: cfl_transset.h:1368 Iterator Begin(Idx x1) const Iterator to first Transition specified by current state. Definition: cfl_transset.h:1242 void EraseByX1(Idx x1) Remove all transitions containing predecessor state x1. Definition: cfl_transset.h:1450 virtual void DoWrite(TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const Write to TokenWriter, see Type::Write for public wrappers. Definition: cfl_transset.h:1390 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... Definition: cfl_transset.h:1763 Iterator Begin(Idx x1, Idx ev) const Iterator to first Transitions specified by current state and event. Definition: cfl_transset.h:1264 StateSet SuccessorStates(const StateSet &rX1Set) const Get set of successor states for specified current states. Definition: cfl_transset.h:1691 TTransSet(const TBaseSet< Transition, Cmp > &rOtherSet) Copy-constructor. Definition: cfl_transset.h:1201 void EraseByX2(Idx x2) Remove all transitions containing successor state x2. Definition: cfl_transset.h:1489 Iterator BeginByEvX1(Idx ev, Idx x1) const Iterator to first Transition specified by event and current state. Definition: cfl_transset.h:1306 Iterator End(Idx x1, Idx ev) const Iterator to first Transition after spcified current state and event. Definition: cfl_transset.h:1274 StateSet SuccessorStates(Idx x1, Idx ev) const Get set of successor states for specified current state and event. Definition: cfl_transset.h:1712 void RestrictStates(const StateSet &rStateSet) Restrict to transitions with states as specified. Definition: cfl_transset.h:1555 Iterator EndByEv(Idx ev) const Iterator to first Transition after specified by event. Definition: cfl_transset.h:1295 Iterator EndByEvX1(Idx ev, Idx x1) const Iterator to first Transition after specified ev and current state. Definition: cfl_transset.h:1316 Iterator EndByX2Ev(Idx x2, Idx ev) const Iterator to first Transition after specified successor x2 and ev. Definition: cfl_transset.h:1378 Iterator BeginByX2(Idx x2) const Iterator to first Transition specified by successor state x2. Definition: cfl_transset.h:1346 void EraseByX1Ev(Idx x1, Idx ev) Remove all transitions containing predecessor state x1 and event ev. Definition: cfl_transset.h:1470 Iterator BeginByEv(Idx ev) const Iterator to first Transition specified by event. Definition: cfl_transset.h:1284 Iterator EndByX2(Idx x2) const Iterator to first Transition after specified successor state x2. Definition: cfl_transset.h:1357 Iterator Inject(const Iterator &pos, const Transition &rTransition) Add a Transition. Definition: cfl_transset.h:1421 StateSet SuccessorStates(Idx x1) const Get set of successor states for specified current state. Definition: cfl_transset.h:1674 void EraseByX1OrX2(const StateSet &rStates) Remove all transitions containing a specified state. Definition: cfl_transset.h:1540 void RestrictEvents(const EventSet &rEventSet) Restrict to transitions with events as specified. Definition: cfl_transset.h:1571 void EraseByX1OrX2(Idx x) Remove all transitions containing state x, This function iterates over all transitions to work with a... Definition: cfl_transset.h:1522 Iterator End(Idx x1) const Iterator to end or Transitions with specified current state. Definition: cfl_transset.h:1253 StateSet SuccessorStates(const StateSet &rX1Set, const EventSet &rEvSet) const Get set of successor states for specified current states and events. Definition: cfl_transset.h:1728 std::string Str(const Transition &rTrans) const Return pretty printable string representation. Definition: cfl_transset.h:1775 void ReSort(TTransSet< OtherCmp > &res) const Get copy of trantision relation sorted by other compare operator, e.g. Definition: cfl_transset.h:1654 Iterator BeginByEvX2(Idx ev, Idx x2) const Iterator to first Transition specified by event and next state. Definition: cfl_transset.h:1326 virtual TaTransSet & Assign(const TBaseSet< Transition, TransSort::X1EvX2 > &rSrc) Relaxed assignment method. Definition: cfl_transset.h:1838 virtual TaTransSet & operator=(const TransSet &rSrc) Relaxed assignment operator. Definition: cfl_transset.h:997 Attr * Attributep(const Transition &rElem) Definition: cfl_transset.h:1150 TTransSet< TransSort::X1EvX2 >::Iterator Iterator Iterator on transition. Definition: cfl_transset.h:1007 void AttributeTry(const Transition &rElem, const Type &rAttr) Attribute access. Definition: cfl_transset.h:1154 void Attribute(const Transition &rElem, const Attr &rAttr) Definition: cfl_transset.h:1152 const Attr * AttributeType(void) const resolve ambiguities from attribute interface ("using" wont do the job) Definition: cfl_transset.h:1149 void Attribute(const Transition &rElem, const Type &rAttr) Definition: cfl_transset.h:1153 const Attr & Attribute(const Transition &rElem) const Definition: cfl_transset.h:1151 A TokenWriter writes sequential tokens to a file, a string or stdout. Definition: cfl_tokenwriter.h:51 Triple (X1,Ev,X2) to represent current state, event and next state. Definition: cfl_transset.h:57 Base class of all libFAUDES objects that participate in the run-time interface. Definition: cfl_types.h:239 std::string ToString(const std::string &rLabel="", const Type *pContext=0) const Write configuration data to a string. Definition: cfl_types.cpp:169 virtual Type & Assign(const Type &rSrc) Assign configuration data from other object. Definition: cfl_types.cpp:77 TTransSet< TransSort::EvX2X1 > TransSetEvX2X1 Type definition for ev, x2, x1 sorted TTransSet. Definition: cfl_transset.h:925 TTransSet< TransSort::X1EvX2 > TransSetX1EvX2 Type definition for default sorted TTransSet. Definition: cfl_transset.h:919 TTransSet< TransSort::X1EvX2 > TransSet Type definition for default sorted TTransSet. Definition: cfl_transset.h:916 TTransSet< TransSort::X2EvX1 > TransSetX2EvX1 Type definition for x2, ev, x1 sorted TTransSet. Definition: cfl_transset.h:928 TTransSet< TransSort::X1X2Ev > TransSetX1X2Ev Type definition for x1, x2, ev sorted TTransSet. Definition: cfl_transset.h:934 TTransSet< TransSort::EvX1X2 > TransSetEvX1X2 Type definition for ev, x1, x2 sorted TTransSet. Definition: cfl_transset.h:922 TTransSet< TransSort::X2X1Ev > TransSetX2X1Ev Type definition for x2, x1, ev sorted TTransSet. Definition: cfl_transset.h:931 Binary predicate for sorting transitions in order Ev, X1, X2. Definition: cfl_transset.h:128 Binary predicate for sorting transitions in order Ev, X2, X1. Definition: cfl_transset.h:140 Binary predicate for sorting transitions in order X1, Ev, X2. Definition: cfl_transset.h:188 Binary predicate for sorting transitions in order X1, X2, Ev. Definition: cfl_transset.h:176 Binary predicate for sorting transitions in order X2, Ev, X1. Definition: cfl_transset.h:152 Binary predicate for sorting transitions in order X2, X1, Ev. Definition: cfl_transset.h:164 libFAUDES 2.31h --- 2024.01.29 --- c++ api documentaion by doxygen |