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 | |
![]() | |
typedef double | ValueType |
Definition at line 396 of file Diagnosis.hh.
|
inline |
Definition at line 398 of file Diagnosis.hh.
References Diades::Automata::Diagnosis::begin(), Diades::Automata::Diagnosis::end(), Diades::Utils::intersectionSize(), and Diades::Automata::Diagnosis::numberOfCandidates().