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