Function formatExpressions

libsolidity/formal/ExpressionFormatter.cpp:354–364

}

std::vector<std::optional<std::string>> formatExpressions(
	std::vector<smtutil::Expression> const& _exprs,
	std::vector<frontend::Type const*> const& _types
)
{
	solAssert(_exprs.size() == _types.size());
	std::vector<std::optional<std::string>> strExprs;
	for (unsigned i = 0; i < _exprs.size(); ++i)
		strExprs.push_back(expressionToString(_exprs.at(i), _types.at(i)));
	return strExprs;
}

}