Method declare

libsmtutil/SMTLib2Context.cpp:46–50

}

void SMTLib2Context::declare(std::string const& _name, SortPointer const& _sort)
{
	auto [_, inserted] = m_functions.insert({_name, _sort});
	smtAssert(inserted, "Trying to redeclare SMT function!");
}

SortPointer SMTLib2Context::getDeclaredSort(std::string const& _name) const
{