FDFS.hh File Reference

#include <utils/DFS.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::DFS< NextTransitions, TargetDiagState, list< DiagState >, list< DiagState >, VisitedDiagState, IsCandidate, IncorrectPath > >	Diades::Automata::FDFS