Searched refs:lemc (Results 1 – 3 of 3) sorted by relevance
722 std::vector< Node > lemc; in check() local727 lemc.push_back( pol_atom ); in check()731 lemc.insert( lemc.end(), conc.begin(), conc.end() ); in check()732 Node lem = NodeManager::currentNM()->mkNode( kind::OR, lemc ); in check()
1066 msgstr "Xgwélemc"1084 msgstr "Xgwélemc"1101 msgstr "Xgwélemc"
84560 管外 lemc'