DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Diagnosis.hh>
Public Member Functions | |
ReturnedType::ValueType | operator() (const Diagnosis &diag1, const Diagnosis &diag2) |
Additional Inherited Members | |
Public Types inherited from Diades::Automata::ReturnedType< int > | |
typedef int | ValueType |
NonCommonFaults
Functor
Definition at line 370 of file Diagnosis.hh.
|
inline |
Definition at line 372 of file Diagnosis.hh.
References Diades::Utils::differenceSize(), Diades::Automata::Diagnosis::fcBegin(), and Diades::Automata::Diagnosis::fcEnd().