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 |
CommonFaults
Functor
Definition at line 339 of file Diagnosis.hh.
|
inline |
Definition at line 341 of file Diagnosis.hh.
References Diades::Automata::Diagnosis::fcBegin(), Diades::Automata::Diagnosis::fcEnd(), and Diades::Utils::intersectionSize().