DiaDes
0.1
DIAgnosis of Discrete-Event System
|
Go to the source code of this file.
Namespaces | |
Diades | |
Namespace of the Diades project. | |
Diades::Petri | |
Functions | |
template<typename Minimal > | |
void | Diades::Petri::unfold (const Net &netSystem, Net &completePrefix) |
template<typename Minimal > | |
Transition & | Diades::Petri::next (const Net &netSystem, Net &completePrefix) |