Searched refs:Facts (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/Analysis/
H A DThreadSafety.cpp806 std::vector<FactEntry> Facts; member in class:__anon15161::FactManager
810 Facts.push_back(FactEntry(M,L));
811 return static_cast<unsigned short>(Facts.size() - 1);
814 const FactEntry& operator[](FactID F) const { return Facts[F]; }
815 FactEntry& operator[](FactID F) { return Facts[F]; }

Completed in 32 milliseconds