DiaDes  0.1
DIAgnosis of Discrete-Event System
Namespaces | Functions
Unfolding.hh File Reference

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 >
TransitionDiades::Petri::next (const Net &netSystem, Net &completePrefix)