Home
last modified time | relevance | path

Searched defs:GetFullTypeSystem (Results 1 – 1 of 1) sorted by relevance

/arkcompiler/runtime_core/verification/type/
Dtype_systems.cpp93 FullTypeSystem &GetFullTypeSystem(TypeSystem *tsys) in GetFullTypeSystem() function
98 FullTypeSystem &GetFullTypeSystem(TypeSystemKind kind, ThreadNum threadNum) in GetFullTypeSystem() function