Public Member Functions | List of all members
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
Generator Classes

#include <cfl_cgenerator.h>

Public Member Functions

 TcGenerator (void)
 
 TcGenerator (const vGenerator &rOtherGen)
 
 TcGenerator (const TcGenerator &rOtherGen)
 
 TcGenerator (const std::string &rFileName)
 
TcGenerator * New (void) const
 
TcGenerator * Copy (void) const
 
virtual const Type * Cast (const Type *pOther) const
 
TcGenerator NewCGen (void) const
 
TcGenerator & operator= (const TcGenerator &rOtherGen)
 
virtual TcGenerator & Assign (const Type &rSource)
 
void InsControllableEvent (Idx index)
 
Idx InsControllableEvent (const std::string &rName)
 
void InsUncontrollableEvent (Idx index)
 
Idx InsUncontrollableEvent (const std::string &rName)
 
void SetControllable (Idx index)
 
void SetControllable (const std::string &rName)
 
void SetControllable (const EventSet &rEvents)
 
void ClrControllable (Idx index)
 
void ClrControllable (const std::string &rName)
 
void ClrControllable (const EventSet &rEvents)
 
bool Controllable (Idx index) const
 
bool Controllable (const std::string &rName) const
 
EventSet ControllableEvents (void) const
 
EventSet UncontrollableEvents (void) const
 
void InsObservableEvent (Idx index)
 
Idx InsObservableEvent (const std::string &rName)
 
void InsUnobservableEvent (Idx index)
 
Idx InsUnobservableEvent (const std::string &rName)
 
void SetObservable (Idx index)
 
void SetObservable (const std::string &rName)
 
void SetObservable (const EventSet &rEvents)
 
void ClrObservable (Idx index)
 
void ClrObservable (const std::string &rName)
 
void ClrObservable (const EventSet &rEvents)
 
bool Observable (Idx index) const
 
bool Observable (const std::string &rName) const
 
EventSet ObservableEvents (void) const
 
EventSet UnobservableEvents (void) const
 
void InsForcibleEvent (Idx index)
 
Idx InsForcibleEvent (const std::string &rName)
 
void InsUnforcibleEvent (Idx index)
 
Idx InsUnforcibleEvent (const std::string &rName)
 
void SetForcible (Idx index)
 
void SetForcible (const std::string &rName)
 
void SetForcible (const EventSet &rEvents)
 
void ClrForcible (Idx index)
 
void ClrForcible (const std::string &rName)
 
void ClrForcible (const EventSet &rEvents)
 
bool Forcible (Idx index) const
 
bool Forcible (const std::string &rName) const
 
EventSet ForcibleEvents (void) const
 
EventSet UnforcibleEvents (void) const
 
void InsHighlevelEvent (Idx index)
 
Idx InsHighlevelEvent (const std::string &rName)
 
void InsLowlevelEvent (Idx index)
 
Idx InsLowlevelEvent (const std::string &rName)
 
void SetHighlevel (Idx index)
 
void SetHighlevel (const std::string &rName)
 
void SetHighlevel (const EventSet &rEvents)
 
void SetLowlevel (Idx index)
 
void SetLowlevel (const std::string &rName)
 
void SetLowlevel (const EventSet &rEvents)
 
bool Highlevel (Idx index) const
 
bool Highlevel (const std::string &rName) const
 
bool Lowlevel (Idx index) const
 
bool Lowlevel (const std::string &rName) const
 
EventSet HighlevelEvents (void) const
 
EventSet LowlevelEvents (void) const
 
- Public Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
 TaGenerator (void)
 
 TaGenerator (const TaGenerator &rOtherGen)
 
 TaGenerator (const vGenerator &rOtherGen)
 
 TaGenerator (const std::string &rFileName)
 
virtual TaGenerator NewAGen (void) const
 
virtual ~TaGenerator (void)
 
TaGenerator & operator= (const TaGenerator &rOtherGen)
 
virtual void Move (TaGenerator &rGen)
 
virtual void Move (Generator &rGen)
 
bool Valid (void) const
 
virtual void Clear (void)
 
const TaEventSet< EventAttr > & Alphabet (void) const
 
const TaStateSet< StateAttr > & States (void) const
 
const ATransSet & TransRel (void) const
 
void TransRel (TransSetX1EvX2 &res) const
 
void TransRel (TransSetEvX1X2 &res) const
 
void TransRel (TransSetEvX2X1 &res) const
 
void TransRel (TransSetX2EvX1 &res) const
 
void TransRel (TransSetX2X1Ev &res) const
 
void TransRel (TransSetX1X2Ev &res) const
 
bool InsEvent (Idx index)
 
Idx InsEvent (const std::string &rName)
 
bool InsEvent (Idx index, const EventAttr &rAttr)
 
Idx InsEvent (const std::string &rName, const EventAttr &rAttr)
 
void InjectAlphabet (const EventSet &rNewalphabet)
 
void InjectAlphabet (const TaEventSet< EventAttr > &rNewalphabet)
 
Idx InsState (void)
 
Idx InsState (const StateAttr &attr)
 
bool InsState (Idx index)
 
Idx InsState (const std::string &rName)
 
Idx InsState (const std::string &rName, const StateAttr &attr)
 
bool InsState (Idx index, const StateAttr &attr)
 
void InjectStates (const StateSet &rNewStates)
 
void InjectStates (const TaStateSet< StateAttr > &rNewStates)
 
bool SetTransition (Idx x1, Idx ev, Idx x2)
 
bool SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)
 
bool SetTransition (const Transition &rTransition)
 
bool SetTransition (const Transition &rTransition, const TransAttr &rAttr)
 
void InjectTransRel (const TransSet &rNewtransrel)
 
void InjectTransRel (const ATransSet &rNewtransrel)
 
void EventAttribute (Idx index, const EventAttr &rAttr)
 
void EventAttribute (Idx index, const Type &rAttr)
 
const EventAttr & EventAttribute (Idx index) const
 
const EventAttr & EventAttribute (const std::string &rName) const
 
EventAttr * EventAttributep (Idx index)
 
EventAttr * EventAttributep (const std::string &rName)
 
void StateAttribute (Idx index, const StateAttr &rAttr)
 
void StateAttribute (Idx index, const Type &rAttr)
 
const StateAttr & StateAttribute (Idx index) const
 
StateAttr * StateAttributep (Idx index)
 
void TransAttribute (const Transition &rTrans, const TransAttr &rAttr)
 
void TransAttribute (const Transition &rTrans, const Type &rAttr)
 
const TransAttr & TransAttribute (const Transition &rTrans) const
 
TransAttr * TransAttributep (const Transition &rTrans)
 
void GlobalAttribute (const GlobalAttr &rAttr)
 
void GlobalAttribute (const Type &rAttr)
 
const GlobalAttr & GlobalAttribute (void) const
 
GlobalAttr * GlobalAttributep (void)
 
- Public Member Functions inherited from faudes::vGenerator
 vGenerator (void)
 
 vGenerator (const vGenerator &rOtherGen)
 
 vGenerator (const std::string &rFileName)
 
virtual ~vGenerator (void)
 
virtual vGenerator & AssignWithoutAttributes (const vGenerator &rGen)
 
vGenerator & operator= (const vGenerator &rOtherGen)
 
virtual void Version (const std::string &rVersion, vGenerator &rResGen) const
 
virtual void Version (Idx version, vGenerator &rResGen) const
 
virtual void Version (const std::string &rPattern, const std::string &rReplacement, vGenerator &rResGen) const
 
void Name (const std::string &rName)
 
const std::string & Name (void) const
 
void ClearStates (void)
 
Idx AlphabetSize (void) const
 
Idx Size (void) const
 
Idx TransRelSize (void) const
 
Idx InitStatesSize (void) const
 
Idx MarkedStatesSize (void) const
 
bool Empty (void) const
 
bool AlphabetEmpty (void) const
 
bool TransRelEmpty (void) const
 
bool InitStatesEmpty (void) const
 
bool MarkedStatesEmpty (void) const
 
SymbolTable * EventSymbolTablep (void) const
 
virtual void EventSymbolTablep (SymbolTable *pSymTab)
 
virtual void EventSymbolTablep (const vGenerator &rOtherGen)
 
EventSet NewEventSet (void) const
 
EventSet * NewEventSetp (void) const
 
Idx EventIndex (const std::string &rName) const
 
std::string EventName (Idx index) const
 
void EventName (Idx index, const std::string &rName)
 
std::string UniqueEventName (const std::string &rName) const
 
bool EventRename (Idx event, const std::string &rNewName)
 
bool EventRename (const std::string &rOldName, const std::string &rNewName)
 
const SymbolTable & StateSymbolTable (void) const
 
void StateSymbolTable (const SymbolTable &rSymTab)
 
Idx StateIndex (const std::string &rName) const
 
std::string StateName (Idx index) const
 
void StateName (Idx index, const std::string &rName)
 
void ClearStateNames (void)
 
void ClrStateName (Idx index)
 
void ClrStateName (const std::string &rName)
 
bool StateNamesEnabled (void) const
 
void StateNamesEnabled (bool flag)
 
void SetDefaultStateNames (void)
 
void EnforceStateNames (const std::string &rTemplate)
 
std::string UniqueStateName (const std::string &rName) const
 
EventSet::Iterator AlphabetBegin (void) const
 
EventSet::Iterator AlphabetEnd (void) const
 
bool ExistsEvent (Idx index) const
 
bool ExistsEvent (const std::string &rName) const
 
EventSet::Iterator FindEvent (Idx index) const
 
EventSet::Iterator FindEvent (const std::string &rName) const
 
const EventSet & Alphabet (void) const
 
StateSet::Iterator StatesBegin (void) const
 
StateSet::Iterator StatesEnd (void) const
 
bool ExistsState (Idx index) const
 
bool ExistsState (const std::string &name) const
 
StateSet::Iterator FindState (Idx index) const
 
StateSet::Iterator FindState (const std::string &rName) const
 
const StateSet & States (void) const
 
Idx InitState (void) const
 
StateSet::Iterator InitStatesBegin (void) const
 
StateSet::Iterator InitStatesEnd (void) const
 
bool ExistsInitState (Idx index) const
 
StateSet::Iterator FindInitState (Idx index) const
 
const StateSet & InitStates (void) const
 
StateSet::Iterator MarkedStatesBegin (void) const
 
StateSet::Iterator MarkedStatesEnd (void) const
 
bool ExistsMarkedState (Idx index) const
 
StateSet::Iterator FindMarkedState (Idx index) const
 
const StateSet & MarkedStates (void) const
 
TransSet::Iterator TransRelBegin (void) const
 
TransSet::Iterator TransRelEnd (void) const
 
TransSet::Iterator TransRelBegin (Idx x1) const
 
TransSet::Iterator TransRelEnd (Idx x1) const
 
TransSet::Iterator TransRelBegin (Idx x1, Idx ev) const
 
TransSet::Iterator TransRelEnd (Idx x1, Idx ev) const
 
TransSet::Iterator FindTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const
 
TransSet::Iterator FindTransition (Idx x1, Idx ev, Idx x2) const
 
TransSet::Iterator FindTransition (const Transition &rTrans) const
 
bool ExistsTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2) const
 
bool ExistsTransition (Idx x1, Idx ev, Idx x2) const
 
bool ExistsTransition (const Transition &rTrans) const
 
bool ExistsTransition (Idx x1, Idx ev) const
 
bool ExistsTransition (Idx x1) const
 
const TransSet & TransRel (void) const
 
void TransRel (TransSetX1EvX2 &res) const
 
void TransRel (TransSetEvX1X2 &res) const
 
void TransRel (TransSetEvX2X1 &res) const
 
void TransRel (TransSetX2EvX1 &res) const
 
void TransRel (TransSetX2X1Ev &res) const
 
void TransRel (TransSetX1X2Ev &res) const
 
Transition TransitionByNames (const std::string &rX1, const std::string &rEv, const std::string &rX2) const
 
bool InsEvent (Idx index)
 
Idx InsEvent (const std::string &rName)
 
void InsEvents (const EventSet &events)
 
bool DelEvent (Idx index)
 
bool DelEvent (const std::string &rName)
 
void DelEvents (const EventSet &rEvents)
 
bool DelEventFromAlphabet (Idx index)
 
void InjectAlphabet (const EventSet &rNewalphabet)
 
void RestrictAlphabet (const EventSet &rNewalphabet)
 
Idx InsState (void)
 
bool InsState (Idx index)
 
Idx InsState (const std::string &rName)
 
void InsStates (const StateSet &rStates)
 
bool DelState (Idx index)
 
bool DelState (const std::string &rName)
 
void DelStates (const StateSet &rDelStates)
 
bool DelStateFromStates (Idx index)
 
StateSet::Iterator DelStateFromStates (StateSet::Iterator pos)
 
void RestrictStates (const StateSet &rStates)
 
void InjectState (Idx index)
 
void InjectStates (const StateSet &rNewStates)
 
Idx InsInitState (void)
 
bool InsInitState (Idx index)
 
Idx InsInitState (const std::string &rName)
 
void InsInitStates (const StateSet &rStates)
 
Idx InsMarkedState (void)
 
bool InsMarkedState (Idx index)
 
Idx InsMarkedState (const std::string &rName)
 
void InsMarkedStates (const StateSet &rStates)
 
void SetInitState (Idx index)
 
void SetInitState (const std::string &rName)
 
void InjectInitStates (const StateSet &rNewInitStates)
 
void ClrInitState (Idx index)
 
void ClrInitState (const std::string &rName)
 
StateSet::Iterator ClrInitState (StateSet::Iterator pos)
 
void ClearInitStates (void)
 
void SetMarkedState (Idx index)
 
void SetMarkedState (const std::string &rName)
 
void ClrMarkedState (Idx index)
 
void ClrMarkedState (const std::string &rName)
 
StateSet::Iterator ClrMarkedState (StateSet::Iterator pos)
 
void ClearMarkedStates (void)
 
void InjectMarkedStates (const StateSet &rNewMarkedStates)
 
bool SetTransition (Idx x1, Idx ev, Idx x2)
 
bool SetTransition (const std::string &rX1, const std::string &rEv, const std::string &rX2)
 
bool SetTransition (const Transition &rTransition)
 
void ClrTransition (Idx x1, Idx ev, Idx x2)
 
void ClrTransition (const Transition &rTrans)
 
TransSet::Iterator ClrTransition (TransSet::Iterator it)
 
void ClrTransitions (Idx x1, Idx ev)
 
void ClrTransitions (Idx x1)
 
void ClearTransRel (void)
 
void InjectTransition (const Transition &rTrans)
 
void InjectTransRel (const TransSet &rNewtransrel)
 
virtual void ClearAttributes (void)
 
virtual bool UpdateAttributes (void)
 
virtual void ClearEventAttributes (void)
 
virtual void ClrEventAttribute (Idx index)
 
virtual void EventAttributes (const EventSet &rEventSet)
 
virtual void ClearStateAttributes (void)
 
virtual void ClrStateAttribute (Idx index)
 
virtual void ClearTransAttributes (void)
 
virtual void ClrTransAttribute (const Transition &rTrans)
 
virtual void ClearGlobalAttribute (void)
 
virtual void GlobalAttributeTry (const Type &rAttr)
 
StateSet AccessibleSet (void) const
 
bool Accessible (void)
 
bool IsAccessible (void) const
 
StateSet CoaccessibleSet (void) const
 
bool Coaccessible (void)
 
bool IsCoaccessible (void) const
 
StateSet BlockingStates (void) const
 
StateSet TerminalStates (void) const
 
StateSet TerminalStates (const StateSet &rStates) const
 
bool IsComplete (void) const
 
bool IsComplete (const StateSet &rStates) const
 
bool IsComplete (const EventSet &rSigmaO) const
 
bool Complete (void)
 
bool Complete (const EventSet &rSigmaO)
 
StateSet TrimSet (void) const
 
bool Trim (void)
 
bool IsTrim (void) const
 
bool OmegaTrim (void)
 
bool IsOmegaTrim (void) const
 
EventSet UsedEvents (void) const
 
EventSet UnusedEvents (void) const
 
void MinimizeAlphabet (void)
 
EventSet ActiveEventSet (Idx x1) const
 
TransSet ActiveTransSet (Idx x1) const
 
StateSet TransRelStates (void) const
 
Idx SuccessorState (Idx x1, Idx ev) const
 
StateSet SuccessorStates (Idx x1) const
 
StateSet SuccessorStates (Idx x1, Idx ev) const
 
bool IsDeterministic (void) const
 
void SetMinStateIndexMap (void) const
 
void ClearMinStateIndexMap (void) const
 
Idx MinStateIndex (Idx index) const
 
void MinStateIndex (void)
 
Idx MaxStateIndex (void) const
 
const std::map< Idx, Idx > & MinStateIndexMap (void) const
 
std::string EStr (Idx index) const
 
std::string SStr (Idx index) const
 
std::string TStr (const Transition &rTrans) const
 
void GraphWrite (const std::string &rFileName, const std::string &rOutFormat="", const std::string &rDotExec="dot") const
 
bool operator< (const vGenerator &rOtherGen) const
 
void WriteAlphabet (void) const
 
std::string AlphabetToString (void) const
 
void WriteAlphabet (TokenWriter &rTw) const
 
void WriteStateSet (const StateSet &rStateSet) const
 
std::string StateSetToString (const StateSet &rStateSet) const
 
std::string StateSetToText (const StateSet &rStateSet) const
 
void WriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const
 
void DWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet) const
 
std::string StatesToString (void) const
 
std::string StatesToText (void) const
 
std::string MarkedStatesToString (void) const
 
std::string InitStatesToString (void) const
 
void WriteTransRel (void) const
 
std::string TransRelToString (void) const
 
std::string TransRelToText (void) const
 
void WriteTransRel (TokenWriter &rTw) const
 
void DWriteTransRel (TokenWriter &rTw) const
 
virtual void DotWrite (const std::string &rFileName) const
 
virtual void DDotWrite (const std::string &rFileName) const
 
virtual void XDotWrite (const std::string &rFileName) const
 
void ReadStateSet (TokenReader &rTr, const std::string &rLabel, StateSet &rStateSet) const
 
bool ReindexOnWrite (void) const
 
void ReindexOnWrite (bool flag)
 
- Public Member Functions inherited from faudes::Type
 Type (void)
 
 Type (const Type &rType)
 
virtual ~Type (void)
 
Type & operator= (const Type &rSrc)
 
virtual bool Equal (const Type &rOther) const
 
bool operator== (const Type &rOther) const
 
bool operator!= (const Type &rOther) const
 
virtual const std::string & TypeName (void) 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)
 

Additional Inherited Members

- Public Types inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
typedef TaTransSet< TransAttr > ATransSet
 
- Static Public Member Functions inherited from faudes::vGenerator
static SymbolTable * GlobalEventSymbolTablep (void)
 
static void StateNamesEnabledDefault (bool flag)
 
static void ReindexOnWriteDefault (bool flag)
 
static bool ReindexOnWriteDefault (void)
 
- Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
virtual void NewCore (void)
 
virtual void UpdateCore (void)
 
void DoAssign (const TaGenerator &rGen)
 
- Protected Member Functions inherited from faudes::vGenerator
virtual void DeleteCore (void)
 
void ConfigureAttributeTypes (const AttributeVoid *pNewGlobalPrototype, const StateSet *pNewStatesPrototype, const EventSet *pNewAlphabetPrototype, const TransSet *pNewTransRelPrototype)
 
void DoAssign (const vGenerator &rSrc)
 
virtual void DoRead (TokenReader &rTr, const std::string &rLabel="", const Type *pContext=0)
 
virtual void DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
virtual void DoDWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
virtual void DoSWrite (TokenWriter &rTw) const
 
virtual void DoXWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const
 
void ReadAlphabet (TokenReader &rTr)
 
void WriteStates (TokenWriter &rTw) const
 
void ReadStates (TokenReader &rTr)
 
void XReadStateSet (TokenReader &rTr, StateSet &rStateSet, const std::string &rLabel="") const
 
void ReadTransRel (const std::string &rFileName)
 
void ReadTransRel (TokenReader &rTr)
 
void XReadTransRel (TokenReader &rTr)
 
void XWriteStateSet (TokenWriter &rTw, const StateSet &rStateSet, const std::string &rLabel="") const
 
void XWriteTransRel (TokenWriter &rTw) const
 
- Protected Member Functions inherited from faudes::Type
void DoAssign (const Type &rSrc)
 
bool DoEqual (const Type &rOther) const
 
virtual const TypeDefinition * TypeDefinitionp (void) const
 
virtual Token XBeginTag (const std::string &rLabel="", const std::string &rFallbackLabel="") const
 
- Static Protected Member Functions inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
static const TaNameSet< EventAttr > & AlphabetTaGen (void)
 
static const TaIndexSet< StateAttr > & StatesTaGen (void)
 
static const ATransSet & TransRelTaGen (void)
 
static const GlobalAttr & GlobalTaGen (void)
 
- Static Protected Member Functions inherited from faudes::vGenerator
static const EventSet & AlphabetVoid (void)
 
static const StateSet & StatesVoid (void)
 
static const TransSet & TransRelVoid (void)
 
static const AttributeVoid & GlobalVoid (void)
 
- Protected Attributes inherited from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >
TaNameSet< EventAttr > * pAlphabet
 
TaIndexSet< StateAttr > * pStates
 
ATransSet * pTransRel
 
GlobalAttr * pGlobalAttribute
 
- Protected Attributes inherited from faudes::vGenerator
std::string mMyName
 
Idx mId
 
SymbolTable mStateSymbolTable
 
SymbolTable * mpStateSymbolTable
 
SymbolTable * mpEventSymbolTable
 
bool mStateNamesEnabled
 
bool mReindexOnWrite
 
EventSet * mpAlphabet
 
StateSet * mpStates
 
TransSet * mpTransRel
 
AttributeVoid * mpGlobalAttribute
 
const EventSet * pAlphabetPrototype
 
const StateSet * pStatesPrototype
 
const TransSet * pTransRelPrototype
 
const AttributeVoid * pGlobalPrototype
 
StateSet mInitStates
 
StateSet mMarkedStates
 
std::map< Idx, Idx > mMinStateIndexMap
 
- Static Protected Attributes inherited from faudes::vGenerator
static Idx msObjectCount = 0
 
static bool msStateNamesEnabledDefault = true
 
static bool msReindexOnWriteDefault = false
 

Detailed Description

template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr>
class faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >

Generator with controllability attributes.

Overview

The TcGenerator is a variant of the TaGenerator to add an interface for events with controllabilty attributes, ie an event may be controllable, observable or forcible.

Technically, the construct is based on the specialized attribute class faudes::AttributeCFlags that provides attributes with semantics for controllability properties. The TcGenerator expects an event attribute template parameter with the minimum interface defined in AttribueCFlags. Thus, you can add further semantics by deriving a class AttributeCFlagsAndMore from AttribueeCFlags and use this as event attribute parameter for TcGenerator. To model a plain finite state machine plus controllability properties, use TcGenerator with AttributeCFlags for the event attribute parameter and AttributeVoid for the other parameters. For convenience, this has been typedef-ed as System.

Definition at line 278 of file cfl_cgenerator.h.

Constructor & Destructor Documentation

◆ TcGenerator() [1/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( void  )

Creates an emtpy System object

Definition at line 956 of file cfl_cgenerator.h.

◆ TcGenerator() [2/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( const vGenerator &  rOtherGen)

System from a std Generator. Copy constructor

Parameters
rOtherGen

Definition at line 966 of file cfl_cgenerator.h.

◆ TcGenerator() [3/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( const TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &  rOtherGen)

System from a System. Copy constructor

Parameters
rOtherGen

Definition at line 961 of file cfl_cgenerator.h.

◆ TcGenerator() [4/4]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TcGenerator ( const std::string &  rFileName)

construct a System from file

Parameters
rFileNameFilename
Exceptions
ExceptionIf opening/reading fails an Exception object is thrown (id 1, 50, 51)

Definition at line 971 of file cfl_cgenerator.h.

Member Function Documentation

◆ Assign()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign ( const Type &  rSource)
virtual

Assignment method

Note: you must reimplement this method in derived classes in order to handle internal pointers correctly

Parameters
rSourceOther generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Reimplemented in faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 982 of file cfl_cgenerator.h.

◆ Cast()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
virtual const Type* faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Cast ( const Type *  pOther) const
inlinevirtual

Type test. Uses C++ dynamic cast to test whether the specified object casts to a System.

Parameters
pOtherpoinetr to object to test
Returns
TcGenerator reference if dynamic cast succeeds, else NULL

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 339 of file cfl_cgenerator.h.

◆ ClrControllable() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable ( const EventSet &  rEvents)

Mark set of events uncontrollable (by index)

Parameters
rEventsEventSet

Definition at line 1123 of file cfl_cgenerator.h.

◆ ClrControllable() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable ( const std::string &  rName)

Mark event uncontrollable (by name)

Parameters
rNameEvent name

Definition at line 1116 of file cfl_cgenerator.h.

◆ ClrControllable() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrControllable ( Idx  index)

Mark event uncontrollable (by index)

Parameters
indexEvent index

Definition at line 1108 of file cfl_cgenerator.h.

◆ ClrForcible() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible ( const EventSet &  rEvents)

Mark set of events unforcible

Parameters
rEventsEventSet

Definition at line 1354 of file cfl_cgenerator.h.

◆ ClrForcible() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible ( const std::string &  rName)

Mark event unforcible (by name)

Parameters
rNameEvent name

Definition at line 1347 of file cfl_cgenerator.h.

◆ ClrForcible() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrForcible ( Idx  index)

Mark event unforcible (by index)

Parameters
indexEvent index

Definition at line 1339 of file cfl_cgenerator.h.

◆ ClrObservable() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable ( const EventSet &  rEvents)

Mark set of events unobservable

Parameters
rEventsEventSet

Definition at line 1238 of file cfl_cgenerator.h.

◆ ClrObservable() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable ( const std::string &  rName)

Mark event unobservable (by name)

Parameters
rNameEvent name

Definition at line 1231 of file cfl_cgenerator.h.

◆ ClrObservable() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrObservable ( Idx  index)

Mark event unobservable (by index)

Parameters
indexEvent index

Definition at line 1223 of file cfl_cgenerator.h.

◆ Controllable() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable ( const std::string &  rName) const

Is event controllable (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1046 of file cfl_cgenerator.h.

◆ Controllable() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Controllable ( Idx  index) const

Is event controllable (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1040 of file cfl_cgenerator.h.

◆ ControllableEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ControllableEvents ( void  ) const

Get EventSet with controllable events

Returns
EventSet of controllable events

Definition at line 1132 of file cfl_cgenerator.h.

◆ Copy()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy ( void  ) const
virtual

Construct copy on heap

Returns
new Generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 1017 of file cfl_cgenerator.h.

◆ Forcible() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible ( const std::string &  rName) const

Is event forcible (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1277 of file cfl_cgenerator.h.

◆ Forcible() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Forcible ( Idx  index) const

Is event forcible (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1271 of file cfl_cgenerator.h.

◆ ForcibleEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ForcibleEvents ( void  ) const

Get EventSet with forcible events

Returns
EventSet of controllable events

Definition at line 1363 of file cfl_cgenerator.h.

◆ Highlevel() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel ( const std::string &  rName) const

Test for high-level event (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1393 of file cfl_cgenerator.h.

◆ Highlevel() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Highlevel ( Idx  index) const

Test for high-level event (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1387 of file cfl_cgenerator.h.

◆ HighlevelEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::HighlevelEvents ( void  ) const

Get EventSet of all high-level events

Returns
EventSet of high-level events

Definition at line 1491 of file cfl_cgenerator.h.

◆ InsControllableEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent ( const std::string &  rName)

Add new named controllable event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1060 of file cfl_cgenerator.h.

◆ InsControllableEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsControllableEvent ( Idx  index)

Add an existing controllable event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1052 of file cfl_cgenerator.h.

◆ InsForcibleEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent ( const std::string &  rName)

Add new named forcible event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1291 of file cfl_cgenerator.h.

◆ InsForcibleEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsForcibleEvent ( Idx  index)

Add an existing forcible event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1283 of file cfl_cgenerator.h.

◆ InsHighlevelEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent ( const std::string &  rName)

Add new named abstraction event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1419 of file cfl_cgenerator.h.

◆ InsHighlevelEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsHighlevelEvent ( Idx  index)

Add an existing abstraction event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1411 of file cfl_cgenerator.h.

◆ InsLowlevelEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent ( const std::string &  rName)

Add new named low-level event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1435 of file cfl_cgenerator.h.

◆ InsLowlevelEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsLowlevelEvent ( Idx  index)

Add an existing low-level event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1427 of file cfl_cgenerator.h.

◆ InsObservableEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent ( const std::string &  rName)

Add new named observable event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1175 of file cfl_cgenerator.h.

◆ InsObservableEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsObservableEvent ( Idx  index)

Add an existing observable event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1167 of file cfl_cgenerator.h.

◆ InsUncontrollableEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent ( const std::string &  rName)

Add new named uncontrollable event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1076 of file cfl_cgenerator.h.

◆ InsUncontrollableEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUncontrollableEvent ( Idx  index)

Add an existing uncontrollable event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1068 of file cfl_cgenerator.h.

◆ InsUnforcibleEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent ( const std::string &  rName)

Add new named unforcible event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1307 of file cfl_cgenerator.h.

◆ InsUnforcibleEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnforcibleEvent ( Idx  index)

Add an existing unforcible event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1299 of file cfl_cgenerator.h.

◆ InsUnobservableEvent() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
Idx faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent ( const std::string &  rName)

Add new named unobservable event to generator. An entry in the global eventtable will be made if event is new.

Parameters
rNameName of the event to add
Returns
New global unique index

Definition at line 1191 of file cfl_cgenerator.h.

◆ InsUnobservableEvent() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsUnobservableEvent ( Idx  index)

Add an existing unobservable event to generator. An entry in the global eventtable will be made.

Parameters
indexEvent index

Definition at line 1183 of file cfl_cgenerator.h.

◆ Lowlevel() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel ( const std::string &  rName) const

Test for low-level event (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1405 of file cfl_cgenerator.h.

◆ Lowlevel() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Lowlevel ( Idx  index) const

Test for low-level event (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1399 of file cfl_cgenerator.h.

◆ LowlevelEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::LowlevelEvents ( void  ) const

Get EventSet of all low-level events

Returns
EventSet of low-level events

Definition at line 1503 of file cfl_cgenerator.h.

◆ New()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New ( void  ) const
virtual

Construct on heap

Returns
new Generator

Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Reimplemented in faudes::TtGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TpGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >, and faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.

Definition at line 1006 of file cfl_cgenerator.h.

◆ NewCGen()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewCGen ( void  ) const

Construct on stack

Returns
new Generator

Definition at line 1025 of file cfl_cgenerator.h.

◆ Observable() [1/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable ( const std::string &  rName) const

Is event observable (by name)

Parameters
rNameEvent name
Returns
True / false

Definition at line 1161 of file cfl_cgenerator.h.

◆ Observable() [2/2]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
bool faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Observable ( Idx  index) const

Is event observable (by index)

Parameters
indexEvent index
Returns
True / false

Definition at line 1155 of file cfl_cgenerator.h.

◆ ObservableEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ObservableEvents ( void  ) const

Get EventSet with observable events

Returns
EventSet of controllable events

Definition at line 1247 of file cfl_cgenerator.h.

◆ operator=()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= ( const TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > &  rOtherGen)

Assignment operator (uses Assign)

Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly

Parameters
rOtherGenOther generator

Definition at line 976 of file cfl_cgenerator.h.

◆ SetControllable() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable ( const EventSet &  rEvents)

Mark set of events controllable (by index)

Parameters
rEventsEventSet

Definition at line 1099 of file cfl_cgenerator.h.

◆ SetControllable() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable ( const std::string &  rName)

Mark event controllable (by name)

Parameters
rNameEvent name

Definition at line 1092 of file cfl_cgenerator.h.

◆ SetControllable() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetControllable ( Idx  index)

Mark event controllable (by index)

Parameters
indexEvent index

Definition at line 1084 of file cfl_cgenerator.h.

◆ SetForcible() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible ( const EventSet &  rEvents)

Mark set of events forcible

Parameters
rEventsEventSet

Definition at line 1330 of file cfl_cgenerator.h.

◆ SetForcible() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible ( const std::string &  rName)

Mark event forcible (by name)

Parameters
rNameEvent name

Definition at line 1323 of file cfl_cgenerator.h.

◆ SetForcible() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetForcible ( Idx  index)

Mark event forcible (by index)

Parameters
indexEvent index

Definition at line 1315 of file cfl_cgenerator.h.

◆ SetHighlevel() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel ( const EventSet &  rEvents)

Mark set of events as high-level events

Parameters
rEventsEventSet

Definition at line 1458 of file cfl_cgenerator.h.

◆ SetHighlevel() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel ( const std::string &  rName)

Mark event as highlevel event (by name)

Parameters
rNameEvent name

Definition at line 1451 of file cfl_cgenerator.h.

◆ SetHighlevel() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetHighlevel ( Idx  index)

Mark event as highlevel event (by index)

Parameters
indexEvent index

Definition at line 1443 of file cfl_cgenerator.h.

◆ SetLowlevel() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel ( const EventSet &  rEvents)

Mark set of events as low-level events.

Parameters
rEventsEventSet

Definition at line 1482 of file cfl_cgenerator.h.

◆ SetLowlevel() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel ( const std::string &  rName)

Mark event as low-level event (by name)

Parameters
rNameEvent name

Definition at line 1475 of file cfl_cgenerator.h.

◆ SetLowlevel() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetLowlevel ( Idx  index)

Mark event as low-level event (by index)

Parameters
indexEvent index

Definition at line 1467 of file cfl_cgenerator.h.

◆ SetObservable() [1/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable ( const EventSet &  rEvents)

Mark set of events observable

Parameters
rEventsEventSet

Definition at line 1214 of file cfl_cgenerator.h.

◆ SetObservable() [2/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable ( const std::string &  rName)

Mark event observable (by name)

Parameters
rNameEvent name

Definition at line 1207 of file cfl_cgenerator.h.

◆ SetObservable() [3/3]

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
void faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetObservable ( Idx  index)

Mark event observable (by index)

Parameters
indexEvent index

Definition at line 1199 of file cfl_cgenerator.h.

◆ UncontrollableEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncontrollableEvents ( void  ) const

Get EventSet with uncontrollable events

Returns
EventSet of uncontrollable events

Definition at line 1144 of file cfl_cgenerator.h.

◆ UnforcibleEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnforcibleEvents ( void  ) const

Get EventSet with unforcible events

Returns
EventSet of uncontrollable events

Definition at line 1375 of file cfl_cgenerator.h.

◆ UnobservableEvents()

template<class GlobalAttr , class StateAttr , class EventAttr , class TransAttr >
EventSet faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UnobservableEvents ( void  ) const

Get EventSet with unobservable events

Returns
EventSet of uncontrollable events

Definition at line 1259 of file cfl_cgenerator.h.

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

libFAUDES 2.33c --- 2025.05.15 --- c++ api documentaion by doxygen

>>