Searched refs:pol_atom (Results 1 – 1 of 1) sorted by relevance
723 Node pol_atom = atom; in check() local725 pol_atom = atom.negate(); in check()727 lemc.push_back( pol_atom ); in check()