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