Searched refs:enum_consider (Results 1 – 1 of 1) sorted by relevance
475 std::vector<unsigned> enum_consider; in constructCandidates() local484 enum_consider.push_back(i); in constructCandidates()490 …Trace("sygus-pbe-enum") << "...register " << enum_consider.size() << " / " << enums.size() << std:… in constructCandidates()492 for (unsigned i = 0, ecsize = enum_consider.size(); i < ecsize; i++) in constructCandidates()494 unsigned j = enum_consider[i]; in constructCandidates()