public override Expr VisitBvExtractExpr(BvExtractExpr node) { var bvCopy = this.Visit(node.Bitvector) as Expr; var newNode = Builder.BVEXTRACT(bvCopy, node.End, node.Start); Debug.Assert(bvCopy != null); Debug.Assert(newNode != null); return(newNode); }
public virtual Expr BVEXTRACT(Expr operand, int end, int start) { return(UB.BVEXTRACT(operand, end, start)); }