Method toString

libsmtutil/SMTLib2Interface.cpp:250–252

}

std::string SMTLib2Commands::toString() const {
	return boost::algorithm::join(m_commands, "\n");
}

void SMTLib2Commands::clear() {
	m_commands.clear();