|
libFAUDES
Sections
Index
|
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference
|
Public Member Functions | |
Constructor, Destructor and Copy-Methods | |
TmtcGenerator (void) | |
Creates an emtpy mtcGenerator. | |
TmtcGenerator (const TmtcGenerator &rOtherGen) | |
Creates an mtcgenerator from another mtcgenerator - copy constructor: | |
TmtcGenerator (const vGenerator &rOtherGen) | |
Creates an mtcgenerator from another generator - copy constructor. | |
TmtcGenerator (const std::string &rFileName) | |
Constructs an mtcGenerator from file. | |
~TmtcGenerator (void) | |
Destructor for mtcGenerator. | |
virtual TmtcGenerator * | New (void) const |
Construct on heap. | |
virtual TmtcGenerator * | Copy (void) const |
Construct copy on heap. | |
virtual TmtcGenerator & | Assign (const TmtcGenerator &rSrc) |
Copy from other mtcgenerator. | |
virtual TmtcGenerator & | Assign (const vGenerator &rSrc) |
Copy from other generator. | |
Color Symbol Table | |
SymbolTable * | GlobalColorSymbolTablep (void) const |
Get Pointer to global ColorSymbolTable. | |
SymbolTable * | ColorSymbolTablep (void) const |
Get Pointer to ColorSymbolTable currently used by this mtcGenerator. | |
void | ColorSymbolTable (SymbolTable *pSymTab) |
Set ColorSymbolTable to be used by this mtcGenerator. | |
void | ColorSymbolTable (const TmtcGenerator &rOtherGen) |
Set ColorSymbolTable as given by rOtherGen. | |
Editing Colored States | |
Idx | InsColoredState (const std::string &rStateName, const std::string &rColorName) |
Create a new named state and set the color rColorName. | |
Idx | InsColoredState (const std::string &rStateName, Idx colorIndex) |
Create a new named state and set the color colorIndex. | |
Idx | InsColoredState (const std::string &rStateName, const ColorSet &rColors) |
Create a new named state and set the colors from rColors. | |
Idx | InsColoredState (const ColorSet &rColors) |
Create a new unnamed state and set the colors from rColors. | |
Idx | InsColor (Idx stateIndex, const std::string &rColorName) |
Insert a color by name into an existing state. | |
void | InsColor (Idx stateIndex, Idx colorIndex) |
Insert a color by index into an existing state. | |
void | InsColors (Idx stateIndex, const ColorSet &rColors) |
Insert multiple colors from a color set into an existing state. | |
void | DelColor (Idx stateIndex, const std::string &rColorName) |
Remove color by name from an existing state specified by index. | |
void | DelColor (Idx stateIndex, Idx colorIndex) |
Remove color by index form an existing state specified by index. | |
void | DelColor (const std::string &rColorName) |
Remove color by name from all states. | |
void | DelColor (Idx colorIndex) |
Remove color by index from all states. | |
void | ClrColors (Idx stateIndex) |
Remove all colors from a particular state. | |
void | ClearStateAttributes () |
Clear all the generator's state attributes. | |
Analyse Colored States and State Colors | |
void | Colors (ColorSet &rColors) const |
Insert all colors used in the generator to a given ColorSet. | |
ColorSet | Colors (void) const |
Returns a color set containing all the generator's colors. | |
const ColorSet & | Colors (Idx stateIndex) const |
Return a color set which contains all colors of one state. | |
StateSet | ColoredStates (Idx colorIndex) const |
Returns a state set containing all states that are colored with the color given by index. | |
StateSet | ColoredStates (const std::string &rColorName) const |
Returns a state set containing all states that are colored with the color given by name. | |
StateSet | ColoredStates () const |
Returns a state set containing all colored states of the mtcGenerator. | |
StateSet | UncoloredStates () const |
Returns a state set containing all states that are not colored. | |
bool | ExistsColor (Idx colorIndex) const |
Check if color exists in generator. | |
bool | ExistsColor (const std::string &rColorName) const |
Check if color exists in generator. | |
bool | ExistsColor (Idx stateIndex, Idx colorIndex) const |
Check if color exists in a given state of the mtcGenerator. | |
bool | IsColored (void) const |
Check if there is at least one colored state in the mtcGenerator. | |
bool | IsColored (Idx stateIndex) const |
Check if the given state is colored or not. | |
Symbol Table | |
void | DelColorName (Idx colorIndex) |
Finally deletes a color name and its index from the currently used symbol table. | |
void | CheckSymbolTable (Idx colorIndex) |
Delete the given color from the symbol table if it is not used anymore in the generator by calling DelColorName. | |
void | CheckSymbolTable (ColorSet &rColors) |
Delete all colors from the given color set from the color symbol table by calling DelColorName if they are not used anymore. | |
std::string | ColorName (Idx colorIndex) const |
Look up the color name for a given color index. | |
Idx | ColorIndex (const std::string &rColorName) const |
Look up the color index for a given color name. | |
Output Methods | |
virtual void | DotWrite (const std::string &rFileName) const |
Writes generator to dot input format. | |
std::string | CStr (Idx index) const |
Return pretty printable color name for index. | |
Reachability | |
StateSet | StronglyCoaccessibleSet (void) const |
Generate a state set with all strongly coaccessible states. | |
bool | StronglyCoaccessible (void) |
Make generator strongly coaccessible. | |
bool | IsStronglyCoaccessible (void) const |
Check if mtcGenerator is strongly coaccessible. | |
StateSet | StronglyTrimSet (void) const |
Generate a state set with all the strongly trim generator's states. | |
bool | StronglyTrim (void) |
Make generator strongly trim. | |
bool | IsStronglyTrim (void) const |
Check if the mtcGenerator is strongly trim. | |
Further Methods | |
void | NewColorSymbolTable () |
Insert a new local color symbol table. | |
std::map< Idx, ColorSet > | StateColorMap (void) const |
Return a color map with state indices and their corresponding colors. | |
Protected Member Functions | |
virtual void | DoSWrite (TokenWriter &rTw) const |
Token output, see Type::SWrite for public wrappers. | |
Protected Attributes | |
SymbolTable * | mpColorSymbolTable |
Pointer to currently used symbol table. |
Allows to create colored marking generators (CMGs) as the common five tupel consisting of alphabet, stateset, transition relation, initial states, marked states, and attributes for state and event properties.
Thus, it is possible to set a control status for events and to add or delete colored markings to single states. Doing so, multitasking generators can be computed and their behaviour be analysed.Methods for examining the color status are included as well as those for making a CMG accessible or strongly coaccessible. Furthermore, input and output methods for mtcGenerators are included.
Definition at line 53 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | void | ) | [inline] |
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
Creates an mtcgenerator from another mtcgenerator - copy constructor:
If the other mtcGenerator uses a local color symbol table, the new generator also creates a local symbol table. This new one is empty! If you use a local symbol table, you should implement a copy mechanism for the entries of the original generator's symbol table.
rOtherGen | Other mtcgenerator to copy |
Definition at line 793 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | const vGenerator & | rOtherGen | ) | [inline] |
Creates an mtcgenerator from another generator - copy constructor.
rOtherGen | Other generator to copy |
Definition at line 802 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TmtcGenerator | ( | const std::string & | rFileName | ) | [inline] |
Constructs an mtcGenerator from file.
Define FAUDES_CHECKED for consistency checks
rFileName | Filename |
Exception |
|
Definition at line 809 of file mtc_generator.h.
faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::~TmtcGenerator | ( | void | ) | [inline] |
Destructor for mtcGenerator.
Definition at line 103 of file mtc_generator.h.
TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const vGenerator & | rSrc | ) | [inline, virtual] |
Copy from other generator.
rSrc | Generator which will become the copy |
Reimplemented from faudes::TaGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 866 of file mtc_generator.h.
TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Assign | ( | const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rSrc | ) | [inline, virtual] |
Copy from other mtcgenerator.
rSrc | mtcGenerator to copy from |
Definition at line 840 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CheckSymbolTable | ( | ColorSet & | rColors | ) | [inline] |
Delete all colors from the given color set from the color symbol table by calling DelColorName if they are not used anymore.
rColors must use the same symbol table as the mtcGenerator!
rColors | Color set with all colors that will be deleted from symbol table if not used anymore |
Exception |
|
Definition at line 1215 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CheckSymbolTable | ( | Idx | colorIndex | ) | [inline] |
Delete the given color from the symbol table if it is not used anymore in the generator by calling DelColorName.
colorIndex | Color which will be deleted from symbol table if not used anymore |
Definition at line 1205 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClearStateAttributes | ( | void | ) | [inline, virtual] |
Clear all the generator's state attributes.
The current implementation also clears the color symbol table if it is local. This behaviour may change in future.
Reimplemented from faudes::vGenerator.
Definition at line 1598 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ClrColors | ( | Idx | stateIndex | ) | [inline] |
Remove all colors from a particular state.
If symbol table is local, unused colors are deleted from it, global symbol table stays untouched.
Define FAUDES_CHECKED for consistency checks
stateIndex | State where colors should be removed |
Exception |
|
Definition at line 1133 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates | ( | ) | const [inline] |
Returns a state set containing all colored states of the mtcGenerator.
Definition at line 1447 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates | ( | const std::string & | rColorName | ) | const [inline] |
Returns a state set containing all states that are colored with the color given by name.
rColorName | Color whose corresponding states shall be returned |
Definition at line 1441 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColoredStates | ( | Idx | colorIndex | ) | const [inline] |
Returns a state set containing all states that are colored with the color given by index.
colorIndex | Color whose corresponding states shall be returned |
Definition at line 1431 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorIndex | ( | const std::string & | rColorName | ) | const [inline] |
Look up the color index for a given color name.
rColorName |
Definition at line 1263 of file mtc_generator.h.
std::string faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorName | ( | Idx | colorIndex | ) | const [inline] |
Look up the color name for a given color index.
colorIndex |
Definition at line 1258 of file mtc_generator.h.
const ColorSet & faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors | ( | Idx | stateIndex | ) | const [inline] |
Return a color set which contains all colors of one state.
Exception |
|
Definition at line 1187 of file mtc_generator.h.
ColorSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors | ( | void | ) | const [inline] |
Returns a color set containing all the generator's colors.
Definition at line 1176 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Colors | ( | ColorSet & | rColors | ) | const [inline] |
Insert all colors used in the generator to a given ColorSet.
doxygen group
rColors | Color set in which all colors of the generator will be inserted |
Exception |
|
Definition at line 1160 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTable | ( | const TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
Set ColorSymbolTable as given by rOtherGen.
rOtherGen | Other generator |
Definition at line 890 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTable | ( | SymbolTable * | pSymTab | ) | [inline] |
Set ColorSymbolTable to be used by this mtcGenerator.
Note: the managemnt of local color symbol tables needs a re-design. Dont use thus feature.
pSymTab | Pointer to SymbolTable |
Definition at line 885 of file mtc_generator.h.
SymbolTable * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ColorSymbolTablep | ( | void | ) | const [inline] |
Get Pointer to ColorSymbolTable currently used by this mtcGenerator.
Definition at line 880 of file mtc_generator.h.
TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 829 of file mtc_generator.h.
std::string faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::CStr | ( | Idx | index | ) | const [inline] |
Return pretty printable color name for index.
Primary meant for debugging messages.
index |
Definition at line 1268 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | Idx | colorIndex | ) | [inline] |
Remove color by index from all states.
colorIndex | Index of state color |
Definition at line 1122 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | const std::string & | rColorName | ) | [inline] |
Remove color by name from all states.
rColorName | Name of state color |
Definition at line 1108 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | Idx | stateIndex, | |
Idx | colorIndex | |||
) | [inline] |
Remove color by index form an existing state specified by index.
Define FAUDES_CHECKED for consistency checks.
stateIndex | State index | |
colorIndex | Index of the state color |
Exception |
|
Definition at line 1083 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColor | ( | Idx | stateIndex, | |
const std::string & | rColorName | |||
) | [inline] |
Remove color by name from an existing state specified by index.
Define FAUDES_CHECKED for consistency checks.
stateIndex | State index | |
rColorName | Name of the state color |
Definition at line 1053 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DelColorName | ( | Idx | colorIndex | ) | [inline] |
Finally deletes a color name and its index from the currently used symbol table.
doxygen group
colorIndex | Index of color to delete from symbol table |
Definition at line 1155 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoSWrite | ( | TokenWriter & | rTw | ) | const [inline, protected, virtual] |
Token output, see Type::SWrite for public wrappers.
The method assumes that the type parameter is a faudes type and uses the provide write method per entry. Reimplement this function in derived classes for non-faudes type vectors.
rTw | Reference to TokenWriter |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 1605 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DotWrite | ( | const std::string & | rFileName | ) | const [inline, virtual] |
Writes generator to dot input format.
doxygen group
The dot file format is specified by the graphiz package; see http://www.graphviz.org. The package includes the dot command line tool to generate a graphical representation of the generators graph. See also vGenerator::GraphWrite(). This functions sets the re-indexing to minimal indices.
rFileName | Name of file to save result |
Reimplemented from faudes::vGenerator.
Definition at line 1289 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor | ( | Idx | stateIndex, | |
Idx | colorIndex | |||
) | const [inline] |
Check if color exists in a given state of the mtcGenerator.
Define FAUDES_CHECKED for consistency checks
stateIndex | Index which determines the generator's state | |
colorIndex | Color index to look for in given state |
Exception |
|
Definition at line 1273 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor | ( | const std::string & | rColorName | ) | const [inline] |
Check if color exists in generator.
Define FAUDES_CHECKED for consistency checks
rColorName | Color name which will be examined regarding existence in the generator |
Exception |
|
Definition at line 1245 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::ExistsColor | ( | Idx | colorIndex | ) | const [inline] |
Check if color exists in generator.
colorIndex | Index which will be examined regarding existence in the generator |
Definition at line 1236 of file mtc_generator.h.
SymbolTable * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GlobalColorSymbolTablep | ( | void | ) | const [inline] |
Get Pointer to global ColorSymbolTable.
doxygen group This is a static member of ColorSet and used as default for all derived classes and instantiated objects.
Definition at line 875 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColor | ( | Idx | stateIndex, | |
Idx | colorIndex | |||
) | [inline] |
Insert a color by index into an existing state.
Define FAUDES_CHECKED for consistency checks
stateIndex | Index of state to be set as colored state | |
colorIndex | Index of color to be added to state, must already exist in symbol table |
Exception |
|
Definition at line 994 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColor | ( | Idx | stateIndex, | |
const std::string & | rColorName | |||
) | [inline] |
Insert a color by name into an existing state.
Define FAUDES_CHECKED for consistency checks
stateIndex | Index of state to be set as colored state | |
rColorName | Name of state color to be added |
Exception |
|
Definition at line 966 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const ColorSet & | rColors | ) | [inline] |
Create a new unnamed state and set the colors from rColors.
rColors | Color set |
Definition at line 959 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const std::string & | rStateName, | |
const ColorSet & | rColors | |||
) | [inline] |
Create a new named state and set the colors from rColors.
rStateName | Name of the state to add | |
rColors | Color set |
Definition at line 952 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const std::string & | rStateName, | |
Idx | colorIndex | |||
) | [inline] |
Create a new named state and set the color colorIndex.
Define FAUDES_CHECKED for consistency checks
rStateName | Name of the state to add | |
colorIndex | Index of the state color, must already exist in symbol table |
Exception |
|
Definition at line 933 of file mtc_generator.h.
Idx faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColoredState | ( | const std::string & | rStateName, | |
const std::string & | rColorName | |||
) | [inline] |
Create a new named state and set the color rColorName.
doxygen group Define FAUDES_CHECKED for consistency checks
rStateName | Name of the state to add | |
rColorName | Name of the state color |
Exception |
|
Definition at line 895 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsColors | ( | Idx | stateIndex, | |
const ColorSet & | rColors | |||
) | [inline] |
Insert multiple colors from a color set into an existing state.
Define FAUDES_CHECKED for consistency checks
stateIndex | Index of state to be set as colored state | |
rColors | Reference to color set with colors to set for state, colors must already exist in symbol table |
Exception |
|
Definition at line 1020 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsColored | ( | Idx | stateIndex | ) | const [inline] |
Check if the given state is colored or not.
Define FAUDES_CHECKED for consistency checks
stateIndex | State to examine |
Exception |
|
Definition at line 1476 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsColored | ( | void | ) | const [inline] |
Check if there is at least one colored state in the mtcGenerator.
Definition at line 1467 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsStronglyCoaccessible | ( | void | ) | const [inline] |
Check if mtcGenerator is strongly coaccessible.
Definition at line 1520 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::IsStronglyTrim | ( | void | ) | const [inline] |
Check if the mtcGenerator is strongly trim.
Definition at line 1546 of file mtc_generator.h.
TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 816 of file mtc_generator.h.
void faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::NewColorSymbolTable | ( | ) | [inline] |
Insert a new local color symbol table.
doxygen group mpColorSymbolTable is reset. The color symbol table pointer in every state attribute's mColors is also reset to the new symbol table. If there already exist color entries in the current symbol table, they are copied to the new local one.
Define FAUDES_CHECKED for consistency checks
Exception |
|
Definition at line 1558 of file mtc_generator.h.
std::map< Idx, ColorSet > faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StateColorMap | ( | void | ) | const [inline] |
Return a color map with state indices and their corresponding colors.
Only states with asociated colors are part of this list.
Definition at line 1419 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyCoaccessible | ( | void | ) | [inline] |
Make generator strongly coaccessible.
Forbidden states are deleted.
| |||
|
Definition at line 1513 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyCoaccessibleSet | ( | void | ) | const [inline] |
Generate a state set with all strongly coaccessible states.
doxygen group
Definition at line 1491 of file mtc_generator.h.
bool faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyTrim | ( | void | ) | [inline] |
Make generator strongly trim.
Therefore, the forbidden states are deleted.
| |||
|
Definition at line 1532 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::StronglyTrimSet | ( | void | ) | const [inline] |
Generate a state set with all the strongly trim generator's states.
Definition at line 1525 of file mtc_generator.h.
StateSet faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::UncoloredStates | ( | ) | const [inline] |
Returns a state set containing all states that are not colored.
Definition at line 1457 of file mtc_generator.h.
SymbolTable* faudes::TmtcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::mpColorSymbolTable [protected] |
Pointer to currently used symbol table.
Definition at line 718 of file mtc_generator.h.
libFAUDES 2.18b --- 2010-12-17 --- c++ source docu by doxygen 1.6.3