Method inlineLetExpressions

libsmtutil/CHCSmtLib2Interface.cpp:600–604

}

void CHCSmtLib2Interface::inlineLetExpressions(SMTLib2Expression& expr)
{
	LetBindings bindings;
	::inlineLetExpressions(expr, bindings);
}