Searched defs:Impl (Results 1 – 2 of 2) sorted by relevance
28 struct VerificationResultCache::Impl { struct in panda::verifier::VerificationResultCache29 std::string filename;30 Synchronized<PandaUnorderedSet<uint64_t>> verified_ok;31 Synchronized<PandaUnorderedSet<uint64_t>> verified_fail;34 Impl(std::string file_name, It data_start, It data_end) in Impl() argument
82 struct TypeSystems::Impl { struct in panda::verifier::TypeSystems83 explicit Impl(size_t numThreads) : type_systems {} in Impl() argument93 FullTypeSystem &GetFullTypeSystem(TypeSystem *tsys) in GetFullTypeSystem()98 FullTypeSystem &GetFullTypeSystem(TypeSystemKind kind, ThreadNum threadNum) in GetFullTypeSystem()104 …aVector<FullTypeSystem>, TypeSystemKind, TypeSystemKind::PANDA, TypeSystemKind::JAVA> type_systems;