Searched refs:enum_lems (Results 1 – 1 of 1) sorted by relevance
499 std::vector<Node> enum_lems; in constructCandidates() local500 d_sygus_unif[c].notifyEnumeration(e, v, enum_lems); in constructCandidates()501 if (!enum_lems.empty()) in constructCandidates()506 for (unsigned j = 0, size = enum_lems.size(); j < size; j++) in constructCandidates()508 enum_lems[j] = nm->mkNode(OR, g.negate(), enum_lems[j]); in constructCandidates()510 lems.insert(lems.end(), enum_lems.begin(), enum_lems.end()); in constructCandidates()