DiaDes
0.1
DIAgnosis of Discrete-Event System
include
diades
automata
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>
6
#include"
ComposableModelSearch.hh
"
7
8
namespace
Diades
9
{
10
namespace
Automata
11
{
15
typedef
ComposableModelSearch<Diades::Utils::DFS<NextTransitions,TargetDiagState,list<DiagState>
,list<DiagState>,
VisitedDiagState
,
IsCandidate
,
IncorrectPath
> >
FDFS
;
16
17
};
18
};
19
20
#endif
Diades::Automata::VisitedDiagState
Definition:
ComposableModelSearch.hh:50
Diades::Automata::ComposableModelSearch
Definition:
ComposableModelSearch.hh:290
Diades::Automata::IncorrectPath
Definition:
ComposableModelSearch.hh:97
Diades
Namespace of the Diades project.
Diades::Automata::IsCandidate
Definition:
ComposableModelSearch.hh:269
Diades::Automata::FDFS
ComposableModelSearch< Diades::Utils::DFS< NextTransitions, TargetDiagState, list< DiagState >, list< DiagState >, VisitedDiagState, IsCandidate, IncorrectPath > > FDFS
Definition:
FDFS.hh:15
ComposableModelSearch.hh
Generated on Tue May 12 2020 15:52:03 for DiaDes by
1.8.13