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