Searched defs:CurrentLevel (Results 1 – 3 of 3) sorted by relevance
179 std::vector<unsigned> CurrentLevel; in includeDepth() local
781 const unsigned CurrentLevel = TN->getLevel(); in InsertReachable() local
783 const unsigned CurrentLevel = TN->getLevel(); in InsertReachable() local