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