Searched refs:getEvalUnfold (Results 1 – 3 of 3) sorted by relevance
94 SygusEvalUnfold* getEvalUnfold() { return d_eval_unfold.get(); } in getEvalUnfold() function
37 d_eval_unfold = qe->getTermDatabaseSygus()->getEvalUnfold(); in Cegis()
950 d_sygus_tdb->getEvalUnfold()->registerEvalTerm(n); in addTermToDatabase()