|
|
||||||
|
diag_attrdiagstate.h
Go to the documentation of this file.
1 /** @file diag_attrdiagstate.h State estimates for the current status of the generator (as state attributes). */
#define FAUDES_TYPE_DECLARATION(ftype, ctype, cbase) faudes type declaration macro Definition: cfl_types.h:867 Implements state estimates for the current status of the generator. Definition: diag_attrdiagstate.h:21 TaIndexSet< DiagLabelSet > mDiagnoserStateMap The diagnoser state attribute is a map of state indices of the original generator to their failure la... Definition: diag_attrdiagstate.h:30 Implements the label representation for state estimates. Definition: diag_attrlabelset.h:19 A TokenReader reads sequential tokens from a file or string. Definition: cfl_tokenreader.h:63 A TokenWriter writes sequential tokens to a file, a string or stdout. Definition: cfl_tokenwriter.h:51 Base class of all libFAUDES objects that participate in the run-time interface. Definition: cfl_types.h:239 Includes all libFAUDES headers, no plugins. Failure and indicator events for a common failure type. Label representation for state estimates. Includes debugging to diagnosis plug-in. libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen |