DiaDes  0.1
DIAgnosis of Discrete-Event System
Classes | Namespaces | Typedefs
FGFS.hh File Reference
#include <utils/Random.hh>
#include <utils/GraphSearch.hh>
#include "ComposableModelSearch.hh"

Go to the source code of this file.

Classes

class  Diades::Utils::GFS< TIncidentEdges, TOpposite, TContainer, TAccumulator, TMark, TSolution, TPathCut >
 

Namespaces

 Diades
 Namespace of the Diades project.
 
 Diades::Utils
 
 Diades::Automata
 

Typedefs

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