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