Searched refs:sym_lem (Results 1 – 1 of 1) sorted by relevance
1191 …Node sym_lem = children.size()==1 ? children[0] : NodeManager::currentNM()->mkNode( kind::AND, chi… in getBaseLabel() local1192 … sym_lem = NodeManager::currentNM()->mkNode( kind::IMPLIES, lit_mem_map[i].negate(), sym_lem ); in getBaseLabel()1193 Trace("sep-lemma") << "Sep::Lemma: symmetry breaking lemma : " << sym_lem << std::endl; in getBaseLabel()1194 d_out->lemma( sym_lem ); in getBaseLabel()