Searched refs:EnumValGeneratorBasic (Results 1 – 1 of 1) sorted by relevance
742 class EnumValGeneratorBasic : public EnumValGenerator class745 EnumValGeneratorBasic(TermDbSygus* tds, TypeNode tn) : d_tds(tds), d_te(tn) {} in EnumValGeneratorBasic() function in CVC4::theory::quantifiers::EnumValGeneratorBasic746 ~EnumValGeneratorBasic() {} in ~EnumValGeneratorBasic()832 d_evg[e].reset(new EnumValGeneratorBasic(d_tds, e.getType())); in getEnumeratedValue()