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 410 of file Diagnosis.hh.
|
inline |
Definition at line 412 of file Diagnosis.hh.
References Diades::Automata::Diagnosis::bsBegin(), Diades::Automata::Diagnosis::bsEnd(), and Diades::Utils::intersectionSize().