| 170 | |
| 171 | Type freshVariable(Sort _sort); |
| 172 | std::string typeClassName(TypeClass _class) const { return m_typeClasses.at(_class.m_index).name; } |
| 173 | Declaration const* typeClassDeclaration(TypeClass _class) const { return m_typeClasses.at(_class.m_index).classDeclaration; } |
| 174 | Type typeClassVariable(TypeClass _class) const |
| 175 | { |
no test coverage detected