Home
last modified time | relevance | path

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

/arkcompiler/runtime_core/verification/value/
Dabstract_type.h35 AbstractType(const Type &type) : Contents_ {type} {} in AbstractType() function
36 AbstractType(const Variables::Var &var) : Contents_ {var} {} in AbstractType() function
37 AbstractType(Variables::Var &&var) : Contents_ {std::move(var)} {} in AbstractType() function
38 AbstractType(TypeSet &&type_set) in AbstractType() function
/arkcompiler/runtime_core/verification/absint/
Dpanda_types.h197 const Type &AbstractType() const in AbstractType() function