DiaDes  0.1
DIAgnosis of Discrete-Event System
Namespaces | Typedefs
FBFS.hh File Reference
#include <utils/BFS.hh>
#include "ComposableModelSearch.hh"

Go to the source code of this file.

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Automata
 

Typedefs

typedef ComposableModelSearch< Diades::Utils::BFS< NextTransitions, TargetDiagState, list< DiagState >, list< DiagState >, VisitedDiagState, IsCandidate, IncorrectPath > > Diades::Automata::FBFS