| _behav | Diades::Automata::Component | protected |
| _diagnosedEvents | Diades::Automata::ClassicalDiagnoser | private |
| _initial | Diades::Automata::Component | protected |
| _isInitial | Diades::Automata::Component | protected |
| Ambiguous enum value | Diades::Automata::ClassicalDiagnoser | |
| beginOfDiagnosedEvents() const | Diades::Automata::ClassicalDiagnoser | inline |
| beginOfSourceStateOfEvent(const Event &e) const | Diades::Automata::Component | inline |
| beginOfSourceStateOfObservableEvent(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| beginOfTargetStateOfEvent(const Event &e) const | Diades::Automata::Component | inline |
| beginOfTargetStateOfObservableEvent(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| behaviour() | Diades::Automata::Component | inline |
| behaviour() const | Diades::Automata::Component | inline |
| changeLogger(const string &newLoggerName) | Diades::Utils::Loggable | inline |
| changeLogger(Logger &newLogger) | Diades::Utils::Loggable | inline |
| ClassicalDiagnoser() | Diades::Automata::ClassicalDiagnoser | inline |
| ClassicalDiagnoser(const ObservableComponent &model, const unordered_set< Event > &faults, bool silentClosure=false) | Diades::Automata::ClassicalDiagnoser | |
| clear() | Diades::Automata::ObservableComponent | virtual |
| clearAllInitialStates() | Diades::Automata::Component | inline |
| Component() | Diades::Automata::Component | inline |
| Component(const Component &component) | Diades::Automata::Component | |
| component2dot(const string &fileName) const | Diades::Automata::ObservableComponent | virtual |
| component2dot(ostream &os) const | Diades::Automata::ObservableComponent | virtual |
| computeDiagnoser(const ObservableComponent &model, const unordered_set< Event > &faults, bool silentClosure) | Diades::Automata::ClassicalDiagnoser | protectedvirtual |
| computeNonDeterministicDiagnoser(const ObservableComponent &model, const unordered_set< Event > &faults, Graph::Graph &nonDeterministicDiagnoser, NodeMap< pair< int, FaultSet > > &stateInfoNonDet, EdgeMap< Event > &transInfoNonDet, unordered_set< State > &initialStateNonDetState, bool silentClosure) | Diades::Automata::ClassicalDiagnoser | private |
| computeReachableStates(const ObservableComponent &model, ConstNodeMap< ReachableInfo > &reachables, bool silentClosure, ConstNodeMap< unordered_multimap< State, FaultSet > > &silent) | Diades::Automata::ClassicalDiagnoser | private |
| computeSilentClosure(const ObservableComponent &model, State source, const unordered_set< Event > &faults, unordered_multimap< State, FaultSet > &result) | Diades::Automata::ClassicalDiagnoser | private |
| ConstPointer typedef | Diades::Automata::Component | |
| containsEvent(const Event &e) const | Diades::Automata::Component | inline |
| containsObservableEvent(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| CRef typedef | Diades::Automata::ObservableComponent | |
| currentDiagnoserState | Diades::Automata::ClassicalDiagnoser | private |
| defaultComponentName | Diades::Automata::Component | static |
| deleteState(State state) | Diades::Automata::Component | |
| deleteState(StateIterator start, StateIterator end) | Diades::Automata::Component | |
| deleteTransition(Transition t) | Diades::Automata::Component | |
| deleteTransition(TransitionIterator start, TransitionIterator end) | Diades::Automata::Component | |
| deleteTransition(EventTransitionIterator start, EventTransitionIterator end) | Diades::Automata::Component | |
| determine(const Component *comp, const unordered_set< State > &acceptors, unordered_set< State > &newAcceptors) | Diades::Automata::Component | protectedvirtual |
| determine(const Component *comp) | Diades::Automata::Component | protectedvirtual |
| diagnose(const Event &obs) | Diades::Automata::ClassicalDiagnoser | |
| Diagnosed enum value | Diades::Automata::ClassicalDiagnoser | |
| diagnoser2dot(const string &fileName, string &log) const | Diades::Automata::ClassicalDiagnoser | |
| diagnoser2hd(const string &fileName, string &log) const | Diades::Automata::ClassicalDiagnoser | |
| DiagnoserInfoState typedef | Diades::Automata::ClassicalDiagnoser | private |
| DiagnosisHypothesis typedef | Diades::Automata::ClassicalDiagnoser | private |
| endOfDiagnosedEvents() const | Diades::Automata::ClassicalDiagnoser | inline |
| endOfSourceStateOfEvent(const Event &e) const | Diades::Automata::Component | inline |
| endOfSourceStateOfObservableEvent(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| endOfTargetStateOfEvent(const Event &e) const | Diades::Automata::Component | inline |
| endOfTargetStateOfObservableEvent(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| eventBegin() const | Diades::Automata::Component | inline |
| eventEnd() const | Diades::Automata::Component | inline |
| EventIterator typedef | Diades::Automata::Component | |
| events() const | Diades::Automata::Component | inline |
| eventTransitionBegin(const Event &e) const | Diades::Automata::Component | inline |
| eventTransitionEnd(const Event &e) const | Diades::Automata::Component | inline |
| EventTransitionIterator typedef | Diades::Automata::Component | |
| EventType enum name | Diades::Automata::ClassicalDiagnoser | |
| Exception typedef | Diades::Automata::ClassicalDiagnoser | |
| exportDesCompEvent(ostream &os, const Event &evt) const | Diades::Automata::ObservableComponent | protectedvirtual |
| exportDesCompModel(const string &filename) const | Diades::Automata::ObservableComponent | virtual |
| exportDesCompModel(ostream &os) const | Diades::Automata::ObservableComponent | virtual |
| FaultSet typedef | Diades::Automata::ClassicalDiagnoser | private |
| FaultStatus enum name | Diades::Automata::ClassicalDiagnoser | |
| faultToIndex | Diades::Automata::ClassicalDiagnoser | private |
| faultyEventBegin() const | Diades::Automata::Component | inline |
| faultyEventEnd() const | Diades::Automata::Component | inline |
| faultyEvents() const | Diades::Automata::Component | inline |
| getDiagnosis(Diagnosis &diagnosis) const | Diades::Automata::ClassicalDiagnoser | |
| getEvent(Transition t) const | Diades::Automata::Component | inline |
| getFaultStatus(State diagnoserState, const Event &fault) const | Diades::Automata::ClassicalDiagnoser | |
| getLabel(State state) const | Diades::Automata::Component | inline |
| getPointer() const | Diades::Automata::Component | inline |
| getPointer() | Diades::Automata::Component | inline |
| getState(const StateLabel &label) const | Diades::Automata::Component | inline |
| id() const | Diades::Automata::Component | inline |
| import(const string &filename) | Diades::Automata::Component | virtual |
| importDesCompModel(const string &filename) | Diades::Automata::Component | virtual |
| importDesCompModel(istream &stream) | Diades::Automata::Component | virtual |
| indexToFault | Diades::Automata::ClassicalDiagnoser | private |
| initialize() | Diades::Automata::ClassicalDiagnoser | inline |
| initialState() const | Diades::Automata::ClassicalDiagnoser | inline |
| initialStateBegin() const | Diades::Automata::Component | inline |
| initialStateEnd() const | Diades::Automata::Component | inline |
| InitialStateIterator typedef | Diades::Automata::Component | |
| initModelStatesLabels(const ObservableComponent &model, vector< State > &modelStateOf, ConstNodeMap< int > &valueOf) | Diades::Automata::ClassicalDiagnoser | private |
| inputEventTransitionBegin(State s, Event e) const | Diades::Automata::Component | inline |
| inputEventTransitionEnd(State s, Event e) const | Diades::Automata::Component | inline |
| InputEventTransitionIterator typedef | Diades::Automata::Component | |
| inputObservableTransitionBegin(State s, Event e) const | Diades::Automata::ObservableComponent | inline |
| inputObservableTransitionEnd(State s, Event e) const | Diades::Automata::ObservableComponent | inline |
| inputTransitionBegin(State s) const | Diades::Automata::Component | inline |
| inputTransitionEnd(State s) const | Diades::Automata::Component | inline |
| InputTransitionIterator typedef | Diades::Automata::Component | |
| insertEvent(const Event &event) | Diades::Automata::Component | |
| insertEvent(EventIterator start, EventIterator end) | Diades::Automata::Component | |
| isComplete() const | Diades::Automata::Component | |
| isConsistent(const Event &obs) const | Diades::Automata::ClassicalDiagnoser | |
| isDeterministic() const | Diades::Automata::Component | |
| isEmpty() const | Diades::Automata::Component | inline |
| isFaulty(const Event &e) const | Diades::Automata::Component | inline |
| isInitial(State state) const | Diades::Automata::Component | inline |
| isNormal(const Event &e) const | Diades::Automata::Component | inline |
| isValid() const | Diades::Automata::Component | inline |
| LabelledStateIterator typedef | Diades::Automata::Component | |
| labelStates | Diades::Automata::ClassicalDiagnoser | private |
| log(Log::Level level, const char *msg) | Diades::Utils::Loggable | inline |
| Loggable() | Diades::Utils::Loggable | inline |
| Loggable(const string &loggerName) | Diades::Utils::Loggable | inline |
| Loggable(Logger &logger) | Diades::Utils::Loggable | inline |
| mask() const | Diades::Automata::ObservableComponent | inline |
| mergeInfoStates(const vector< const Component *> &components, const vector< State > &states, State currentState) | Diades::Automata::Component | virtual |
| minimize() | Diades::Automata::Component | |
| minimize(unordered_set< State > &acceptors) | Diades::Automata::Component | |
| ModelState typedef | Diades::Automata::ClassicalDiagnoser | private |
| name() const | Diades::Automata::Component | inline |
| newState() | Diades::Automata::Component | |
| newState(const StateLabel &label) | Diades::Automata::Component | |
| newTransition(State source, State target, Event event) | Diades::Automata::Component | |
| newTransition(const StateLabel &source, const StateLabel &target, Event event) | Diades::Automata::Component | |
| normalEventBegin() const | Diades::Automata::Component | inline |
| normalEventEnd() const | Diades::Automata::Component | inline |
| normalEvents() const | Diades::Automata::Component | inline |
| numberOfDiagnosedEvents() const | Diades::Automata::ClassicalDiagnoser | inline |
| numberOfEvents() const | Diades::Automata::Component | inline |
| numberOfInitialStates() const | Diades::Automata::Component | inline |
| numberOfObservables() const | Diades::Automata::ObservableComponent | inline |
| numberOfStates() const | Diades::Automata::Component | inline |
| numberOfTransitions() const | Diades::Automata::Component | inline |
| Observable enum value | Diades::Automata::ClassicalDiagnoser | |
| observableBegin() const | Diades::Automata::ObservableComponent | inline |
| ObservableComponent() | Diades::Automata::ObservableComponent | inline |
| ObservableComponent(const ObservableComponent &component) | Diades::Automata::ObservableComponent | |
| observableEnd() const | Diades::Automata::ObservableComponent | inline |
| observableTransitionBegin(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| observableTransitionEnd(const Event &e) const | Diades::Automata::ObservableComponent | inline |
| operator!=(const Component &component) const | Diades::Automata::Component | inline |
| operator==(const Component &component) const | Diades::Automata::Component | inline |
| outputEventTransitionBegin(State s, Event e) const | Diades::Automata::Component | inline |
| outputEventTransitionEnd(State s, Event e) const | Diades::Automata::Component | inline |
| OutputEventTransitionIterator typedef | Diades::Automata::Component | |
| outputObservableTransitionBegin(State s, Event e) const | Diades::Automata::ObservableComponent | inline |
| outputObservableTransitionEnd(State s, Event e) const | Diades::Automata::ObservableComponent | inline |
| outputTransitionBegin(State s) const | Diades::Automata::Component | inline |
| outputTransitionEnd(State s) const | Diades::Automata::Component | inline |
| OutputTransitionIterator typedef | Diades::Automata::Component | |
| parseDesCompFaultyEvents(istream &stream) | Diades::Automata::ObservableComponent | protectedvirtual |
| parseDesCompMaskedEvents(istream &stream, unsigned number, map< string, set< string > > &maskEvents) | Diades::Automata::Component | protectedvirtual |
| parseDesCompName(istream &stream) | Diades::Automata::Component | protectedvirtual |
| parseDesCompNormalEvents(istream &stream) | Diades::Automata::ObservableComponent | protectedvirtual |
| parseDesCompObservableEvents(istream &stream) | Diades::Automata::ObservableComponent | protectedvirtual |
| parseDesCompStates(istream &stream) | Diades::Automata::Component | protectedvirtual |
| parseDesCompTransitions(istream &stream) | Diades::Automata::Component | protectedvirtual |
| Pointer typedef | Diades::Automata::Component | |
| project(const ObservableComponent *comp, const set< Event > &projectedEvents) | Diades::Automata::ObservableComponent | virtual |
| project(const ObservableComponent *comp, const set< Event > &projectedEvents, unordered_map< Diades::Automata::State, unordered_set< Diades::Automata::State > > &dictionary) | Diades::Automata::ObservableComponent | virtual |
| Diades::Automata::Component::project(const Component *comp, const set< Event > &projectedEvents) | Diades::Automata::Component | virtual |
| Diades::Automata::Component::project(const Component *comp, const set< Event > &projectedEvents, unordered_map< Diades::Automata::State, unordered_set< Diades::Automata::State > > &dictionary) | Diades::Automata::Component | virtual |
| Diades::Automata::Component::project(const Component *comp, const set< Event > &projectedEvents, const unordered_set< State > &acceptors, unordered_set< State > &newAcceptors) | Diades::Automata::Component | virtual |
| ReachableInfo typedef | Diades::Automata::ClassicalDiagnoser | private |
| Ref typedef | Diades::Automata::ObservableComponent | |
| replaceEvent(const Event &e1, const Event &e2) | Diades::Automata::Component | |
| Safe enum value | Diades::Automata::ClassicalDiagnoser | |
| sanityCheck(string &log) const | Diades::Automata::Component | |
| serialize(Archive &ar, const unsigned int version) | Diades::Automata::ClassicalDiagnoser | inline |
| setAllInitialStates() | Diades::Automata::Component | inline |
| setFaulty(const Event &e) | Diades::Automata::Component | inline |
| setId(int identifier) | Diades::Automata::Component | inline |
| setInitial(State state) | Diades::Automata::Component | inline |
| setMask(const ObservableMask &mask) | Diades::Automata::ObservableComponent | |
| setName(const string &name) | Diades::Automata::Component | inline |
| setNormal(const Event &e) | Diades::Automata::Component | inline |
| stateBegin() const | Diades::Automata::Component | inline |
| stateEnd() const | Diades::Automata::Component | inline |
| stateInfo | Diades::Automata::ClassicalDiagnoser | private |
| StateIterator typedef | Diades::Automata::Component | |
| StateLabel typedef | Diades::Automata::Component | |
| Sure enum value | Diades::Automata::ClassicalDiagnoser | |
| transitionBegin() const | Diades::Automata::Component | inline |
| transitionEnd() const | Diades::Automata::Component | inline |
| TransitionIterator typedef | Diades::Automata::Component | |
| typeName() | Diades::Automata::ClassicalDiagnoser | inlinestatic |
| unobservableTransitionBegin() const | Diades::Automata::ObservableComponent | inline |
| unobservableTransitionEnd() const | Diades::Automata::ObservableComponent | inline |
| unsetInitial(State state) | Diades::Automata::Component | inline |
| updateMask(const Event &event, const set< string > &obsLabel) | Diades::Automata::ObservableComponent | virtual |
| ~ClassicalDiagnoser() | Diades::Automata::ClassicalDiagnoser | inlinevirtual |
| ~Component() | Diades::Automata::Component | virtual |
| ~ObservableComponent() | Diades::Automata::ObservableComponent | |
