DiaDes
0.1
DIAgnosis of Discrete-Event System
include
diades
automata
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>
5
#include"
ComposableModelSearch.hh
"
6
7
8
namespace
Diades
9
{
10
namespace
Automata
11
{
12
16
typedef
ComposableModelSearch<Diades::Utils::BFS<NextTransitions,TargetDiagState,list<DiagState>
,list<DiagState>,
VisitedDiagState
,
IsCandidate
,
IncorrectPath
> >
FBFS
;
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::FBFS
ComposableModelSearch< Diades::Utils::BFS< NextTransitions, TargetDiagState, list< DiagState >, list< DiagState >, VisitedDiagState, IsCandidate, IncorrectPath > > FBFS
Definition:
FBFS.hh:16
ComposableModelSearch.hh
Generated on Tue May 12 2020 15:52:03 for DiaDes by
1.8.13