Home
last modified time | relevance | path

Searched refs:InitState (Results 1 – 14 of 14) sorted by relevance

/external/openfst/src/include/fst/
Dvisit.h109 visit = visitor->InitState(root, root); in Visit()
149 visit = visitor->InitState(arc.nextstate, root); in Visit()
208 bool InitState(StateId s, StateId) { in InitState() function
260 bool InitState(StateId s, StateId root) { in InitState() function
Ddfs-visit.h123 dfs = visitor->InitState(root, root); in DfsVisit()
164 dfs = visitor->InitState(arc.nextstate, root); in DfsVisit()
Dconnect.h61 bool InitState(StateId s, StateId root) { in InitState() function
142 bool InitState(StateId s, StateId root);
228 bool SccVisitor<A>::InitState(StateId s, StateId root) { in InitState() function
Dtopsort.h54 bool InitState(StateId s, StateId r) { return true; } in InitState() function
Dstate-reachable.h65 bool InitState(StateId s, StateId r) { in InitState() function
Dminimize.h338 bool InitState(StateId s, StateId root) { in InitState() function
Drandgen.h624 bool InitState(StateId s, StateId root) { return true; } in InitState() function
/external/srec/tools/thirdparty/OpenFst/fst/lib/
Ddfs-visit.h103 dfs = visitor->InitState(root, root); in DfsVisit()
136 dfs = visitor->InitState(arc.nextstate, root); in DfsVisit()
Dtopsort.h49 bool InitState(StateId s, StateId r) { return true; } in InitState() function
Dconnect.h74 bool InitState(StateId s, StateId root) { in InitState() function
Dminimize.h325 bool InitState(StateId s, StateId root) { in InitState() function
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp165 ProgramStateRef InitState) { in ExecuteWorkList() argument
193 if (!InitState) in ExecuteWorkList()
197 generateNode(StartLoc, InitState, 0); in ExecuteWorkList()
273 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
275 bool DidNotFinish = ExecuteWorkList(L, Steps, InitState); in ExecuteWorkListWithInitialState()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h118 ProgramStateRef InitState, in ExecuteWorkListWithInitialState() argument
120 return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst); in ExecuteWorkListWithInitialState()
DCoreEngine.h124 ProgramStateRef InitState);
128 ProgramStateRef InitState,