| |
libFAUDES
Sections
Index
|
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > Class Template Reference |
Public Member Functions | |
Idx | InsFailureTypeMapping (const std::string &failureType, const EventSet &rfailureEvents) |
Adds a failure type with associated failure events to the global attribute. | |
void | InsFailureTypeMap (const std::map< std::string, EventSet > &rFailureMap) |
Insert entire failure type map in the diagnoser. | |
Idx | GetFailureType (Idx failureEvent) const |
Returns the failure type of a particular failure events. | |
EventSet | GetAllFailureEvents (void) const |
Returns the all failure events of the failure partition. | |
void | InsStateLabelMapping (Idx dStateIndex, Idx gStateIndex, Idx labelIndex) |
Inserts a generator state estimate to a diagnoser state. | |
void | InsStateLabelMap (Idx dStateIndex, Idx gState, const DiagLabelSet &labels) |
Inserts a DiagLabelSet containing a complete set of generator state estimates to a diagnoser state. | |
void | SetStateAttr (Idx dStateIndex, const AttributeDiagnoserState &newAttr) |
Set a diagnoser state attribute. | |
std::string | SAStr (Idx dStateIndex) const |
Prints all generator state estimates of a diagnoser state to a string. | |
void | DotWrite (const std::string &rFileName) const |
Writes generator to dot input format. | |
Constructor, Destructor | |
TdiagGenerator (void) | |
Creates an emtpy diagnoser. | |
TdiagGenerator (const Generator &rOtherGen) | |
Construct diagnoser from std generator. | |
TdiagGenerator (const TdiagGenerator &rOtherGen) | |
Copy constructor. | |
TdiagGenerator (const std::string &rFileName) | |
Construct from file. | |
virtual TdiagGenerator * | New (void) const |
Construct on heap. | |
virtual TdiagGenerator * | Copy (void) const |
Construct copy on heap. | |
~TdiagGenerator (void) | |
Default destructor. | |
virtual TdiagGenerator & | operator= (const TdiagGenerator &rOtherGen) |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly. | |
virtual TdiagGenerator & | operator= (const vGenerator &rOtherGen) |
Assignment operator (uses copy ). | |
Protected Member Functions | |
void | DoWrite (TokenWriter &rTw, const std::string &rLabel="", const Type *pContext=0) const |
Writes attribute to TokenWriter, see AttributeVoid for public wrappers. | |
Private Attributes | |
SymbolTable * | mpLabelSymbolTable |
Pointer to static LabelSymbolTable of DiagLabelSet. |
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TdiagGenerator | ( | void | ) | [inline] |
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TdiagGenerator | ( | const Generator & | rOtherGen | ) | [inline] |
Construct diagnoser from std generator.
rOtherGen |
Definition at line 256 of file diag_generator.h.
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TdiagGenerator | ( | const TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline] |
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::TdiagGenerator | ( | const std::string & | rFileName | ) | [inline] |
Construct from file.
rFileName | Filename |
Definition at line 262 of file diag_generator.h.
faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::~TdiagGenerator | ( | void | ) | [inline] |
TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::New | ( | void | ) | const [inline, virtual] |
Construct on heap.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 269 of file diag_generator.h.
TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > * faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::Copy | ( | void | ) | const [inline, virtual] |
Construct copy on heap.
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 281 of file diag_generator.h.
virtual TdiagGenerator& faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy ) Note: you must reimplement this operator in derived classes in order to handle internal pointers correctly.
rOtherGen | Other generator |
Definition at line 101 of file diag_generator.h.
virtual TdiagGenerator& faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::operator= | ( | const vGenerator & | rOtherGen | ) | [inline, virtual] |
Assignment operator (uses copy ).
rOtherGen | Other generator |
Reimplemented from faudes::TcGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >.
Definition at line 109 of file diag_generator.h.
Idx faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsFailureTypeMapping | ( | const std::string & | failureType, | |
const EventSet & | rfailureEvents | |||
) | [inline] |
Adds a failure type with associated failure events to the global attribute.
If failure type does already exists the failure events are overridden.
failureType | Name of failure type. | |
rfailureEvents | Associated failure events. |
Definition at line 323 of file diag_generator.h.
void faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsFailureTypeMap | ( | const std::map< std::string, EventSet > & | rFailureMap | ) | [inline] |
Insert entire failure type map in the diagnoser.
rFailureMap | Map of failure type names to failure events. |
Definition at line 328 of file diag_generator.h.
Idx faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GetFailureType | ( | Idx | failureEvent | ) | const [inline] |
Returns the failure type of a particular failure events.
failureEvent | A failure event. |
Definition at line 334 of file diag_generator.h.
EventSet faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::GetAllFailureEvents | ( | void | ) | const [inline] |
Returns the all failure events of the failure partition.
Definition at line 339 of file diag_generator.h.
void faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsStateLabelMapping | ( | Idx | dStateIndex, | |
Idx | gStateIndex, | |||
Idx | labelIndex | |||
) | [inline] |
Inserts a generator state estimate to a diagnoser state.
dStateIndex | Index of diagnoser state. | |
gStateIndex | Index of generator state estimate. | |
labelIndex | Index of associated label. |
Definition at line 344 of file diag_generator.h.
void faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::InsStateLabelMap | ( | Idx | dStateIndex, | |
Idx | gState, | |||
const DiagLabelSet & | labels | |||
) | [inline] |
Inserts a DiagLabelSet containing a complete set of generator state estimates to a diagnoser state.
dStateIndex | Index of diagnoser state. | |
gState | Index of generator state estimate. | |
labels | Associated DiagLabelSet containing the generator state estimates. |
Definition at line 350 of file diag_generator.h.
void faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SetStateAttr | ( | Idx | dStateIndex, | |
const AttributeDiagnoserState & | newAttr | |||
) | [inline] |
Set a diagnoser state attribute.
dStateIndex | Index of diagnoser state. | |
newAttr | The new attribute. |
Definition at line 356 of file diag_generator.h.
std::string faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::SAStr | ( | Idx | dStateIndex | ) | const [inline] |
Prints all generator state estimates of a diagnoser state to a string.
dStateIndex | Index of diagnoser state. |
Definition at line 361 of file diag_generator.h.
void faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DotWrite | ( | const std::string & | rFileName | ) | const [inline, virtual] |
Writes generator to dot input format.
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 | File to write |
Exception |
|
Reimplemented from faudes::vGenerator.
Definition at line 366 of file diag_generator.h.
void faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::DoWrite | ( | TokenWriter & | rTw, | |
const std::string & | rLabel = "" , |
|||
const Type * | pContext = 0 | |||
) | const [inline, protected, virtual] |
Writes attribute to TokenWriter, see AttributeVoid for public wrappers.
Label and Context argument are ignored.
rTw | TokenWriter to write to. | |
rLabel | Section to write. | |
pContext | Write context to provide contextual information. |
Reimplemented from faudes::vGenerator.
Definition at line 289 of file diag_generator.h.
SymbolTable* faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr >::mpLabelSymbolTable [private] |
libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6