Method resetVariable

libsolidity/formal/EncodingContext.cpp:80–84

}

void EncodingContext::resetVariable(frontend::VariableDeclaration const& _variable)
{
	newValue(_variable);
	setUnknownValue(_variable);
}

void EncodingContext::resetVariables(std::set<frontend::VariableDeclaration const*> const& _variables)
{