Searched refs:m_sortNames (Results 1 – 2 of 2) sorted by relevance
58 m_sortNames.clear(); in reset()138 if (!m_sortNames.count(&_sort)) in toSmtLibSort()139 m_sortNames[&_sort] = m_smtlib2->toSmtLibSort(_sort); in toSmtLibSort()140 return m_sortNames.at(&_sort); in toSmtLibSort()
82 std::map<Sort const*, std::string> m_sortNames; variable