Method getTupleType

libsmtutil/SMTLib2Context.cpp:290–294

}

std::optional<SortPointer> SMTLib2Context::getTupleType(std::string const& _name) const
{
	auto it = m_tupleSorts.find(_name);
	return it == m_tupleSorts.end() ? std::nullopt : std::optional<SortPointer>(unresolve(it->second));
}

std::optional<std::pair<std::string, SortPointer>> SMTLib2Context::getTupleAccessor(std::string const& _name) const
{