Searched refs:PathsType (Results 1 – 1 of 1) sorted by relevance
352 typedef std::vector<PathType> PathsType; typedef592 PathsType PathsToSwitchBB = in run()669 PathsType IntermediatePaths; in getPathsFromStateDefMap()690 PathsType paths(BasicBlock *BB, BasicBlock *ToBB, VisitedBlocks &Visited, in paths()692 PathsType Res; in paths()740 PathsType SuccPaths = paths(Succ, ToBB, Visited, PathDepth + 1); in paths()