Method resetVariables

libsolidity/formal/EncodingContext.cpp:86–90

}

void EncodingContext::resetVariables(std::set<frontend::VariableDeclaration const*> const& _variables)
{
	for (auto const* decl: _variables)
		resetVariable(*decl);
}

void EncodingContext::resetVariables(std::function<bool(frontend::VariableDeclaration const&)> const& _filter)
{