Searched refs:mkSymbol (Results 1 – 3 of 3) sorted by relevance
248 virtual SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) = 0;
322 return Solver->mkSymbol(Name.str().c_str(), mkSort(Solver, Ty, BitWidth)); in fromData()
668 SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override { in mkSymbol() function in __anon1f86e14b0211::Z3Solver