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< double > | |
typedef double | ValueType |
Definition at line 447 of file Diagnosis.hh.
|
inline |
Definition at line 449 of file Diagnosis.hh.
References Diades::Automata::Diagnosis::fcBegin(), Diades::Automata::Diagnosis::fcEnd(), and Diades::Utils::intersectionSize().