Searched refs:s_atom_new (Results 1 – 1 of 1) sorted by relevance
346 Node s_atom_new = NodeManager::currentNM()->mkNode( kind::SEP_LABEL, s_atom, b_lbl ); in check() local350 lem = NodeManager::currentNM()->mkNode( kind::OR, s_atom.negate(), s_atom_new ); in check()352 lem = NodeManager::currentNM()->mkNode( kind::OR, s_atom, s_atom_new.negate() ); in check()