Searched refs:unif_cenums (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ |
| H A D | cegis_unif.cpp | 120 std::map<Node, std::vector<Node>>& unif_cenums, in getEnumValues() argument
162 unif_cenums[e] = es; in getEnumValues()
230 const std::map<Node, std::vector<Node>>& unif_cenums, in setConditions() argument
241 Assert(unif_cenums.find(e) != unif_cenums.end()); in setConditions()
244 unif_cenums.find(e); in setConditions()
311 std::map<Node, std::vector<Node>> unif_cenums; in processConstructCandidates() local
316 if (!getEnumValues(enums, enum_values, unif_cenums, unif_cvalues, lems) in processConstructCandidates()
324 setConditions(unif_cenums, unif_cvalues, lems); in processConstructCandidates()
333 setConditions(unif_cenums, unif_cvalues, lems); in processConstructCandidates()
|
| H A D | cegis_unif.h | 273 void setConditions(const std::map<Node, std::vector<Node>>& unif_cenums,
293 std::map<Node, std::vector<Node>>& unif_cenums,
|