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