|
|
||||||
|
cfl_agenerator.h
Go to the documentation of this file.
54 * accessed in a per event, state and transition manner and they can have default or non-default value.
57 * faudes::AttributeFlags for boolean flags and faudes::AttributeCFlags for controllability properties.
62 * Technical detail: Attributes data types must be derived from AttributeVoid, which in turn is derived from
63 * the general purpose base faudes::Type. For your derived attribute class to be fully functional,
747 void GlobalAttribute(const Type& rAttr) { const GlobalAttr* ap= dynamic_cast<const GlobalAttr*>(&rAttr); if(ap) *pGlobalAttribute=*ap;};
923 errstr << " ptrs " << pGlobalAttribute << "-" << pAlphabet << "-" << pStates << "-" << pTransRel;
932 FD_DG("TaGenerator(" << this << ")::DoAssign(..): types " << typeid(*this).name() << " <= " << typeid(rGen).name());
964 FD_DG("TaGenerator(" << this << ")::Assign(..): types \n" << typeid(*this).name() << " <= \n" << typeid(rSrc).name());
965 FD_DG("TaGenerator(" << this << ")::Assign(..): match str " << (typeid(*this).name() == typeid(rSrc).name()));
974 FD_DG("TaGenerator(" << this << ")::Assign([type] " << &rSrc << "):: call aGenerator DoAssign");
1042 TEMP TaGenerator<GlobalAttr,StateAttr,EventAttr,TransAttr>& THIS::operator= (const TaGenerator& rOtherGen) {
1191 TEMP bool THIS::SetTransition(const std::string& rX1, const std::string& rEv, const std::string& rX2) {
Classes IndexSet, TaIndexSet. Classes NameSet, TaNameSet. Class SymbolTable. Class Token. Class TokenReader. Class TokenWriter. Classes Transition, TTransSet and TaTransSet. Definition: cfl_exception.h:118 Definition: cfl_indexset.h:78 Definition: cfl_nameset.h:70 Definition: cfl_agenerator.h:70 const EventAttr & EventAttribute(const std::string &rName) const Definition: cfl_agenerator.h:1317 virtual TaGenerator NewAGen(void) const Definition: cfl_agenerator.h:1025 void InjectStates(const StateSet &rNewStates) Definition: cfl_agenerator.h:1160 void TransRel(TransSetEvX1X2 &res) const Definition: cfl_agenerator.h:1374 TransAttr * TransAttributep(const Transition &rTrans) Definition: cfl_agenerator.h:1276 void TransRel(TransSetX2X1Ev &res) const GlobalAttr * GlobalAttributep(void) Definition: cfl_agenerator.h:758 bool SetTransition(const Transition &rTransition) Definition: cfl_agenerator.h:1202 bool SetTransition(const Transition &rTransition, const TransAttr &rAttr) Definition: cfl_agenerator.h:1229 void TransRel(TransSetEvX2X1 &res) const bool SetTransition(const std::string &rX1, const std::string &rEv, const std::string &rX2) Definition: cfl_agenerator.h:1191 const TransAttr & TransAttribute(const Transition &rTrans) const Definition: cfl_agenerator.h:1282 void TransRel(TransSetX2EvX1 &res) const Definition: cfl_agenerator.h:1376 void EventAttribute(Idx index, const EventAttr &rAttr) Definition: cfl_agenerator.h:1287 void TransAttribute(const Transition &rTrans, const Type &rAttr) Definition: cfl_agenerator.h:1263 const GlobalAttr & GlobalAttribute(void) const Definition: cfl_agenerator.h:752 Idx InsEvent(const std::string &rName, const EventAttr &rAttr) Definition: cfl_agenerator.h:1112 Idx InsState(const std::string &rName) Definition: cfl_agenerator.h:1142 void GlobalAttribute(const Type &rAttr) Definition: cfl_agenerator.h:747 TaGenerator(const TaGenerator &rOtherGen) Definition: cfl_agenerator.h:843 TaGenerator(const std::string &rFileName) Definition: cfl_agenerator.h:871 Idx InsEvent(const std::string &rName) Definition: cfl_agenerator.h:1100 void TransAttribute(const Transition &rTrans, const TransAttr &rAttr) Definition: cfl_agenerator.h:1256 EventAttr * EventAttributep(Idx index) Definition: cfl_agenerator.h:1312 virtual TaGenerator & Assign(const Type &rSrc) Definition: cfl_agenerator.h:962 void InjectStates(const TaStateSet< StateAttr > &rNewStates) Definition: cfl_agenerator.h:1167 const TaStateSet< StateAttr > & States(void) const Definition: cfl_agenerator.h:1363 virtual const Type * Cast(const Type *pOther) const Definition: cfl_agenerator.h:1036 const TaEventSet< EventAttr > & Alphabet(void) const Definition: cfl_agenerator.h:1358 static const TaIndexSet< StateAttr > & StatesTaGen(void) Definition: cfl_agenerator.h:816 bool SetTransition(Idx x1, Idx ev, Idx x2) Definition: cfl_agenerator.h:1197 void TransRel(TransSetX1EvX2 &res) const Definition: cfl_agenerator.h:1373 void InjectTransRel(const ATransSet &rNewtransrel) Definition: cfl_agenerator.h:1184 const StateAttr & StateAttribute(Idx index) const Definition: cfl_agenerator.h:1348 void InjectTransRel(const TransSet &rNewtransrel) Definition: cfl_agenerator.h:1178 void EventAttribute(Idx index, const Type &rAttr) Definition: cfl_agenerator.h:1294 const ATransSet & TransRel(void) const Definition: cfl_agenerator.h:1368 TaGenerator(const vGenerator &rOtherGen) Definition: cfl_agenerator.h:857 const EventAttr & EventAttribute(Idx index) const Definition: cfl_agenerator.h:1307 bool InsEvent(Idx index, const EventAttr &rAttr) Definition: cfl_agenerator.h:1106 void GlobalAttribute(const GlobalAttr &rAttr) Definition: cfl_agenerator.h:746 bool InsState(Idx index, const StateAttr &attr) Definition: cfl_agenerator.h:1136 EventAttr * EventAttributep(const std::string &rName) Definition: cfl_agenerator.h:1322 void InjectAlphabet(const TaEventSet< EventAttr > &rNewalphabet) Definition: cfl_agenerator.h:1080 static const TaNameSet< EventAttr > & AlphabetTaGen(void) Definition: cfl_agenerator.h:812 void StateAttribute(Idx index, const StateAttr &rAttr) Definition: cfl_agenerator.h:1327 static const GlobalAttr & GlobalTaGen(void) Definition: cfl_agenerator.h:824 void TransRel(TransSetX1X2Ev &res) const static const ATransSet & TransRelTaGen(void) Definition: cfl_agenerator.h:820 Idx InsState(const std::string &rName, const StateAttr &attr) Definition: cfl_agenerator.h:1150 void StateAttribute(Idx index, const Type &rAttr) Definition: cfl_agenerator.h:1334 StateAttr * StateAttributep(Idx index) Definition: cfl_agenerator.h:1353 void InjectAlphabet(const EventSet &rNewalphabet) Definition: cfl_agenerator.h:1074 Definition: cfl_indexset.h:319 Definition: cfl_transset.h:1047 Definition: cfl_transset.h:57 Definition: cfl_types.h:246 void Read(const std::string &rFileName, const std::string &rLabel="", const Type *pContext=0) Definition: cfl_types.cpp:267 std::string ToString(const std::string &rLabel="", const Type *pContext=0) const Definition: cfl_types.cpp:175 Definition: cfl_generator.h:213 SymbolTable * mpEventSymbolTable Definition: cfl_generator.h:2905 void ConfigureAttributeTypes(const AttributeVoid *pNewGlobalPrototype, const StateSet *pNewStatesPrototype, const EventSet *pNewAlphabetPrototype, const TransSet *pNewTransRelPrototype) Definition: cfl_generator.cpp:209 static bool msStateNamesEnabledDefault Definition: cfl_generator.h:2911 std::map< Idx, Idx > mMinStateIndexMap Definition: cfl_generator.h:2962 Definition: cfl_agenerator.h:43 libFAUDES 2.33h --- 2025.06.18 --- c++ api documentaion by doxygen |