DiaDes  0.1
DIAgnosis of Discrete-Event System
FDFS.hh
Go to the documentation of this file.
1 #ifndef __DIADES__AUTOMATA__FDFS_HH_
2 #define __DIADES__AUTOMATA__FDFS_HH_
3 
4 
5 #include<utils/DFS.hh>
7 
8 namespace Diades
9 {
10  namespace Automata
11  {
16 
17  };
18 };
19 
20 #endif
Namespace of the Diades project.
ComposableModelSearch< Diades::Utils::DFS< NextTransitions, TargetDiagState, list< DiagState >, list< DiagState >, VisitedDiagState, IsCandidate, IncorrectPath > > FDFS
Definition: FDFS.hh:15