Method getDeclaredSort

libsmtutil/SMTLib2Context.cpp:52–56

}

SortPointer SMTLib2Context::getDeclaredSort(std::string const& _name) const
{
	smtAssert(isDeclared(_name));
	return m_functions.at(_name);
}

void SMTLib2Context::clear() {
	m_functions.clear();