Searched refs:mkBVSignExt (Results 1 – 3 of 3) sorted by relevance
291 virtual SMTExprRef mkBVSignExt(unsigned i, const SMTExprRef &Exp) = 0;
282 ? Solver->mkBVSignExt(ToBitWidth - FromBitWidth, Exp) in fromCast()
605 SMTExprRef mkBVSignExt(unsigned i, const SMTExprRef &Exp) override { in mkBVSignExt() function in __anona2cc94240111::Z3Solver