void genParams(std::stringstream &kerStream)
{
if (m_gen_param) return;
if (!(m_lhs->isGenParam())) m_lhs->genParams(kerStream);
if (!(m_rhs->isGenParam())) m_rhs->genParams(kerStream);
m_gen_param = true;
}
void genParams(std::stringstream &kerStream,
std::stringstream &annStream, bool is_linear)
{
if (m_gen_param) return;
if (!(m_lhs->isGenParam())) m_lhs->genParams(kerStream, annStream, is_linear);
if (!(m_rhs->isGenParam())) m_rhs->genParams(kerStream, annStream, is_linear);
m_gen_param = true;
}