Searched refs:computeBaseType (Results 1 – 17 of 17) sorted by relevance
91 Type computeBaseType(const Type& t);
99 Type computeBaseType(const Type& t);
78 Type computeBaseType(const Type& t);
313 Type computeBaseType(const Type& t);
144 virtual Type computeBaseType(const Type& t) = 0;
399 Type computeBaseType(const Type& t);
265 virtual Type computeBaseType(const Type& tp) { return tp; } in computeBaseType() function
253 Type computeBaseType(const Type& t);
340 Type computeBaseType(const Type& t);
400 res= theoryOf(e)->computeBaseType(tp); in getBaseType()
1620 Type TheoryCore::computeBaseType(const Type& tp) in computeBaseType() function in TheoryCore
887 Type TheoryArray::computeBaseType(const Type& t) { in computeBaseType() function in TheoryArray
471 Type TheoryUF::computeBaseType(const Type& t) { in computeBaseType() function in TheoryUF
484 TheoryRecords::computeBaseType(const Type& t) { in computeBaseType() function in TheoryRecords
2830 Type TheoryArith3::computeBaseType(const Type& t) { in computeBaseType() function in TheoryArith3
2018 Type TheoryArithNew::computeBaseType(const Type& t) { in computeBaseType() function in TheoryArithNew
3808 Type TheoryArithOld::computeBaseType(const Type& t) { in computeBaseType() function in TheoryArithOld